Index

Tests by case feature SubsetEq; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b4792bf2dab921a80204ee046cf2296e4c7bc096 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq OneLineComment True Passed
c774dc7bd50397b46a854904b680f81abed810a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq OneLineComment False Passed
a8ae723547210f137fe0a53bdb74e69ecd4cf6c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq MultiLineComment True Passed
0995ac192e3d463c24b6092c65cdc4d359c4d372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq MultiLineComment False Passed
04bc197eb9f4cb13a9105ee04352202222bb9a6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BoolSet True Passed
68c94ecce6bd4426e099f43cfc6e3f392ab939a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BoolSet False Passed
a894d7900e8a3fccc655967676826ccd5e9d1ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Let True Passed
a34a4268147c1cdbe272b2b3de812ffd96a92829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Let False Passed
4485dcb98c54990f5702bb44591966e2a7c3fc96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetEmpty True Passed
b7959f6bc4e66dab4c68191402fd080f7d05d761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetEmpty False Passed
172cdf47a1e35a214d9bd65e15dc9a12141609ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set0 True Passed
935ae7c5aa71440d3a5bc706f3b27b22ed297bc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set0 False Passed
d0ca67e5897ff22d18d8978e047d4e7c8686ca63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set1 True Passed
454dd614c347f0a76e275809fbdeff95dc352e02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set1 False Passed
e46e15ed6ca0adb15c937faecd507840ee92caec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set2 True Passed
e52d2451b6b967add5af02b3e41ffd311722d936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Set2 False Passed
fb360e1be81c90dfbc70fc37fad2a4d5e02480cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Choose True Passed
44713b577d31d506f259c82ed7d0a2f8a944b005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Choose False Passed
b528c7e839e4a73257648e42201cfbdb6a568221 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunApp True Passed
6379342b9c39cdd19428dd4c7a134c2c7e0883af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunApp False Passed
e8edc135a99a0810f7867579beccc97b88521d64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Prime True Passed
d898dc26fef6497bc64a8bda7bb1512f23629280 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Prime False Passed
36218ea6bc7dc5692a09f79462414b9c37f642db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def0 True Passed
3a1b911a41e9bb8e42c2463102b855c301da6b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def0 False Passed
78aae411fa62adf69ba1e40897c97db9f56c2817 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef0 True Passed
fdd85298d79956a82a24b5755f1c9d9e69e323ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef0 False Passed
80939ab9deb3cb68df07b6434b2c4fc41d3a3ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1 True Passed
34b0182df80b42aba084393ca1d53bd9f3773b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1 False Passed
2fce08e7d0610f697b6fc93b64cc4840c8e63357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef1 True Passed
8bd6b58f8a17d82682e8d51203d00b5f5f74d1a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef1 False Passed
42ed71e5f8f900006aba564bd2ffcab5410f08a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def2 True Passed
b96290c6aba4f7ed30d5e5a3dfe652cbffea6d96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def2 False Passed
510054dff31cee63cd666c046662232a081ba071 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef2 True Passed
501cdc3b27b32d6bc7923ea46e8c3d3669531de9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef2 False Passed
93f74b59b8d313e4a2aea745dcf614761a1d9eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1Recursive True Passed
880b5c956222ed4c44a7e14ae097ebb062f37b96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1Recursive False Passed
96c4edce8c87362388f0fb5869301428ba13fd85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef1Recursive True Passed
9c228ebcfa9e93d20f1d723402343c26f34cdeb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq LetDef1Recursive False Passed
bc9230b1e3b65b20dd39326fdfc7313a732f1b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Extends True Passed
6a6e7ba0562659be277c049bddb4a4564780de75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Extends False Passed
afa5320a207fd42bf829d712627ef8188b47fc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder True Passed
88234195f3fba066b87c63bf1b16b9f64c175cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder False Passed
d0399d370efc41524fea18911dfeb9234a9dacf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Variable True Passed
a8e157ba9a6ae29382d87d70a6f2dfcc7171140a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Variable False Passed
4a713257b4c3f91d4b21c1c5ce46eee647c5d5fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Constant True Passed
aa1a2dd8bfe9beb96ab4b520e8d51652f0ff3479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Constant False Passed
d4545dc0b51fdfde05f9bbd6ffe4baf10f2cce1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ConstantRank1 True Passed
8d5e898fb4d9119e467c59bc4e78b8ba0dfbfb1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ConstantRank1 False Passed
b851b6b066e134fb4207545db010f99cc378034e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Instance True Passed
49c282c6105c9421351dbf34a5c4cbd29fdfa585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Instance False Passed
7cd97a9672b2a0805c259525172b31fa59ac33ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWith True Passed
be6fd8bbb42b92533807c99cbe299865f054e1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWith False Passed
06c33d92cda7c9cc3a6a53ed411245938367134a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamed True Passed
0a96ca6b5d4d2c581726382f990ac9e93dfa2b6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamed False Passed
ca99d0f271caf5d421e84c5715a811f235cce619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWith True Passed
c92c062873d365027608972547e82531cee4ed1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWith False Passed
d0069bb9aeba0cfa31035345562f2f6e968f3012 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceInFolder True Passed
0d95b0137e8309c0b39e4571549488aa8efac65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceInFolder False Passed
301dddd7833175a6e425c24718bd01cb8a191c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWithInFolder True Passed
52d12feac4cb348f567dfc7dd51b074f12518c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceWithInFolder False Passed
3e61c77df7c902d2aab4820279e84661ae4cfdaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedInFolder True Passed
b3abcac8437628af3a5b4cae4e78a207d1d487e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedInFolder False Passed
b49b8cd9a7f3b8c2202eb5ff63d1666b03786772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder True Passed
c02c620d7cc702fbaf8667c9a6ce43f9f470743b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder False Passed
3a572c787a28f83525b57ac494ddb0caf815f373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross2 True Passed
3e6ebb1e1ff26e35339a03b4cc7301d5e4a33a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross2 False Passed
d9e556d7b643e043c6fbdf42fd274826ff7e1085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross3 True Passed
01e2f67fd6c662c673cc6d806f1d3da919d2a10a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Cross3 False Passed
d18dc427c9812f891f0a0fcdfa4e7b2270a630dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunSet True Passed
b41865dcaea6469e79413c8ccba3b617ed98562e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunSet False Passed
02d78c91006414843a12a7a41057301bb9143f95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq RecordSet True Passed
2e32c4d698d1356271a6db849aab57407e47e836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq RecordSet False Passed
01202f4d46605d3a54cf819d31a515a1f72cab62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetDiff True Passed
037fe1ef631b5c2bcef430cc2b0add3f49928413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetDiff False Passed
ab6d68c2cb0f68a80f78f945380fedf3229c6783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetUnion True Passed
fb43445df28f367d406b2603a8bf2c9f3c70201e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetUnion False Passed
69015349ff9d75f01728e47246f399728a4d3acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetIntersect True Passed
d894fe68068c27ecb9ec85bc008f24da7e823358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SetIntersect False Passed
e7b82e0f3cd6e77822bf616b0cba2f5d96eff051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfCond True Passed
d2bb297035189ad8bb40a08bd227ee6aecc04438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfCond False Passed
3f36aba1fb27b780fee78986f676c311bfbb71de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfThen True Passed
73a22f0bcf69634bae41657aeb058a12bab0ea3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfThen False Passed
a92877b104bf999904c62fbfac346ff16bb9c7c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfElse True Passed
c6c3bb845b93109fbff9f9fb384a6e98ab9cfe52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfElse False Passed
f825173b4d9a93c0db32f578a97e6d9a08f90cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Subset True Passed
8e9b4df89d942a26ac8cd51424a8e60cb668b490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Subset False Passed
080efdc6f165ba99a38ce0d0a815ba7743febbb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Domain True Passed
e4f470d0939ed89bb224468b98444d70e61175a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Domain False Passed
e7fc1c838f297822d24fe21fee3cccef77e584d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Union True Passed
65a6ef3bdfc5fddb2803097e38dae93fee57a9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Union False Passed
8c52bc95f9f46b2f0b5a94eba8081bb4cde173a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq NumRange True Passed
618029004233a70315a829e30df9ab90fb55f5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq NumRange False Passed
af3e6c031a79bc35bef0d07ba0b6dafe282ee699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcPermuteFun True Passed
bd1c3c7b4e1c3edc9419be2ec508bb6c49896e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcPermuteFun False Passed
cc99be8fa090e7932da7d943edb499c0ea9874f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcEval True Passed
4957a6e40a01658e509e9917edf97bbd9756d77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcEval False Passed
7b9b5582bbef0fbd1b7ac11b26ebd51480b6cace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagBagToSet True Passed
01a663e859c4bc760d491569cf4baa6656b3c9ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagBagToSet False Passed
fdcf8616980ee9bb8717f77d607e3662f62aba72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagSubBag True Passed
f0eb9b77c27233fc393190a21ff7a9de9c3d604b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq BagSubBag False Passed
9f5d0421103fe8f9dafdfc6d76d40f7fef2b6a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SeqHead True Passed
c446f902120d5131b49df031482fe2df599ec16f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq SeqHead False Passed