Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8139aecb844df5f39e3bebe1264fe8d4c39aa847 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Record True Passed
6694f9ab580360a242aac83c332eb7de274539f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Record False Passed
0b2eb9ca7e31b3ab9cd1b107a97ca4f93bf71a30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Record True Passed
2ed3a1727c5f5dc430778e7a910db4367910fefb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Record False Passed
2a5346e7951724ec75aa0068543477b41fbccfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Record True Passed
a68f2b4ff539bd62f9e68ee041a7b35fa41ec092 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Record False Passed
f61b07315159d4a1c37b73a5e3f452ca6b34086a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Record True Passed
980fe74b8cdb95d08d4607cdde68ee90f33016fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Record False Passed
5443cd07fe2633604b3ffb169f21da84dc5361ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Record True Passed
9fcf94aeb974f2de8bc18ea525820b2b403b1ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Record False Passed
7f71ea89bcbe2d596ab4c7a6f8ec873661c82780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Record True Passed
21ef2b4e0d066e86508985ddbc836c65c3c248e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Record False Passed
ad9a8ba62a840d374a71bd434af86194fb1bcb12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Record True Passed
454574110738b7fb88efc70b3db62453a2158e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Record False Passed
75c0f8a345e69003bb50f772e60a42eccfe7cc91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Record True Passed
71289860a695f1c08da3717d5ebd5621f53faee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Record False Passed
5163cbdf82676615b0d928c7acf29388cf164ccd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Record True Passed
78278c7c4e9b34e2a23ea86c010bb40437217030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Record False Passed
d20fe3bb6996c0f23edd8a7dd9b0a11790dd9c76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Record True Passed
1ca7ad07cd049be95bda3b4126c15e77b0a3c32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Record False Passed
9c03cd549533edac4597ec9d5257b20a7a4a8fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Record True Passed
35f99884d2f4b8913c3ff66e659c6d399afd7afa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Record False Passed
49161f777ed0f6282eebfce27d478f4167cf0c08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Record True Passed
b96bcfd10089674a4f73300e10ba4e665dff7ddf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Record False Passed
e44f11d3046038a5d7d22d79980e881debce2978 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Record True Passed
e158d010c683a82634e9e5ccf8b475db839174c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Record False Passed
dffe2113c7175b8405dd2ba1ca37705a13c2dccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Record True Passed
24ed4862196b3f22495f6b3bfef1bb0afdd7e875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Record False Passed
fd5c37e9bf50df79a7efbc925ed22b5687171c6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Record True Passed
bfe18a44133cc9472335848f4b89594519d77fa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Record False Passed
9f7ea0c3151fa9bf3712093c4c1e66dca4f718ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Record True Passed
e5d0ebd53b91e11c371c723faa54348c1c77a7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Record False Passed
148db9dd2bc1e3c8d628602ef11f2113c82cef7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Record True Passed
abec65dc9381e0502da92c94d58711c565cfa917 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Record False Passed
6a807dce346aa9206a17966a89a61a1549258300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Record True Passed
aa1d3fd8d6580cd5fdff4f17e6549448619e3798 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Record False Passed
524363418185485800da092f4f4155e62af338e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Record True Passed
f81ab2ec4fd0b91c5d18e166155a49c87e5e931c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Record False Passed
6bff16682b93ca2dd8e164ac4e5b959decb702bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Record True Passed
aa67d0bc00285807fbbd1331169cf0cc6603fdc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Record False Passed
79d5be912b6948263b97be912ae103651064b7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Record True Passed
04153b32d43a4807e0606fdcf7378e85ac7da7ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Record False Passed
7945a8fc01aa70fa819da576f5bfdd781e3c6c35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Record True Passed
3a4936e3726d79e06ec9c7276c79342dfc127659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Record False Passed
0a71a2c8df74a8faadeb154ae6bf8ee51b6e9b30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Record True Passed
668a075279a1c1e47453be0c82d6e66956614b59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Record False Passed
47eefcf1a2705685979b3669b5c0d27e8b35d594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Record True Passed
270824e56a1a3b059a00601d74c324bd44eac3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Record False Passed
7a9eb3b2aff2f2ad0750f900d854166a2eb4da40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Record True Passed
c0abe2bda380decc600a8f2567d7685079c90a63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Record False Passed
887d26a2e0db48d301d937267fd2833da74158ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Record True Passed
f3d7a31fc3ad0fbd78c84a805da74b0c8bbe5078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Record False Passed
546076212a749cb49ffea7172bd1cab72f0e13d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Record True Passed
59d6a33c12bd0c88cff2fa0e82b41d2f6c744ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Record False Passed
e85926f15b19b61f37fe858dbf8b575a89a6ef6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Record True Passed
903883c5049d5abdb5ea635328d9400808726076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Record False Passed
47656e5f8e1cc38f43311d0f0056f859c1c5c128 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Record True Passed
d43c2193fec4f3a3952ccfee80d9c2bbc24df0bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Record False Passed
0fbdd1d84037bf388b2bc270c43be04a5977915c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Record True Passed
0bf5ec67b22f6172142385c218472d1684b094a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Record False Passed
03dc14551bb85f294e43859eb2635550d75b4e95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Record True Passed
55014c915c46da20989a2eeae8f92813997b2a1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Record False Passed
8ec36e025c5966371ef1ce9ff90a847154a01233 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Record True Passed
a47caee838de12bb112779625a19062519b35322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Record False Passed
0ca7d0d900ab809b01c4e38f8aa70bfdbbfce4b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Record True Passed
0cf068287ca4f73b1b3d2eecebfeb9e17db6285c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Record False Passed
baecec46c63ad5c0e794a71a50139dade5910aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Record True Passed
7c818e209366459cd18f5c6e83daa1649258ce9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Record False Passed
5b9e9a4d8be6a98de0f254ead8592b2d23825080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Record True Passed
9a67c13c89525cadf6d14a3e3e73ef39a01872ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Record False Passed
224bdc9258503f915308bb6adcaa6d740d0da748 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Record True Passed
780a81f4f92cae0921714653e64dfabe49906c0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Record False Passed
b065640e8e02890c46c32731737bbc3fc8f15ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Record True Passed
8d86e5e0c15bcbbb291e5aba37ae3d1379cedbd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Record False Passed
87a90885ed557d2a5c98d1072df6b18c96d74209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Record True Passed
f565058fa068bb91710cacb997f52b634f575705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Record False Passed
8fd8e7e26176c5268d16e24fe5d9a5b93b126b7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Record True Passed
4b166950ab0eed075b1189c9ac359d0bedd05d6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Record False Passed
1067e41ad773fa6abac7c65f57896030a7371c1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Record True Passed
891b8ec4d840cd5a66ffeedbbd9109f2b69ec49b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Record False Passed
fd5ccdfe3893b8761e12750ef700dc30f817d83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Record True Passed
b57412157adcb04ef8735305657c0489b7742748 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Record False Passed
511458a7b839fd0266967909d110c2d6bc1ff5eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Record True Passed
76050a3bbd7f203d21abad2e6312777a65842e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Record False Passed
be17b3a8498cb50a9d27d9f42ef80a9dca93ec02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Record True Passed
f987e8512de27ee574e7d17ed24725488c2a7c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Record False Passed
1e84e0a4d63abd8ce9f4f5abac83ff6d1e6678b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Record True Passed
5452fd758161ecac22c54bab1d2efd241133b850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Record False Passed
98829a3262282fbe0d130bdcdc11c473bbfa73cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Record True Passed
e7ccdcdb286ad48c1611519f9368aba5c325d957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Record False Passed
8c8c435bda3a3fb3df0d2dde6f19c554f08532ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Record True Passed
8b071ed76da5402f8af001a15f54467acf55da1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Record False Passed
f0bed99feaf1933f190d82c8e30e08bbcd934d98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Record True Passed
59456900e0167a93172a15f914ac817ea37cd5f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Record False Passed
d247c6e164320bc0903dc354ed510d02dca6d201 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Record True Passed
cd1a46e1f6a407a4bc4c67902434fb2915901683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Record False Passed
8c2f87161af8a253b7bde4b5bc410d9f088c6b67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Record True Passed
4889ade73f14b0bf8fad2d36a8fdd060ee80a369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Record False Passed
67647c4703f462aad1ecdf36986c8015fa7286a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Record True Passed
5f15cce3745d0eb448ef375460bc4b85dee5a825 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Record False Passed
a0af64d8dfb4c02c99d93e90b94b9c9039413023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Record True Passed
c42077f6ab3074e74e60741f9711410748c4561c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Record False Passed
4a39a113e5288d3968e849d280e3e56593640cce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Record True Passed
e7939641ae0eb3e156935f6bf5c135d80629597f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Record False Passed
6379033f2ffbaecafd799785af1b804f013577d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Record True Passed
18277f83300169c088f3a6d3bac41abd399c2c7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Record False Passed
219a980b1e3dc83764b532ac5e039536f8a35592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Record True Passed
66a8a4586eafd37656f8ca00171839f5c701f437 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Record False Passed