Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6deeeedc0a466f2e87176a53b7027565d2b96bdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq DefFun True Passed
7859d59a9e8fe826b7732b9b01185941a92c91b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq DefFun False Passed
ed6dcaebfe29e77ddf95b9a5d3bf3cfda693e15c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFun True Passed
10b66bcd08e7afe6f9575580fea308f000c89b4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFun False Passed
2f5f523ce0925579b4358b947844f1576f1aa2da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFun True Passed
e8dc55b64c36afe04e0aaa315d8095bc0906bfd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFun False Passed
9e2e11307ebb33210dace773c806652e65cd0537 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 DefFun True Passed
39974bd45b2d1c5aa222077c8ce4b53b6b38f916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 DefFun False Passed
c5059cd5ce63dfcfd0047fe007bda8cdd9d62f6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFun True Passed
6a381a3fcdf111b59bac36f0eac7642c44da70ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFun False Passed
b570c397daba260822044036b6d9a4d9e2e51dfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFun True Passed
5696f9dc1ab8e7008104e4b6b33f9fc5392045a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFun False Passed
68c7b3d3176bc220a3d5b17766e5959aa6ac9e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFun True Passed
f574c55e7dc6993dcce92289999c2175e07d99c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFun False Passed
582eb0c07a4d703b6d5ebf39e1c973ea5ba24dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFun True Passed
eba460a7499fdfae3aa06b784566db621d1080d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFun False Passed
f38154e2291b58184b2e9aaa26078e8723bfc286 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn DefFun True Passed
7b06265a1e358ecb7388b2c9e9defbaf23c0b6db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn DefFun False Passed
a17244a4bee933319e0eab9b52c62c50059b0103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record DefFun True Passed
b36b5a16d523bc964257036efa7dad9033bf2b72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record DefFun False Passed
8bb08b6e1043d59908279bbddb1c31d11f006a60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple DefFun True Passed
53ad98d0340c82ea8ab34d4b8f3af367ffb84dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple DefFun False Passed
bec8fe285ee52972050a699520f5f6bafd0c4908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFun True Passed
1b1cd16293cf421279d50661baa80afacef7e65a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFun False Passed
9ecb343e6bacbc4d44d333075c7639536d30485a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFun True Passed
9081f829cae212b817292f2216685e8655c26fef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFun False Passed
318005f09206550f6bc2930d8bfb78bd776714d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFun True Passed
b72115cfa11f33c0e66488c97225881a7086a7d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFun False Passed
8f9cf2eb13633c905a2801988959945a53a58e55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt DefFun True Passed
cd16cabc6d23247ccf9d7720b200777d7413c0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt DefFun False Passed
96488fbeaa20d05e75aae7a7998b1f3aa840eecc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFun True Passed
46ad90a369e47b17faa81a592820c7de295a0ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFun False Passed
240670b3e55ac538806f15ccf45fadeff667b032 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt DefFun True Passed
5daeb4900a75e35e54889f1d80acf5c49e1e594a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt DefFun False Passed
dd4e269bdcf31cd7aa30ebdba27a7f9aef85b228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFun True Passed
566177b32abf13def9c94a9f9c67b462c5948958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFun False Passed
6fbed64d70f98d023395c6f0e7aa8790cad33dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime DefFun True Passed
ba535304bcaf42f0e691dd8072a6cd28893cba40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime DefFun False Passed
de7e30ef938f5cd2c62bdbbc2e67082e4da46060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFun True Passed
11cbf71ac4f35f07481c9ab6694a2ed7de28c7ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFun False Passed
26ef992834d73e0c534ca225d9a8ffafe64f5d09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFun True Passed
bb95e406d62c2e09c743c567d70b90f71c92a271 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFun False Passed
05a73399500f5791d15f059cda47a2a6aeb5422d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFun True Passed
46b9afe22cd42a846c46427a9a23f3993fce7028 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFun False Passed
138f5ae6e8779342ae7b29aa3f92034decd44291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive DefFun True Passed
ea8767c3d15f8a7b6b2fe6f1c5d9ee0b8acfd46e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive DefFun False Passed
ba5727cd7893956ea474b5d012fcbe20c0865838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 DefFun True Passed
41c6bd5063fcb21faa88602ddfc93d8b38f06903 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 DefFun False Passed
3b12b1a0cb2e946db2c7bf4bc40f6dcccd08d087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 DefFun True Passed
85cbac42297281f19427d33b9c31176ad0bb4b65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 DefFun False Passed
360052d4dc46052c55b2ffb943ffeef43aefbe74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFun True Passed
f4483b17cb3e7f68fd5978dab846a6fc981bca2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFun False Passed
7b677454f24ed10deff5624689b277fba0566d8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFun True Passed
8b630f10f90415e17bd0463a95c15d75760996af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFun False Passed
4bb250abc5fd4a218c8250d7f9501bbb13a9ea22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 DefFun True Passed
716faf9b7054375fe878f7056a806921f39dd30b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 DefFun False Passed
b8e5af8e57614c5de987d8f659c9049e39177829 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 DefFun True Passed
37f3ba23d76977bb64f5b6774e1819ce8b97ba7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 DefFun False Passed
0586aa4abba3395959e2aec21e175e1d70caa1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFun True Passed
0413e7ade1b62ec2f0f21cbf505ab2650e93082f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFun False Passed
dd7ab5fe40775e30cc562b930f2a4bd4f268874a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive DefFun True Passed
d18bb588e44a6f547500c7eb9d89e3fc06cdfb22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive DefFun False Passed
961bdb5eab7d18421bd2b37e02cf6d21281193c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends DefFun True Passed
6c61e4e76ef214ce891377c0fe4ad4f6afad02d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends DefFun False Passed
9d5debf022696de4a285950257429ebeae45203a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFun True Passed
4eda60bb06bb942000a7946825697a160068cb92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFun False Passed
a666a206d8ffdf658fa72169fea4f67108f4e43f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFun True Passed
58b75cbbff59a427c4364043f858ea6fa89e4945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFun False Passed
ef392863e3096cfbc524c15869dafef99746bce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFun True Passed
7949f11a142195f60480a6f9c18f8702d6090ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFun False Passed
38b2f1916dbf7728f83dccda6d161e1a5b1d78e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant DefFun True Passed
44358380f67dd91271c979ae229bb1fbb79c88ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant DefFun False Passed
ca336a88568d9a1b492973f0e17cacc4a8e33105 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFun True Passed
edda848ed7b2315957c03a55fd2fbd80fe59ae1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFun False Passed
2c954c85639b0d26b7d61b32381f6f9f5db8a040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance DefFun True Passed
fc354f85168967db6908fe32369c0956d640bb63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance DefFun False Passed
3983c89c187221862d029ee8258029be7d9b1d41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFun True Passed
61461fbb6a045bda4ca86e2b8f716e69c852692a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFun False Passed
a311e8a0bba5a7aa55f2e6df137192dca16e7be9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFun True Passed
5cacf5626e1f165494a84be8add92e6ecc6b943a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFun False Passed
603d217b8a5e09690dc8b465446774289bc7ef24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFun True Passed
38d98ffb6d1f82b74db00086b2ac45fbfe397a95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFun False Passed
b79472fc011baaf2867738fb8f2c7b63c89d4b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFun True Passed
d492f4d5a0eeca6a3e6beacbf8d02ec8a889e561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFun False Passed
3eeb1c94fee332cc31042b79a5da1d79f87cd04e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFun True Passed
ba78cad972f93411a88d66787535e597ff375980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFun False Passed
5ff32e561bd4f39c4c9e6c646f8208edea7a6ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFun True Passed
5e0db534755822af50bc1bb2c5db27772795de12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFun False Passed
d600929af64f7c7e2829e128ee376ccfd19682d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFun True Passed
176ec3379c50b82b0ff3e83f7bedc5e93e8af1c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFun False Passed
4381ccbc2074f10bf2d4a528115763c5f5bcfa66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda DefFun True Passed
5aba690576c2086c0d413576d47a9ebb314d45b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda DefFun False Passed
d247eabb48f79b84e570b5e30066f169b6b930a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFun True Passed
9f28aa50526f4019c92b8384103b9d90bac89658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFun False Passed
5526d165fa64b42ab24388acd71e3a38cd7ca4af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFun True Passed
74d2ff9ab101c895c77256b2dbb0f10e078b86d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFun False Passed
6378ebc8c660706ec640de38ea3b4126b2f50763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFun True Passed
75704837a68416a79f5e5a755623a8418a044fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFun False Passed
056693cfe21e2afdf1683fdd6597e64ea10987b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFun True Passed
d24834e1d91d502bb3b52d04646a0ac7a32d9dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFun False Passed
7ef991a3c5ad59e81100995374de9a5b51e9963b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFun True Passed
8676f3afe713aebec1bedb574e37f2a1b2091fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFun False Passed
4b5921c8bd4b97a2e1971c3020d23631b3679d91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFun True Passed
9fb28d7cc07b6bf0442f564792de30c3fb9e419a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFun False Passed
c29a2a9da1bf47e3fe5e2f13e708f0e22e250f9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFun True Passed
a36c528aa02d3656f3a4e59cf7e34b51906d0514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFun False Passed
de22f70427102e776193ea370981ced70573f369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFun True Passed
78f47074b335eb031579b94e709840631ac558cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFun False Passed
430fdce0587073218444eaa82649f63d3b528186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFun True Passed
1499475949715cbc6615afed05f5c79f9577da81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFun False Passed
414fdceab3a4c5993bc65c7413454f8b34e7701a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFun True Passed
112248596b449d508f15a122499d577de906602f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFun False Passed