Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e57d3a17e153c29b8bab4632e1c5540ae3665b4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq String True Passed
28819ffc20ae0d5e0a1ec5cf015fd19585c13c39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq String False Passed
1221d735a57b302adebe51e7b360e63840910f1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne String True Passed
1ac8177855beacf2a015ec14db895834757fbd43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne String False Passed
5424396fc1d0df36a6240a19c8fe47a81c1ba16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let String True Passed
433f0bdeb261aeffa9ae9b9aded7973f51f505a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let String False Passed
8b7080035147663e8d1aa043dd5ba5ee5816883d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 String True Passed
45de41ddbd07dba0c6ebcab1e55c3950a77df1e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 String False Passed
26179ca38adcefa706976c56cf4290634eeefd9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 String True Passed
29d81946d9819f463477c418f0e02c8342fa2cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 String False Passed
c2568b515cf9aa6048c7562dceb669bfb794aa69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 String True Passed
60f43602bbfa832e834d0ca7377c3c26c11b3b38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 String False Passed
fde790ada0d97e5f4943074fdc811e596890fe68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun String True Passed
1d71b1b1479483d8adbdd8a0e38c465aff631873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun String False Passed
443bf0a05d160fe6ce948557be65e679cf0aea73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In String True Passed
3698f6d00d811cbd4b1736442cf65924d48e8c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In String False Passed
848b478ace755dc25ac4da4b2b505c30c4bd9c87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn String True Passed
38d5288b4bfb85f19eed254a5afce95ee34ceb7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn String False Passed
4c515f7949a54d57c7e43758c231019a6189364b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record String True Passed
8aa8f4063419ef2f822a72e6ac502e724b3e0a4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record String False Passed
1905b1798499ff67302f458f1cb6587d995a707c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple String True Passed
d333c53fb2e3beb895de3a77726df18b47880fba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple String False Passed
0f816a88a97fdecf1716bc4fe1c21e44375a660c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp String True Passed
6edc7e380bd19b9a96d666ecaf1e7fe3bc7f6853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp String False Passed
fc3fcea363dd816d2f4c590f9e98040b3539a5f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun String True Passed
9f6aea169f3661af9498fc7916d3899bf468c0da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun String False Passed
946d98b14f720bb64b952ffa719013cac4d02891 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt String True Passed
f1e0a8d0104e226bbe6fa00425dc60f7550d7c0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt String False Passed
c25a611e0fd3a494b6080eb6552f1e0df08cdb95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec String True Passed
856fdc2a45695c0ad8c9cb666d7c460a99fa8606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec String False Passed
4c60850c84ee5be1f8f8729dc08cd86987efe4ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt String True Passed
a396a7c8d4cbf599bdebd951b0c7c6c8718e981b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt String False Passed
953a0e042a09504c6276232350c2dc112aa85a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun String True Passed
02ca45df178171031f2b9cf7c76f0d7ef29f730e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun String False Passed
4c1d597e3ed77f2df43e3a551da0b2c9f274508c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime String True Passed
4fc260aba125bf0ca951079d6553f54de8a6947d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime String False Passed
8b9e473f9f3646a77bdd8b77f0191276758797af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun String True Passed
04228896eab10646653efde4816923edb2f55a14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun String False Passed
0a6f34150bdd58b0b004481b8860cd933933a78e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun String True Passed
9920e30eee2da6ddd9d6da9fa4af4cfe0813dce5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun String False Passed
8f9831d7af53e2fa3ebbb5a1e24185333e5a631e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive String True Passed
d51ac55d083a40d7d77950e848e79f596232451f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive String False Passed
0b2bb015751cdb9dfe18b844d03739327a83d11f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive String True Passed
39f2e0fc4a8f4c2a063c0cb6db40a82c8f4b897c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive String False Passed
3a4d7a7d94179e571e57cab7379da864ddb57109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 String True Passed
b3034cf2db71349a1a2f43ab8b66be4cbf12755d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 String False Passed
ddb08129f5decdff212aee1c9ef4707ebf105ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 String True Passed
4a8e0d4b5b84272d58c17401fc4b56a5a2d55821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 String False Passed
4768feca076c4f96af4c4f3cffdb611ddcdf2692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 String True Passed
73ba6d74d5110b37f9aa5c39a929910932130ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 String False Passed
556e14b0b85fe461a439bcf6a9010f56085ec754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 String True Passed
bb993ddfe119a4d69b4fe16675b94290566d0a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 String False Passed
b9cd0d61e44ebd6d7060c2f306afeaf0a64580f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 String True Passed
2151021c5890302251281056794b1a70263eac6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 String False Passed
9bcf12f2964402681dd68f9a7281a78b5daef648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 String True Passed
9097bc62261d2aedf50b6db8c973f4a2db7d384e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 String False Passed
a295375a0896f576e4c810c0769418ceebfa2efe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive String True Passed
1503a984bbc67fae3e696bda304581d42a6336d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive String False Passed
784bbcacdf78fbdf15247c74d132531e95ca424c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive String True Passed
ea24ade6e71018f7d939735335aafb54787d0f9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive String False Passed
c5f29fb8202d75a00f0ec8c987c5d9620581d488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends String True Passed
8f2243350359eeab25d2ee1447b5599b9bbeb40f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends String False Passed
23e76361f81c170929cf816af93d8d059c3bff63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder String True Passed
c05646689701934bda93201bbb2eddefe0c44fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder String False Passed
23a5e9dca99367d055babf59fba9af843dd9734e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable String True Passed
523d2d118f022818eefddc1e20198be037096e40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable String False Passed
a6f283a9dded72bf174878db197f090a736c8956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude String True Passed
b9594d758b51debbf3e8dfc236b9e3e9ea09e64d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude String False Passed
a9e292ce37ca931296a1089d884cf86df99d677f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant String True Passed
202c4db6d36d21254f1359a1d6f0a58a12f8ab25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant String False Passed
85cf4e93222c33a750656da42d710e4fd87acabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 String True Passed
f6bf650dfebcf3b8028ebc9afcdfd89d02835a1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 String False Passed
b30d6ab2180a694c0d1406668db18c0e42c43171 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance String True Passed
d101b30cec526214b95c1d47492a873c512a359a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance String False Passed
22bcf7866a9d42bf91fe6e23d8ea4e000361de0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith String True Passed
4510399f8b6842243f0fd66ddac5616d513fb499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith String False Passed
65de970a691bb888bdf7cc2033e6db90983b20ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed String True Passed
1edaec1ba68e5f16c52f21a27f9356a48f1f87a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed String False Passed
8fabd4d900bcaa277c8d19c27ceb72a55b238f7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith String True Passed
4ac75d6e206815fff70a097d4737730c176a541c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith String False Passed
381d2160967b5f05cd9d3af93cbab47064dbe1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder String True Passed
d8692325a0d39338c071588c4d7dc9674512aacf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder String False Passed
639308c8785e3b3198e87798d33b2a814e9658df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder String True Passed
695f40744c5850e9cd09b960362ec951483f9b15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder String False Passed
903801a8de3ead8a7bd24cef03d9098affb37d22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder String True Passed
49b00ff4ff5a18c83730e4790308cbc8ba76ca98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder String False Passed
c1ee587813c69e05da7013da8645b7a643acc541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder String True Passed
e3b485f26eee58a00e43866466c7706ac454fa3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder String False Passed
55d40a3ecd9820543dcd5cbecf9cdaa5fbfb727d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda String True Passed
a22f9638069955168c7d296b805df2fe257ad41f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda String False Passed
aa09bf8e8e2d3a0c427c3a309d0a2c31327c35b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen String True Passed
c5c4f1c046b21ef1fd67da4d87b598b13a79f6ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen String False Passed
1dccf87ffc561cf6e760226c702e1451d65ab151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse String True Passed
1b406da510e027f70fbc98e1017021e8ff58a0d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse String False Passed
68b062495c709068269979cad4723fff3b15656b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged String True Passed
81c4524f15831ae07cf4b80a5efb902128693f9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged String False Passed
89318b8aa0a519ba96f58f87157d60eabbf0bf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen String True Passed
05f6c00563cc3508dbbc03138a4969abf3adf544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen String False Passed
f01eee4301b78df83ba0b8da6cfd2973ecc746ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat String True Passed
63f9a085a23c2e603ce5297b5d81fe236f5805de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat String False Passed
7ec84677979bd8919a2ee5e46e8111a16249f72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun String True Passed
08e8427a0e33293a50f9ccf0dc236072b19da777 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun String False Passed
5e35e069bf738c4dc4ab4de274c08829d609b873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval String True Passed
1f9798a7f4d43fc15836483601434427a3f6d4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval String False Passed
59dd79fec8747836e2f990a15b065a758f54e2ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn String True Passed
f5dbf7006d2ded1b40716741caff4ff7ed1f3b01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn String False Passed
aa0572858b13f4dbd9ccbbb2b717acddabbdca9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn String True Passed
267f69e19ad3825f48627a0ba3a87f06525d0eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn String False Passed
0041184cb1e964ec7936bf5a607541ab167af7f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend String True Passed
b59db6da01a9e8aa6b5dbc52d458a65225a4b845 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend String False Passed