Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6f391c7d4725eebc1e0d55730ce5e41ebb15737e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet True Passed
00491caa5cf1259d716b817e460e23ae86d31884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BoolSet False Passed
c4152dbc0e4cab30b696102e9a9517f7d017ed39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Let True Passed
f3cb1fa468aa80456a8cd04b0ed405b91c98be2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Let False Passed
2459599f1c52a35f1a351bd576b5e37bb1985129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty True Passed
75488e9e4df271a25b8c1fef93a54215e61ebfbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetEmpty False Passed
3d7f498a24c730843589139ddc946bb8c6a2980b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 True Passed
79d0f941767a17dfd59e2bca5d1085a5ae716634 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set0 False Passed
35e6a7a6311218063c101d4649693d2d37911b30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 True Passed
2aca67e2b575abe278af4890d2592c009d995436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set1 False Passed
f5c0619211d41eec87662be103f9f70a49750c16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 True Passed
98ec34ec3aa448f73c228c272d8ec4dfab36e42b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Set2 False Passed
e11db9447ee0d72782dbbfd6bf56c1ba556c56f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose True Passed
7c0d4fc32d1b9cb62eb2b449da95d14859abb6c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose False Passed
a089b8c6080c493d079228df87bddf6fc69b8452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp True Passed
5f7985bb9d14a3f71dd0f8e304ff7deca96a8805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp False Passed
99cdd85eaa1b9d3f25a017c0ac4aa86603d4bc03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Prime True Passed
bd7b54db3221e8e828e348dd91506ccf4ff7d6af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Prime False Passed
86c4b7ce239ca42b3ab8a6b7fd26300770fde940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 True Passed
ea13383a68e3e12ccb5f204367919ae7fd5ef5ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 False Passed
abc61d78753e7949cf2a9941a4cfcb43ad9007a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 True Passed
3ae4ba77c60dcb3a0307d6aa734312539f993235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef0 False Passed
b45465724262408be9c3fea40f71594becb581b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1 True Passed
cb698dd00223b06a086adeb9d0885669377e80c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1 False Passed
c46108d130be362ce06292c0a41945e0f20a33e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1 True Passed
e8266238d5b7f3f995a3e12cd4a7f8aa31bf56b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1 False Passed
1219376050b9dc0f73de46d3e647184d2c2c282d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 True Passed
e31160f2a673d76bc969f5c5755b96f9a9cb2f9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 False Passed
c97a72944ce312bee548191af9a982575d39c624 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef2 True Passed
4a879972a179d5957f69bd4cbb9d861be3548aad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef2 False Passed
8f6c481ebb4a5c8cc86372d60da2bdda025277dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive True Passed
85e3888ecfe99df29e4e16fe403530fe10a33f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1Recursive False Passed
30e7cceccb74774491688a6ca02aa4b8a9d43552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1Recursive True Passed
bf6fe9caa9cae93c1168006cc1e83c489a08357e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet LetDef1Recursive False Passed
785a45ed74626a616a9791c02dc322de17e490c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Extends True Passed
93c3a20b49c0f3c677212664a5f7fad2b106d1fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Extends False Passed
10a6f11390d86f06c187e66df7a6b07d92640c46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder True Passed
e8fa833cbed1d3d4eab6bc69ce2d71c9903c6153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder False Passed
bc3691453ce2f16ac06a7a4745ffc4aa041b84c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable True Passed
56df1db80158106b2267ea7ae6717aa96da6e285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable False Passed
02b673568a53ea614fdfafe0f6386053717a5136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Constant True Passed
41b66710d3079871b147829542e059754133ac8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Constant False Passed
1b12d883dc76e08effff20a2a6a62741060b99fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 True Passed
b7ed72bcfe71a1c78cc872dcf588ffa5411c0d81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 False Passed
035e6a797ca56f611cc43a872f46331d5ed4b347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance True Passed
19ab154a5a2a9cfa394372343fd42277bbfe117a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance False Passed
7f0bc07a43db2df0ef79d5aa6f7486956e1c64ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith True Passed
88ef2cb081c4709d12ac28cf7b1ac95acdbb6137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith False Passed
2160b71ca62867f8e74c0b1362d3096192b7e0b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed True Passed
d4aa134c53f5ca37089de9e26216cc0cfd5dddda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed False Passed
37ffa08a0250f525b222cfee23ce2236b8475f21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith True Passed
286459e961d7364a86739503c17ec38c4cfd0974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith False Passed
5a0f12b8bbe5a386efbf40a058fda8ae07e077af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder True Passed
40a1942ce3a78a746eee87a454c15a8c74f98e53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder False Passed
5aa2dc990b451e3184818439c23714b64adc64d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder True Passed
d1d1a90bf434ddd04727848ced013ab6e801a7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWithInFolder False Passed
abe15b1f1b8c192a0751ecd65547c9b8270e7cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder True Passed
2908f2630ea75e840b21c4a3374a68d7d0eb6814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder False Passed
3c78bee8fbf217c67f30a4cd1e7418663cca789e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder True Passed
6237782a596b9531ad04c5f0ce8e7f5e3d3a002d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWithInFolder False Passed
ab64f8e3221490a0293d5e4742e3eaefc7b6e32f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 True Passed
c1c067fe5c7c50a51fa8586ea97f94bead668c43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross2 False Passed
02609e73c68dd1b3064f10e7e0a2dbffc0261ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 True Passed
6048321bd6ae89c565ce76e7cd96137d92ad939f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Cross3 False Passed
39178909dcc7e65a367980cc2d947154b4685f3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet True Passed
5c598d588d3a5483d8dc6340d4528c30bf380c76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunSet False Passed
228de7e787ec44bba34083378e353f321aba4b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet True Passed
c006c127dbd26b6335195973354a698ca04c8fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet RecordSet False Passed
4fed57d65c8a3f9bb62b631fa1712bc04bc392a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff True Passed
08817d9469fc06b6beb4d2e30bda0aa4175035f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetDiff False Passed
2ec0b9e822834cbc93e60f4e453bc7042742ce7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion True Passed
164e49346fc8da34af1878acc966def78f3e0fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetUnion False Passed
683a926cc183b6929072c956f29cbda6af1b5149 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect True Passed
4bd1dcd923f801c5bef5557387db0543b90cfadd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SetIntersect False Passed
6527eeb4b0db933c19fc20c4eee094ac74af0969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond True Passed
0004f3fe4730c0e800362203a6f7fd6c770c4197 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond False Passed
66aa8fedbaff3f878fddcf61ca5f28ef9e27fdef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfThen True Passed
7bbf8544301e79d45242fba3eb4935d551237d34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfThen False Passed
8f6fc5cf18a496462095821f3190d50b36419b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse True Passed
b50a14e585adf06f02207d1a16d93befe1af7520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IfElse False Passed
6f944dee8d780ffe728fbb53884773ee3cef3feb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Subset True Passed
1fe8d5d9edf34f896f37b89afbc89c30ab1d154e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Subset False Passed
1223c656917be27f1c2b0f9b478736cca721ab4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Domain True Passed
6bf073ea347abb5f94b96e485ebb3cda0150c809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Domain False Passed
652402d5dc2a173d6dfc4fca83f5ddd201cc2aac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Union True Passed
c69bac79e102fe087958a2a860091604df3c6f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Union False Passed
b7a428f6cf52ba095ecb00c428af85a6b56d54bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqSeq True Passed
340d6e8629961105cb132d46a4e01926cd0351f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqSeq False Passed
4e11870bf55cb2be1ffb8100a0b70ffdaca46c5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NatSet True Passed
0f1e786ae8cd4a576917bdf79474aa108cdb8ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NatSet False Passed
1812a56633976614dfc640e2b935d3aa18bb354d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IntSet True Passed
fd847ec5b9906b69bff378f4a50a427e68d8ea31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet IntSet False Passed
b681f4c2f67345b38016a6ea3f54990334200380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet StringSet True Passed
eec30af2efc043249d585660de4953c7f3d98267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet StringSet False Passed
be53cb7f0613ad225418ad94ce95ea032133a02e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange True Passed
0443a3a8aa3a26b05f2f34e568d22fd8dfc97728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange False Passed
2184d4092a3643d014954392c20389187010d0d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun True Passed
29f48545df57de2d0e2262e6a350516a3b042adc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun False Passed
6d0622c482aacd6713c850da5c7cd23c234cdfc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval True Passed
be439b478f4539ca7a0d08b394fdb1e46e444d02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval False Passed
96da7c26e482c04caba3ddd977aa3d035a5d5c47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet True Passed
10690f7454b6fac023183fc17e1bf3181a5121d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagBagToSet False Passed
3816f7638944a7057d5689cf172187f067e55357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag True Passed
6716d9594f9c4e2e4b9707d18070bbfabc85bf31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet BagSubBag False Passed
4fdb6de414da534f90b914f0eb10c41e618499ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead True Passed
c6d69d255f9d00562996d72161cd67fafdb73263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead False Passed