Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
99c9a526d874337e90760d3c79d6daa428c45bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BoolSet True Passed
70d163cb9a71865ed11e91bd4cea6d3721710a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BoolSet False Passed
dd0ff50b942f78b069d6c3f90de1ab2202444d9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Let True Passed
ac6245b3ec3df9f9702d83c8ccb9e91447142153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Let False Passed
ae02bea2cfdc6ee39e8ae794587750c6900b9d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetEmpty True Passed
30ebf7ee2c396c1e180f6d22ade11fdac211b5b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetEmpty False Passed
a6cdd8a72b5dcb70e9b86e615b5c6856229fb35d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set0 True Passed
67c966f5eabca0ab1f936a0e68837083b3627beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set0 False Passed
af06afd2215094065674bc2f26ee39dca47afe0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set1 True Passed
52fe23dedbd69ec32a1fedd74231007507b2a9e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set1 False Passed
058b7ee99ae1aa8800c252633dc49d4300a733ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set2 True Passed
0525a1724ab536b066002111599b63d5835f8598 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Set2 False Passed
8ce2dc432aba5cac42af32a7a899031c867ba264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Choose True Passed
f0dcc818a5cfdcb3e3ae4b8da7afa1d10b9fbae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Choose False Passed
79874e8186b00565d5b6f3dfc85fced492408a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunApp True Passed
802fc97358f715619e284c95a9f4f33a96ccc262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunApp False Passed
5c385e4e1d13b30fa286a2824c0f325d0e63312a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Prime True Passed
5b8ecc4e99ccbf5e4136b2779cf7b21dee94f268 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Prime False Passed
7006e01989fc43fef35292d088ee042a39836dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def0 True Passed
104bb6481f607c11433496e1d0b22f9b9c5f3fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def0 False Passed
919fa286994b8ad6aee6daf7f452c379ff502eff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef0 True Passed
fc3c098a2bee8c1f0daebf68f708befb0dd8792b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef0 False Passed
a8996b035c62c7e323a1b2c8ed663d514f4a076b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1 True Passed
58a743226e1ae31ec585cf048eacc0773e39a390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1 False Passed
56f39bf5060cd17ddb92453e5f999a68958a143c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef1 True Passed
2dc633cee5d1ab9ba4b8852a5074e06e2b42a657 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef1 False Passed
d2ebc1ab847fe54f102c562b91c0c86e350c1be5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def2 True Passed
f9c4e878da080e5d7ecfa2c7d830bbf280140183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def2 False Passed
38733f74d7678023583e74203d1a822d95ba2483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef2 True Passed
d216ed2e683d29015b754f62b4685212371b8907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef2 False Passed
22d692c0dd9cf2ccb19c7f4d085875baaa6ca79d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1Recursive True Passed
fa71f1711378906cc10e3b6750fbfa3b2a47f6b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1Recursive False Passed
4a16406d1651e83611acafd7e3446cc6b699e139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef1Recursive True Passed
c495fda1933c99cc845705ac0acf95a3c980f8cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet LetDef1Recursive False Passed
ff02b2146b2a33bcf166a7bddabbfa66043b56d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Extends True Passed
936269b65162bf3d93ec7685bd109ba4d68689d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Extends False Passed
4f9864a584a01e3bcc2fd8a130fbb924f8db15b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ExtendsInDifferentFolder True Passed
9d22dd0cc80874e6e7510efacf9d7a536c9191f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ExtendsInDifferentFolder False Passed
be19bc6d4d26c254e86b2dd41b375731bcddaf8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Variable True Passed
ccb820a9bf6e36cc579a2650c9ec6117cbc04c9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Variable False Passed
44e3da3fbeb7b8e5a11bb44b5a357483f5eb7cbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Constant True Passed
2e3db0b6a010e5bab611ce14b1977b21c9a7cc69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Constant False Passed
5e7632cde799687f2d301e3c96702c7516496d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ConstantRank1 True Passed
619732fc07b1a794759879d919c0053c28c231bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ConstantRank1 False Passed
821de122fc51ab62631a5e3a18ed431071b126e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Instance True Passed
ba18383879fff6135b58689e3b4f1d047d6077a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Instance False Passed
407128f029b7651346aff26b46d72374a1d1e562 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWith True Passed
ba5f702d362f9c3f9c5111950b53f7895599dd22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWith False Passed
33bf6c4d6a8a252dcc2e87bd6a161df8f4fe9023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamed True Passed
4f620633dd265d691157505eb6e1453dcd6ce936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamed False Passed
6576397e6f2af4cbc1725f3379397f54b2582fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWith True Passed
1bf22e471a3387a0072995703999b95fd84cdc1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWith False Passed
c6cb305a1d8d4badecb5e3cb65242b93cc73f6c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceInFolder True Passed
7bf62dc6afb46c2e260ce959cb53e395056cfedb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceInFolder False Passed
40600a20e16f6247c805dcd981c9ed1d6aa3e7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWithInFolder True Passed
83670444a3c228d4b1b269750740bc716e8af73d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceWithInFolder False Passed
60a7d0945ab39f8d0bf66e26b5d6640b011f6c1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedInFolder True Passed
31f4c3dbeb80aafdcefdfaa1d55993efa18e5ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedInFolder False Passed
00edfc35483f6455278e85501a2751a29862ace7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWithInFolder True Passed
4438929ac912a8cf94590405425094587ddc69cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedWithInFolder False Passed
bf6e5806601e47b779baf79f5e52cdd52392b8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross2 True Passed
3660a451a90c56b00135359ee845565290949dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross2 False Passed
34f4a9372e3454dd73172a4df61b5931a08f5179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross3 True Passed
6270a7f472d8398a22de7ec240f33a6076db4507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Cross3 False Passed
15b7d1577f819a81646c07e75be13e97fefd29de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunSet True Passed
fddd7bc63e5ff91c7bfad57848e645221fab4472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunSet False Passed
5b8fa9d55fdf8fa8a2ff67b56076bb9c0425d48c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet RecordSet True Passed
90a756e59c243d53032f7debb813a1ced9af2e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet RecordSet False Passed
e6db6d879c56c01edf93eb58f253b9c1f9165c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetDiff True Passed
c33f797d3a160af8e949733543118406e6e2209b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetDiff False Passed
c35ec66b0e1d122ed74413c28676bac428cfef57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetUnion True Passed
e769af79529edd359b9a162ac154b2a56580cd3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetUnion False Passed
ea5b6ae0d34ac67b92eb3703168614792067e041 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetIntersect True Passed
4fabfc1ad42a92732fa5476b9dc1f6b86b05a9a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SetIntersect False Passed
1578c58afceff986d6072ffeb2a39daceef32fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfCond True Passed
6655e1d5739e8c17d1d2c79b671eeb68f5429632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfCond False Passed
84bcd8149c4ef11627f36339736d1a18cd990ded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfThen True Passed
f43e8e770bb903dc1b4af645fd68c846e6f671e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfThen False Passed
cd0deedd483e6feafdab9c313c417bc37c526255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfElse True Passed
f9bec4eb1f9aa5eb8a80cf330dfd5982a6a37ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfElse False Passed
53c0af5a69a99250cffe1c04b673bda8602cd679 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Subset True Passed
97a6b5f27dda4ea920a16aedb20467343631ec02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Subset False Passed
c8a31d4fc1ac206611877bd8e99018b4e6473888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Domain True Passed
f9410adc39bee52c45e5cd3c7860c5d24735f158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Domain False Passed
45ac4e9593e7773fceecb8a408e5a8d17627ae36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Union True Passed
3cd51cdda2998876ffdd7c0f4282c1dee141bcb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Union False Passed
7a753be99591fcab0b95cacb7ea5203aa059fee3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SeqSeq True Passed
298debb0e397f3507b58bba9638b9877e3d5ace9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SeqSeq False Passed
d42e73af726de403d1974480dd3a1798fc5b001a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet NatSet True Passed
bc4b261d5584518f2aca801d4063dd775774abd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet NatSet False Passed
0da0c1118788c5917e7382d9dcd5e7ddff01c2ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IntSet True Passed
366a7be13784bcdb0a1d3d55f3ac0f6e74815a63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IntSet False Passed
0451965c888ac222ed8c3cad9e32cb928c33a90a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet StringSet True Passed
0b6a98fd60b43a07b372a495f89d98144aeac793 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet StringSet False Passed
01d59e3bb3ace48af5188de76d0d7e686bc6c3cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet NumRange True Passed
3ef28ce32f72d10253c6dbf6064652b6b8730675 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet NumRange False Passed
77a2de27d6b0f9d5808fdc3e66b07ec73d871df3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcPermuteFun True Passed
fde88777d7f50db9837580e475a87a192cac8a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcPermuteFun False Passed
dbd65a39e2abd7d9a39940f8a045aec4d64c836a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcEval True Passed
6d8c3e13471eefe4bfcdf2d6546b4c987b0b000f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcEval False Passed
1a3432923e56c9aa35e1b4da901e44c931500d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagBagToSet True Passed
cd82100b339cccd77c6af2089a392c5fc49d4892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagBagToSet False Passed
a608aec8162b65f401508c27e2dc9f88a57e4c30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagSubBag True Passed
1fb9d7d9d68e61fee7127372c39852dcd080e0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet BagSubBag False Passed
74e2af1c8ea0e0c4af882ba9ba21c9ef33327a43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SeqHead True Passed
79bc9c25bd85ae441fe18e79f60247a5c624e84a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet SeqHead False Passed