Index

Tests by case feature BagSubBag; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f77f19804e5eec12e6ec6c78ed3469bc7d7e97b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag OneLineComment True Passed
dc16d689024fc215ba04d4478c370d4c65f8b72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag OneLineComment False Passed
c16f5aeb1fc8d94633c7cedb21f3dedec0c95a6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag MultiLineComment True Passed
6d39db91c2da022622059ccbd3ae2369c831145e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag MultiLineComment False Passed
a1e25eb40a8bad5d0f6baf58d3e7849f4a5590b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Let True Passed
aa31fa4ff9358308d90aa7d2e0f5008b5ebe473f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Let False Passed
ae2e7e5b544025cb253f58ecdd6e9e68b4b80588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Choose True Passed
e92529c55c93f4b35aca3e5cc4f6e214befd74ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Choose False Passed
cc35500f7a5efe6869027fdbdfccfba2c30ae2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag FunApp True Passed
b02f91a0a40c101fdf0b9ef61b06a5398747c714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag FunApp False Passed
4eca203b56a8b550052001ff14ff0edb3b24d0c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Prime True Passed
23bb68e41ba55079332afc451f80f8031df0f8b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Prime False Passed
53d640df6c66db70c74a11f51e0117dbab8c2679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def0 True Passed
523df22658a1a180abe817af41074d6beb507408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def0 False Passed
583f1d530406d79afbdcfbf671c5885c0ef5c24a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef0 True Passed
c1fdd6fd251597568ab8e310c6bab5ef524d2d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef0 False Passed
5747b25a9340eb6194385ca0cb88cab018de3187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def1 True Passed
26ee2d0bf7cd6f8f1569b56c8446334fc1fa755f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def1 False Passed
7a72ec45063eafad1a69b3f01808611039bb819f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef1 True Passed
59d8ea5eee6ea7e2c551828afcac620809d1efe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef1 False Passed
8213d387cd1ba51a54daa25ad824030e9607a616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def2 True Passed
5cfc482d8e966aa597917c6dcd6cf05d33049463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def2 False Passed
9d394326d9a922813db28e8a1a0215a4f0cba018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef2 True Passed
743487cf650108faf7551c306fc8dc45ae01c430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef2 False Passed
f168af5529acb4d9e021845664112b624882af16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def1Recursive True Passed
03597e8d9f5ac315449a2309766389564a8dbf49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def1Recursive False Passed
364f0dcce7d19fb192a4c7adace5f76a5b587742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef1Recursive True Passed
801a1d3c7417378b570072bab963b7d2fa5cbd94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag LetDef1Recursive False Passed
5994f65ab8c276b5cbee5faca2231fab6db8afa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Extends True Passed
9cdd1ec2bd1966f468be9407c81aa3a95222c330 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Extends False Passed
4cc22d7f3649513e720ffd0d00cfcc7faa77bd71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder True Passed
32e1b808c9c6c2f13bb6c1027973f91c141e810f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder False Passed
b7b9f18c8729d32aa839693ffa281e7afb86fb95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Variable True Passed
8e11cb55811700d3ac3e954fab6ad19d7e29505c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Variable False Passed
832d5dca233af9a23d606b8a556ed498e4e22bf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Constant True Passed
f24d899aed6b5bd552f19e2e7522de8ee9e5cc24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Constant False Passed
8badc635bf2e5c3a6fe22490a7bd2b1deaaa6f58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ConstantRank1 True Passed
ba94eccd7067f03a2f1651fcdbd18a337d52e127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag ConstantRank1 False Passed
3d2b4c3b59b3a99395ac8ffbc655a8350a5b7d84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Instance True Passed
2a7c26d5e2808bacbc9012211718aef81ea4f920 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Instance False Passed
14018a359199611bc889bac1b5c70b50714d96f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWith True Passed
d19ae9cddca8fe0111c2434b7ee5c7e283f11881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWith False Passed
f9c710ad2bd678b187fd1634a431a30d07e2f7fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamed True Passed
c147d58904f1941ecd65c2766bb0e1555a848b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamed False Passed
1b65dda6cc1575d14e47b77eee47e45ba27016d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWith True Passed
7a8435618be77f4bab833c71bceeab743c2dc295 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWith False Passed
b6437fbde75a505900c5be4efa6cd5b116be7eee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceInFolder True Passed
f0f84db3c23efcbcba502627fe3430d989ff6b7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceInFolder False Passed
7aa28e67c4abc05f0baaa752ecf387394dc20b58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWithInFolder True Passed
5c598312f7891da29234883f7ec289ed0d2554fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWithInFolder False Passed
6f9b601b6e29084f66322bcc5027cb675c60507c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedInFolder True Passed
76ce03d93a225d7c23301f800aaa4c5e2c751954 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedInFolder False Passed
759e6dd04fa11a97ba9f2acdc5d6da2180701b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder True Passed
847a9c78d02634b2ef1a1dcd9993c196e713138b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder False Passed
13078e515805dc9fc8ddbbc3d9eccd6b466a95cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfCond True Passed
1677e8778e70599ecc004f6d55c26ac86f0d0ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfCond False Passed
854ca625517f905c20db7a504bb9c59ca5e0fe11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfThen True Passed
38dd846fa69598326cd8ab98ae8c7a0c3ccd1897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfThen False Passed
e6aeb9edf685f9e97ea4e3a7c7dee96f06f84649 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfElse True Passed
a617637520562ddec9885be6f4e1352182ab9a8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag IfElse False Passed
019a7eb440466464d715c2b20048ce82efd756e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag TlcEval True Passed
fe050ef2dc78e1ad6b415455304fa6085e9920eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag TlcEval False Passed
21721ca77fa6aff0a0264b8771a98f400adeaea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagSetToBag True Passed
65cb0bc0bb3b339357285b3e3f6469680258dfcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagSetToBag False Passed
750e283c4b4e79c68c26caefe0aeae6d708947b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagEmptyBag True Passed
9397a1bf97bcc63e96c0cb394cbb5775ea6c1472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagEmptyBag False Passed
1848d33e6ac0f7dc7676413076ba3c049d409f5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagAddBag True Passed
0ca05d2af6cef44b6db24b8dbef56ec9197a452f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagAddBag False Passed
0fabb9a15b85126561318df6dc3e8731e64d2445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagSub True Passed
687ceff83c1358ccfd6294948221ea31742ace5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagSub False Passed
c3522b2b40e60e821a2501773d06fa2bc5f8af89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagUnion True Passed
ebc53c79ed6e0c186e48fc8a251cfb2e6f06e4ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagUnion False Passed
168bb81b7dfbe7161b4d757eec3d69f22c73cf9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagOfAll True Passed
ce5b9f2a4f1f229e30f51cf543433434443dd80e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag BagBagOfAll False Passed
07c7f13c3a38b043551f3a72e93c91f59a47c573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag SeqHead True Passed
a9a5cac062caf5a08bfe247abbb353aac1e21eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag SeqHead False Passed