Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dc3718e35466796f868d9de436e48262f0230686 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Fun True Passed
ced055d7eb257276e5d0f1ef53867aac68f49034 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Fun False Passed
a2479a15087c13cf39dee47fb66b2c69e2c07cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Fun True Passed
181b2f08a56880e1ae88f7a08c80bcad5693e9bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Fun False Passed
7c9150f7b7ac1f1d78d3926c8b0ee45e224e32ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Fun True Passed
ed0b76c336f1383ed1c491b66f426a5c4c6dd295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Fun False Passed
4825c1a03bcb4275eb001a629ac13035709912a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Fun True Passed
7ffac172a8a679bdc54fd81344bdb1e90966fa36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Fun False Passed
1155af0cb3fffc0dd19a27676b98321a379be80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Fun True Passed
f72eb70505fc7fa0730e58ac19281031fb8e3493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Fun False Passed
e294355ef79f50871a36fdae892ffb6c74590947 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Fun True Passed
8628ee0d4fbe0a5d19ab1950d97a9e746b863379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Fun False Passed
0e4a7e2cbc86260d30e27bae8b38f94ce14730e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Fun True Passed
955c64a934ff61d9eaef79cdb3290e43f6945870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Fun False Passed
95573bb8849d6427cad88fbd097972a9717dc718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Fun True Passed
267644f48a89dc4c1b734679f8abd6afd1f4d9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Fun False Passed
350dd885dc50f41119fbe73263f1c4515ea9d61d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Fun True Passed
f291fe5025eb4abec434c5ae389b45548eb02318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Fun False Passed
834706dbbd3bf11d96a20de50391229251d2e425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Fun True Passed
dc031ea8f3b6a9cef1a55b8986bc18597f90514c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Fun False Passed
c8e5d39f8cfc4be4cfd7f257b7cf849e0d2fdbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Fun True Passed
bf3c1f68ba6544693b9d024744fcc39f22b3275c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Fun False Passed
40abfc32a238de9fbcbf59bee8a4287a0d4e2cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Fun True Passed
681889b51a514583ec3de3067c8cb214044ac223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Fun False Passed
aa36f296b909cd8ecfb3161209d6d7b9157be667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Fun True Passed
1e7230bff79cdca05381e3119ac86480fce47b1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Fun False Passed
7c5937271c7a998870b412ee6c8634f068d8fe8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Fun True Passed
d1541a783e5209e1a75d52c0e0ab38f96bcf3849 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Fun False Passed
c09a8db848a9039008bf435df0afac9e42c8245b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Fun True Passed
07bd6e0918ddd616d73b4a9313009fa8ac090b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Fun False Passed
083b530ea2238e21ac8731fa90c91222a7e5f270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Fun True Passed
fd05938987cd221c59ef18289f537461150c8412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Fun False Passed
a7e5554f86445b0c0f510797ca351fcb5d60cfa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Fun True Passed
beeda7af161ac861c7b1e114fae28b4f9274d703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Fun False Passed
048a9b18030a23e665f57cb3e5d02e3cbbf3382c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Fun True Passed
cb4601c94a763db515131b8c6c4ec9f97ab93f95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Fun False Passed
b7641addd18963955b04dc4614d01644ee81a934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Fun True Passed
a0fc6c1687561f5760b79da5d792c75e3b992940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Fun False Passed
227154364baf1f6e194588816c4a404c8ed0e721 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Fun True Passed
19b9ad777cb911e6e37e4bfde9bc58f95a592c13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Fun False Passed
055791675d2d4ff6af405883e83b66502882684d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Fun True Passed
5a2a560d87df6c9b3933f82c56f285254103ea85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Fun False Passed
7b2fa7b810db046a29007a09e1c36e557a772023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Fun True Passed
727189ed98d5b78c6b1bc4ada34f11c288cc5407 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Fun False Passed
a971e30a2814be7d74e661a4413d568abef2ea92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Fun True Passed
da8a36f42d1503130c69200765e1ce98431695ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Fun False Passed
7d3c4fc8d859aee87b08dcd5c4eafe4f9278fc7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Fun True Passed
efd7aea5789b8eec615c213ebed35c2278fcc911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Fun False Passed
8127702a0fcb9065dfd18d2b8760acb18d5bae77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Fun True Passed
63977f02f8e3310cf310aaa8623aad7e4e0765fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Fun False Passed
b2909391150c808e6c2c5ef81685a334c1cc28b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Fun True Passed
cc9639abe0e3534bf71761accba2d456c479818d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Fun False Passed
a2607a98f27108b418d9d556c137afac7198c535 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Fun True Passed
7cae32312e15e9eebe9e4e4f8b9a3382342157e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Fun False Passed
b85eb0979fb724a06d2368c2de76a510aeea0327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Fun True Passed
00c60f9c56887ffff5df37672d352642099e4957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Fun False Passed
651608e8eab2284bdee6252a7d7744ef75e56e70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Fun True Passed
2f7479f57d9665a5a0bf2dcbc7e55ceafad5baec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Fun False Passed
9ce81c90d230758749163235d3554880bc6fe24f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Fun True Passed
ead3b0bcc03e1dff41a2557a601d9f170190faa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Fun False Passed
4b9a209594fd8da5d426a90560e0577ebc6d7a86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Fun True Passed
f91b9a095d8a8b2948006a4546f32594a2b4db44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Fun False Passed
8f549d210a4573376eae2d050f3a00b97bb202a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Fun True Passed
851539ec9e291a332888a33abd6b3ca9b2cdbedd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Fun False Passed
a3bc7cb24b1c4f5026668dd55e277a0393b30d22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Fun True Passed
13797ab511f9bdb4e030bdb632bc4ab3e9cc327c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Fun False Passed
117492fbfe2002958f7fa455472a17bb82ecf430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Fun True Passed
62ce5285ce5b074cbe36fc2ab8c1fd04d57db467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Fun False Passed
76b37491ef663c10b3d7c1c7c05545e1b409f3fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Fun True Passed
2d362537c817deaaa3c03269607ebdc937cea2dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Fun False Passed
a65e8bb94325565ec7d1af6098063d8b36a9ea63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Fun True Passed
358f702c309e0d1affbd4c8f96f2c809b99cade5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Fun False Passed
aca0258c3a85716785e68d2ff0a9036403a2a356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Fun True Passed
2e65f7c0ede8360a800823f161230568e8401d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Fun False Passed
838ed39512401673b7c927927431e9d59ff23d3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Fun True Passed
8c517bea88548b0c4d752e121e697862e69fcb76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Fun False Passed
7fa365da1753b7930e58e573a8d63cd1792b466e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Fun True Passed
10c9103db5f8ffe743e6655b76822bfee071a6cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Fun False Passed
94b28296d58ea6cd5591de948f1e322a89573585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Fun True Passed
7ab799806a6b512c1484283e1b438faf196327e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Fun False Passed
aa9a5d6a28f8a6c026cc6dab5b795e09ab65266d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Fun True Passed
0acb588fc0a9531dcc3a48eebc67202956ad1b6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Fun False Passed
56646b5d5b668c9dcdf503b137fd585c3e145ee1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Fun True Passed
dad6d127a5914113eda0759ebb407e3bc94a5c92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Fun False Passed
6b755f627535444a0972f95b9d58b81ea42a2fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Fun True Passed
103274097850c14c3d6ffb992a9a78a208d617eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Fun False Passed
fee779b07cae6337ebb83e42c61ab456f7819143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Fun True Passed
a2c3af8d999542347dd0afd57790f0392c960b50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Fun False Passed
429c00c69d002a0ef01bc1903bd68f6f63f773b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Fun True Passed
e2ad0f9ae9833c55278241fddb96b38c31680590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Fun False Passed
76d7216671886ba24664a17f70b4a620542c002d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Fun True Passed
049667cbbec60de894ab65ba4a30616a901aa10c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Fun False Passed
2a07ab1cc535759051c41a38d6a9b17734447b1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Fun True Passed
acb57b3f0e2888373dc02f5fee28a594b8c5083a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Fun False Passed
7a9e269a1c1ba8e59bfa570f8b4f1a2f32c2da05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Fun True Passed
499da9547861ccd2c9eaa311906864b9c7365c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Fun False Passed
e4377105093f4dd53c2493a8130cf457607f9cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Fun True Passed
5bbf71dc2d06e98ceb6a696ba2b122c9a5f7bdde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Fun False Passed
3246078d63fe36590c66c8b79093fb5e8320bb54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Fun True Passed
a0edcfcafa4bd7370afc787b01daae48f31db39e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Fun False Passed
0c3e19004c5f91e948deeebb70f6cefa9bd0dc13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Fun True Passed
088bd15d0ff7e1c63f8fb481e78ed780c928d0bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Fun False Passed
ce82d9f1d7b231e55b0a22fbf8a07b7efd581df3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Fun True Passed
9a72bf8fa343fd258c3506f419ede74d4f116fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Fun False Passed
501c12055f6e285b73a7a6f9eeb9642cdfe74277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Fun True Passed
aecfd4f91a1bf4bd4f7216873061dab683162707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Fun False Passed
06c4009e5084fee501c63466a684cd7716ae5b8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Fun True Passed
36adacb28a1db1b45c2d21f5452e90ecce46f2ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Fun False Passed
9bc1cef2178a09000f278bcf2e973f16238c6c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Fun True Passed
467b26d2e7c10b1b261ef02d05f71eac4bbfe896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Fun False Passed
191179903a3ff6d3f64de488b47d6a6dd1571244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Fun True Passed
281067fc5c7a542acf83d72a33e77108072d3f50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Fun False Passed