Index

Tests by plug feature Record; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e272c2195b916857b59072249bb92ca54e51ae93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Record True Passed
5b37486cd164dceea8a9c2071d6e6bdf249cf611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Record False Passed
e1d2fec7740c9b3054c0fa5dc62c95ad2fd95373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Record True Passed
3f5803add20eb0dce87cd4f9f2bb3fd06778bda4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Record False Passed
cfabb683c478bccaa05b1e303456e6b86b4370ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Record True Passed
b39e714aa7c805875573666da67a1b177747da28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Record False Passed
e09b923d97657243a75ba551ef32ce04a804548d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Record True Passed
c516e602a573b6b2d28e538dd5164f6440c96f40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Record False Passed
231a8c05de3240d9ba3b8c15fdd4e1078b006333 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Record True Passed
dc19d3e9cdd812007cc1634081c38e36b906b306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Record False Passed
8464a714cb66a394f29cf3c36b7b4f3914923f8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Record True Passed
0e7675738161250a878efef555bfb02e5702957c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Record False Passed
77bc0d496f8be4561179ca157df5f92b76ff1cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Record True Passed
62d58e5d9db5e2f754fd94c8fc8e131886aae3ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Record False Passed
1505081bbca4281d114a05597d8c55b967f73720 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Record True Passed
e7361887535958aa3f59edef9404fbd7978629d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Record False Passed
56f9c2bcad889b80198be46f1a181dfd5890bbc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Record True Passed
226268982c4a398b6e4fb1435871fe71b2b47154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Record False Passed
2157198298c65d2e932bfc9487ba5d75a239410b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Record True Passed
ed72b76d10ccdefb3e1f07b58d59cc0b8773bf65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Record False Passed
6fae4e2295a22cfb8d3ad1b5a8ef423a55a70af1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Record True Passed
24e278e8126d03fdb8fd4c98d47b07477cf2cefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Record False Passed
ffe5d6dedf5f9ef80fc2a1941b89fadcc456d486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Record True Passed
3dfa3aabb8adac63e429949558033cc8c11fe30e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Record False Passed
c89f400a10134cbaadf28b2b681c8f0439ad30fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Record True Passed
260c5e5466f27acee640d346505def4e6725d78b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Record False Passed
c8a125baabe59f63233292c241fd7690be1daa6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Record True Passed
796753d6720fcceb6f76974de940fee22e4aa12c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Record False Passed
8ec7358564b721971866def6bfb3c0e8d25ba983 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Record True Passed
045a2d1db5c9701d222dd246f02f328abb7aa6d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Record False Passed
98b70ab9c50f46405b58651e15d19ffff75ae8c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Record True Passed
e32c4b0828725232b8c7df6613e6fc536f39c569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Record False Passed
5140b871d02c5bc9ac105900bd8595c198464c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Record True Passed
7e874f2acdf99a1883b8a31248497403ec32cc34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Record False Passed
93ede19947ff11c36f08d347ceb2dc5fd9b38d97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Record True Passed
348fe260f04e289a043d29042b4795e7d3e69279 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Record False Passed
338bc9ffa3c6f235cbfbd67cca60a82d5ac71528 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Record True Passed
830d082c9eb473eb0dc2eab0d0a2491f17eb7c37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Record False Passed
d4fcf589a0945cc5b8783c3c22ffc496498040b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Record True Passed
7f356e85d129b2bca1f4a910b718fbe063685850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Record False Passed
7c105f6a35e7bb75cb68467b42df7c53661f42b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Record True Passed
f810bc10573c3b11b637747d02edbaf3cf27ad9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Record False Passed
8cf5660e2274dbad1d107fcdb1c798b52e164b92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Record True Passed
8d1dcee13348fefb77448d5f1b35c465c9e803c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Record False Passed
727e02ed607834080144e169c74db0948bd4a53d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Record True Passed
90d0d7528cdbd4b112f26a98fb13ece158cfc9e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Record False Passed
12c36b845e755573b10327674f9c3e91eb6aac02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Record True Passed
ea925063c94e7f76d0d402e331c39de8a3772d14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Record False Passed
6f2e49fac247788dd7e1baffcb51d4e4e30441c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Record True Passed
b55bdfc88bb01b43193e37e8eec7119a3d815524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Record False Passed
cd1b3a3f1e079155794d2e04a68bf863aa656daa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Record True Passed
27abb8755fa1f5d16e64bea38b95b034962cde70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Record False Passed
2ed543b95b41d08cddb689ca022325d0b275d844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Record True Passed
739ec8cc0120a8c4c5bfeabab7871a330b291e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Record False Passed
29c5df7a77657163468aeb9a9330a6e14fcf032f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Record True Passed
33a4b5832bb6e84e5602b02d7b61ce638810bcad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Record False Passed
a78227bde9c1397c296717dde981d419525e797e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Record True Passed
2c85e28c7e274096fc017d0fc4dc3fd9e8b10481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Record False Passed
0356a2a4483d1e5c6596ad246c9e94956625e217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Record True Passed
2365044790cf0def3edd98d5790615021874702e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Record False Passed
844e3038b1ac81642ed7e6722bc32e242b77b242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Record True Passed
78d1c72133fc6a8014ece15ae0410fb9e90b5f28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Record False Passed
214dc696213b1ae1bdcf8a0730cdea3548045232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Record True Passed
74fe0938193f459c622c1d5f9acc0fdb8de1671b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Record False Passed
f7745f4aa4d40735cc79a656ac7bdfe87737ae3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Record True Passed
bbd8914e5985c4c5eb0edf0904dbdc0c2d5ac6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Record False Passed
d887da6e798949fd101aec6850648e1d5e922273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Record True Passed
14b363dab25627a5f2617397d4293c57814583f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Record False Passed
a867cd1c78eb3f98d89422f1d6ece77a7c7e9e48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Record True Passed
21d4f8cf4cacef92980d800921877c4a7f6becd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Record False Passed
6635bdacff109030fd5b968d5464b862779d3498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Record True Passed
fd96de0cc1ed2669334f9b7c1c9dfcd66c4d57bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Record False Passed
913a4ba18ea44106def5a323ebb680447963b7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Record True Passed
3ae63e51b271614904b50ae84be773e09141de7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Record False Passed
d1dfac74728c98c6c28f48e444f15b938745d4aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Record True Passed
a15ed2aa704a3aae76ac12a20a4c41aa4b0444bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Record False Passed
73c728042e6ce5c500640a059b0d11bed3d83c2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Record True Passed
6e91527a0ca26b7a5a58a52b9da83dc9c57c940f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Record False Passed
4941dc5c2312656e3c0943e71eb7837f13e90a23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Record True Passed
6d77ee3ff00dfb59e0ea64f38d819c3febc992fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Record False Passed
92b24ef217d5a2476b865b367c8b5f4535755bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Record True Passed
ad263af5681f496c09f4612a3f0c4aa9b674121f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Record False Passed
083ec920841cc87a2a4a0ed2dbcd6a43c7bd9e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Record True Passed
49a7acf922ab7719ed1959d7be52d5e1aee4c909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Record False Passed
e0850f327ba24f7f7fece26cc7e4af3e24ffc9dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Record True Passed
b3eaab1eb3266f70749fe63eb2960b47fc35f177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Record False Passed
f1d3619e235442749c111c5de45cb30cbaf7780a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Record True Passed
56bc156f1f55412e4b2c87ba71026e68d25250dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Record False Passed
8ad72349039bd7c50fbf92ba8b0f6484b2b8d53c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Record True Passed
9bfa33b3b655bbf77e321f9993d18a8ce4eb5095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Record False Passed
f522e3973b85024413569b4013e4b2ffd25b0f4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Record True Passed
6a84d70613142dedd86415304e5f432500dc105a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Record False Passed
5ac1f5c75534539b2b4bb4691ee3f085acd1db0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Record True Passed
ffba69ed2fa141b0e82e9bc35eee90b3a5ca083f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Record False Passed
4873a71dcccf0d99b55e489533910365089fdaab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Record True Passed
73fdf209815cffa3cb2cb1e5b9f4724661238cad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Record False Passed
70657fedd5c57cade9aaa07da2e26d254e45162c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Record True Passed
09a8d2a07511baaad2ffd7aadf2435fabcaf3bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Record False Passed
4ea456cf90d867a27cf60b551aeb9cc5fa98b037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Record True Passed
a1bf66e28a63955cc1da7a25a7b0c5c17f9ca686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Record False Passed
bccfdc2897a5127b89ef51219b3087e44e68e77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Record True Passed
f1c41ba681e6fb6f910a6abb2d6f4ffd2ad73a08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Record False Passed
2fe192bea072fbe72374d2d2ead58ced81099ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Record True Passed
41fd4cdafb0ef70e402fa065410f5129771cc869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Record False Passed
05d43e5e808b1c9e8573d2a3f460e4bab811ab87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Record True Passed
1b58809ac563ae78be41c287827ae7138d5afb66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Record False Passed
789c61180b0bc5a08c498a94712bbf30568e92f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Record True Passed
a587266ef9ab259b95de84453dd1e4fa7debd72b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Record False Passed