Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fa3f9523a45c7bae65229737232c20055bb55f38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDefFun True Passed
745735dc366c718aa92672f4000dda55328afaca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq LetDefFun False Passed
21f194baadceab85f0412624e2c5ec5490a45300 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDefFun True Passed
d25d43e746d0e72fde8f586e8ae6ca987ee66509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne LetDefFun False Passed
9f3eef19581024d1672dba1e245bc98a2dcd25de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDefFun True Passed
aa0e466cea8eb660f0441112a43d73257729b1ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let LetDefFun False Passed
21c01ccd163e0c3e255bdeec0f0936d0c4730a12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDefFun True Passed
20dc60657e7c132ff0f071b12f834008f43efc9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 LetDefFun False Passed
ae6f34251752bde942422f157fa503beab6f3cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDefFun True Passed
9f502f79f386fbc5e131d2552068c3676b96058f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 LetDefFun False Passed
5775bdab6b5784c189dca9e8a2635d0fc75737d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDefFun True Passed
1313904bc6ab1c7d1a4fe2e1eac8565effd1c16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDefFun False Passed
0b47be1a9c5232356839ad1eceddf334fde987e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDefFun True Passed
ee1d70e6e3273bd216eaeafdbbcdfae5e4af3d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun LetDefFun False Passed
c9e3d6fe29898b9f943c297884eff51baa18b7ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDefFun True Passed
ab011b00713da19e92ea0603e7a28a463b4093fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In LetDefFun False Passed
1f45d68389bb1f129121f6b0c492ab3de536123f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDefFun True Passed
016c73a23e1bddf69ac27338858182b40506c5f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn LetDefFun False Passed
c43f831224c29490fcd443fc8a486fd25d73fa01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDefFun True Passed
c9995ebda26267877b11342477926a9fafea8fed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record LetDefFun False Passed
3551105e4248d1563d745128a56954481627494d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDefFun True Passed
be7ba571df98f425e0e8e6e9cb987a38b46708c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple LetDefFun False Passed
574aa754521beea87dd12ad44e77e486074cfd3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDefFun True Passed
49008292b92b648f992f15dca69b81cabf748cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDefFun False Passed
e0c93b43b794c61bc18481b59de89bb9f584c841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDefFun True Passed
45b924e8f1a5773fab11f249a148514645807399 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDefFun False Passed
3b14ffc3205abeb2465ea3afbe388fedf5828532 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDefFun True Passed
f090f71b31693c7d965b1c52893e80851a4d1aff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun LetDefFun False Passed
3d7b0708982f4074394dd4ca12d00f2ca7e7946e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDefFun True Passed
31ade79804dd161bd1b076001fa63a83578a86cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt LetDefFun False Passed
d8c041608d3e84936cbe3925bb7a339b2463b524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDefFun True Passed
19071181ec6d0f756cc136fe66a2eacb32e7073f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDefFun False Passed
61f020dfea2e3189cf47330eff9fcf76fc467fff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDefFun True Passed
87e4dd03740080c7926a0b48c238de349be789a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt LetDefFun False Passed
37a6d38cd67cebbe28bda768e42e24814072b1cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDefFun True Passed
e4c252646d0bdb9f88446ff3509c7487d05d2977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDefFun False Passed
e396601d38144d182045411ce002960a50199f3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDefFun True Passed
5f1204751cd1c268459bb37272b0a89eb7b63976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime LetDefFun False Passed
18149df6989c8a7371d92ea788b87a82ebbd836b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDefFun True Passed
a8fd5e47d2f9c452b302bc68f1eb235110b353c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun LetDefFun False Passed
884f5da480901070a341c748bbba1c30396349eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDefFun True Passed
b3da11a9bb1180d2a68ac7a9584c18d72a9caf67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun LetDefFun False Passed
be0cadddce385b210effb6036dd77545619a8c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDefFun True Passed
89f6ef04616c79020e4f704ff5bffcd7251de75a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive LetDefFun False Passed
c025919b9b583ba44ba15679c92d4dea35241dd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDefFun True Passed
2d921302a1c710a427d214bfcedb7981cff49b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive LetDefFun False Passed
83229e639b19b309b1a174aa2e79157cf54890c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDefFun True Passed
e8d7cd7afbcb9956a547d0e7f093b0a36155834d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 LetDefFun False Passed
febca38599cf6ac454a0073b7e202391383fbf88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDefFun True Passed
819d1449dd0306b96cf814d43195c76a96833dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 LetDefFun False Passed
7dd303ba7dff4843d152cc3546db9d8f0143d1e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDefFun True Passed
25c51ba189c7ad7e177fa08ae591008931b1be2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDefFun False Passed
5b724cb125656087fa182b0f562a5b188cce96b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDefFun True Passed
a686f8ab88b0b101e7b157f267906685b55c3ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 LetDefFun False Passed
d10ec23c8be0eb0084762680d4703ac277efae36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDefFun True Passed
ef173a9c94d296575b53fe6b85d01abec8383399 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 LetDefFun False Passed
decc5886a786aa431c6c13dcc09d7ac0ae912527 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDefFun True Passed
4b362d9ae54418d5895f8080e8837388ef251487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 LetDefFun False Passed
1424375c6d758d1a09e0a27820516cb0cead4fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDefFun True Passed
e518bec16641fc36f82c48b860b577012b4cceaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDefFun False Passed
eab9a8fc00cd5858a9c3061b1f9c22a5fa63f674 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDefFun True Passed
4985e9c6a4ed4170b6d0d18388adf252d2da5431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive LetDefFun False Passed
a35e6ed03fc01a5412d18b99a418fa63b1d74f1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDefFun True Passed
6d6284b43c347f18c5791fb1d1d76cb0daee3ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends LetDefFun False Passed
21b1d8e4218ffd5acbd4bb35528f191c83d6182e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun True Passed
6ddd70296fb0eeba655cdec50b6d547258817074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun False Passed
cb9803badfb3662b609d2f63ce980cb8f899420d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDefFun True Passed
6e65aa8d8c63cdb630e9e34409303b40afe609f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable LetDefFun False Passed
24d7dc655e31a2e37e5b2be2ade783888dd73972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDefFun True Passed
6cb0873241ef4f966fd2cc60a66b7945ccc26205 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude LetDefFun False Passed
8ad1ecb792a96e3d788067cf71f3b16964895b52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDefFun True Passed
ae714b5d8533916f2fd390bf9e33156ee2c127d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant LetDefFun False Passed
6a0a29bc1c93d541879b22b31dd87f5771337b02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDefFun True Passed
061a84f20d5215db36561af804905e7a5895e499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDefFun False Passed
f975107c46de963340486f27a7da008c15f96603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDefFun True Passed
f2a645277dbcc373bb12d077b9f0d8f81778f82d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance LetDefFun False Passed
511d0621ebb64a1344c1b6406566fe8673409e0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDefFun True Passed
66f2792aac567ea40f23ed8cf222dd39b6c88a3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDefFun False Passed
d839a817a239f0ea92471c5c9dcfe6f7807a7bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDefFun True Passed
6dbbb7aeae9320f06e26d04a52d99338a82d41b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDefFun False Passed
b39130d631ee14b97cf83fc3a9c577cc36d4a409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDefFun True Passed
cf261cb75b66a30cbee846efa79d744b9acd39ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith LetDefFun False Passed
34dc55c2d625066831688bcfad4790fd59d769bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDefFun True Passed
8ecf0f2faba8edf9f7d9cd2e9ff2cab541463f5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDefFun False Passed
ba44c9711bba1595e30d9d0660db322e155ee13d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDefFun True Passed
d90f713126f1053f9b1e1d0abf41a6e72542d025 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder LetDefFun False Passed
27b9ee1bb8d28ef2300838496f1e711b1764cf91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDefFun True Passed
aeed8c324d1c2db6a5e30cf71b92daae0dc583b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder LetDefFun False Passed
d9e3f38e83af47670cba5a51c9a22730da0f22f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun True Passed
5b612e6cd7d442cdcf1a4ae5a257883e8eca0fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun False Passed
ac42e448eb87b46b67bb0b9de667685699b8da56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDefFun True Passed
3918bac0e40f00790e7fefbcab07032fd39f6815 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda LetDefFun False Passed
e32f3ed939f835bc56d65526858ef5a37d3de5de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDefFun True Passed
c48ac0af77e3de76e31193a74bcacae86b83d643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDefFun False Passed
4c581ae7a2230ae2969bfc0287a2531e4568a703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDefFun True Passed
b146b636e48a012cd4c5d38b183ea69d3da0341b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse LetDefFun False Passed
3c292b1f38bb9e311147fb0b6ca2a9e25e650cce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDefFun True Passed
887685ea2dcefaac6fb299fca1592773e3afd753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDefFun False Passed
c7c0de433f18ad23186932ac014f19cc75dd9ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDefFun True Passed
c170296ad0c0c6136c442b9d74b529fad6954aae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged LetDefFun False Passed
371e70d0393e7894c785591224308e4fe28edf39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDefFun True Passed
b09c08a7e8903cf1e2842ade6462fdb6b0386727 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun LetDefFun False Passed
c4fd3c69df38e42b48692fdafa10990f1840368d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDefFun True Passed
954f84a42c857f249768d97f9fe6aa9bbc54a129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDefFun False Passed
f179f634997ed774e2fa90d87c2d9d6baebae878 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDefFun True Passed
3e344c49b8f6e99c7a11e3b5ca4b25b19a348a8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval LetDefFun False Passed
52869dd6e5b74a1c18671f59f794e5760f508767 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDefFun True Passed
88704a33884efee3ff09cc8cfcbfc0e60e9e864f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn LetDefFun False Passed
eaa9c7ed651ae6ebd9bb648a0eb36a6a4142ed7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDefFun True Passed
578ae81d285ab6d8e5373fc46dd0f2260e281f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn LetDefFun False Passed
8a26c6fd994cf9eebf2487a48b2c88654cb89f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDefFun True Passed
0e3eb07a9f0020dd03427ef87c27bc5b3b37d68a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend LetDefFun False Passed