Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ee927c3aacfcc434fae97cb8bd020c8bbd8f14fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq OneLineComment True Passed
143cbcf3978997689e7989b6a8464dd8c775622f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq OneLineComment False Passed
3037396b485cff4226afb15b62b45b1b2e85e364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq MultiLineComment True Passed
10fc797bb0b201cec38f0cde408f7b2ba27e950c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq MultiLineComment False Passed
4a4540642303b7b98d98fb5492e9420bfdc6c17a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BoolSet True Passed
5b34a7c45069d0c620deb72b5e8ca45596a44223 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BoolSet False Passed
a274e4592c0100853ea7dd8cb72498a0d28bbaa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Let True Passed
8099c452b422162e43d5207f0e4613d0b0b7fda3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Let False Passed
051eafa1d39bbd08bfae8af84c9e504fca34c8c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetEmpty True Passed
59b29cf2f1ff1d34e8880a5d89e1ae3a807bf2c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetEmpty False Passed
b89773d0250809eb2fb6a02a221e56365f92b38d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set0 True Passed
aadff23977f982d6ff89b4907d94d358bcc4ddb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set0 False Passed
23b2792c6a04ebf61e1dfcbded8b8605eefb3f35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set1 True Passed
087cbf051d4a2f1a022a30fa9b12c570d4389c3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set1 False Passed
758e3a6a81181277719555b789d863c586a62554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set2 True Passed
35cf5f0c3881dae3ac8b6e6ece38705229ffbf3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Set2 False Passed
ee064d58c8f7d777c2cd06490be00d4d8c0f5e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Choose True Passed
03e8aeb401d44ff0e9ffc1d1abf481db1bcb68a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Choose False Passed
50e6ba660b3dacf83627ce5c64e2a9b96bd8ecde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunApp True Passed
407da01c227d017e93af1d4a9714c484d3ed5fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunApp False Passed
6b76249ddf6fcd58fa4fd248b73ae6275c47f9e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Prime True Passed
671998fb486a447e36ae3175898be33f9e4fa465 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Prime False Passed
ee21f2edd3cffc84c369bec5d6910200a9b34aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def0 True Passed
96d6c4b57c14851dae3b1568f4be134848638ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def0 False Passed
d8bb9b5a8ab739e5d17d6cb4535ec089adfd4aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef0 True Passed
d627506281e8f3603c854e0331b4dd56b5f8c5ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef0 False Passed
55b23a61ea49306e1468c5c5fa743254e5051347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def1 True Passed
18fe4c50f66ddc2a99c3c6e039dcb150661793fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def1 False Passed
5b781036800596ade531547402b75affcd5893e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef1 True Passed
5e0a64a08b5892fff3c619e4632f2b5b049876f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef1 False Passed
02de81ec4cb3dae66ad1e1591a6735aa624af058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def2 True Passed
5bfd4c0076f5d585819485339809143f82c827a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def2 False Passed
32bc6efbae9c0f2b5c8f33d73ac36070e4b237df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef2 True Passed
f21e357eeebc3e5a2778fee25c1874be6924d07e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef2 False Passed
dfad04003d2097da99e539526946d0f441e65689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def1Recursive True Passed
675e1e561d96dbf29b0668da21349d25119eb48c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def1Recursive False Passed
ee1a333c55b93cbf03467b627d50c887b3e893ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef1Recursive True Passed
2dbf9902274acd64838ca6b04392538ad8464852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq LetDef1Recursive False Passed
30fc8ebe1617178427bb4d9f034cd3852dc52380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Extends True Passed
07faf89a67a3672f8dc2c7bbeef0ce4630a23047 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Extends False Passed
f6e0984a702915bf84a8d58ffd89923b49943863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder True Passed
06029e6b57bd35dca879867bcb12221849d8b889 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder False Passed
28ddafcde885c3dada0cb3de5c9bd75d09ad425f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Variable True Passed
1e7f5bfcc734dfc0605efae1a75bd9359d69c524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Variable False Passed
dc7ddace86182b5d5458a65c0e20061626466d44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Constant True Passed
9a38138fc4e71ab43c17860c05fc959bbd7f2bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Constant False Passed
e37023fd2c444bbf956f4e4b507271c8f23caf66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ConstantRank1 True Passed
c450e8f1fed1771581382e15a0a99a596ea95403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq ConstantRank1 False Passed
a9ed377678524c03b39f5b21b732b420a3cefa49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Instance True Passed
2b83df5fa5fe6c8f250074b8cf1082a87049b733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Instance False Passed
31958e16c61f9e64fc185e88d0f3ecdee455cc96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWith True Passed
1c621f42041e159d30958414c11e55e46ab7d92c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWith False Passed
416eb2183ff3bc22ddf1bbbcbee1733cc3153a73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamed True Passed
4568fcd0677d5b72f785c3fde3e4a242c1ee0c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamed False Passed
7395ccc231278c77108b6ae61c5706c0be32abc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWith True Passed
865bae1c1710d9e1c5d33229235ab71fb4ee256f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWith False Passed
09bbedc0e27e508f824e4d547389a51167615436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceInFolder True Passed
ac6069fea0f1008c3686980fef500995237b9bbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceInFolder False Passed
8c2fcdc1e45644bbbbc210a3f5da4d2f5de3338e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWithInFolder True Passed
a1783569f450da54fa821124cd9a4a4e256762ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWithInFolder False Passed
3e934bb5535d819b0c5d58264d0c67bbdda6a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedInFolder True Passed
f734fa14bbb73de955bfa06cabc86d89bf221ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedInFolder False Passed
65764a315b667b7341d806e31fd3141201e82ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder True Passed
6f272565ff9ba46f4d258c932c8f877931c39866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWithInFolder False Passed
8352d4bc5816101e54622fc08fdf4aab7596fd8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross2 True Passed
d50e573a7ec2384cb52778e678523e93ba8fd9a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross2 False Passed
bb90555cb1fc04bcf3cdb052288f2726844bfd5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross3 True Passed
921dc868c41433a330d1469550b00e009390a76a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Cross3 False Passed
e061196f9693d8015c17aeeccaca28b682f4a056 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunSet True Passed
a921995c7874be7ce32911b5d147c88233526166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunSet False Passed
bbe311fd8d4263db02257be2188564a0a3e226a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq RecordSet True Passed
a47f7932eb02c27a8938ea7ac4196b5f1f627df8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq RecordSet False Passed
5f4a2dbcf554fd499b32b401aef807f31dc6bbb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetDiff True Passed
6738d774109a038542f6b98470751984f456418d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetDiff False Passed
db853411c229d2e817bd1385da14094bf8f30267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetUnion True Passed
13ec5acb545a5d3a49846fbb07bc4c6de241db2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetUnion False Passed
97cc213cf1d5d773c346c4c83ca20ce59b339eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetIntersect True Passed
a903a9552657b149bc0dcea62087de1bb1c1c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SetIntersect False Passed
56ad764168bce7d92754f51b97d56b48f2ce30d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfCond True Passed
fbf4606fb610c9152c3be36d3047f60037a4cf81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfCond False Passed
090cb7b7167811e2a70f3edd7e37efaa63a9d826 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfThen True Passed
2426c1291ce2a5638a116abf43fc2451fa78e321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfThen False Passed
590258b844d46421a89124673aaf46b4f784c1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfElse True Passed
9b8feaa5086b3eb9a37f08812976476163493e0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq IfElse False Passed
3eca2363a6cd7b44c0eb8b4d192f2d81c22d5dad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Subset True Passed
84b43847752e549804e5889fd8aaf5d4f7198449 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Subset False Passed
1fc4d1060adfbe4c8ace46cc531a8da981ef5396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Domain True Passed
e5ac7a3193def2fec14ab3814c51de9a94b9a3b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Domain False Passed
aee8193095cb25f5f9b564eb5fc4973483f1a5b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Union True Passed
f97b097947dde5ae0e5e3af19d335d5730197643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Union False Passed
4478f1d118717ef282aaf10c140600cf137fcae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq NumRange True Passed
cfc55e5e0aa9fecbd7665cb2608b06bef5683656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq NumRange False Passed
6e7e5658c2ab7b903493a7cc38026a134feadb41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcPermuteFun True Passed
e579ba166807840a4fc380a81716f394f9362eb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcPermuteFun False Passed
186aac8d14817a467c43921928c9b54d29af80c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcEval True Passed
b3862b8d8996f232096fd859f1f9f0054cd2202b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcEval False Passed
bdb7e0759f7823f47d8d8d3cbd18ab29c6409fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagBagToSet True Passed
1c3906c21281d6cff2b8e22a4ae558706a1c9492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagBagToSet False Passed
44f2a4e9fba9a9efca02de9be493a397ab1d96b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagSubBag True Passed
ec36d00fb58767e8a27a4697444561b4ad9c7f29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq BagSubBag False Passed
df2b16ee3effc0de0c78313f4bb610211a685f48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SeqHead True Passed
f4b03476982cbabee74becd5d51ec35ef4ef432b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SeqHead False Passed