Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
355d4aa69bcc46e9d87f5a9b10103ea4ad90ed29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFunRecursive True Passed
ec170e654869b6d2e084aba4cc15d2e171c7a645 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFunRecursive False Passed
38339f86cedaa0508301982a2c8edb29f8d4c704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFunRecursive True Passed
dcc1e3426309cc9db6b361565c0be2d25faf4a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFunRecursive False Passed
2c968345e91cea0aed585777c6de5fb05bf08cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFunRecursive True Passed
67f5846f21aedd4f6ed839d431d650dd3624b7c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFunRecursive False Passed
205db134960f2a7361fb149fb31ed19724c68780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 DefFunRecursive True Passed
61ceeaf0815b8e070adfd000ade44d0609b6ec16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 DefFunRecursive False Passed
aa1ecb01bd94e3e448af584bb466da1a9252e05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFunRecursive True Passed
7947152487e439c6e4fe04447c70da0976ad4e89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFunRecursive False Passed
4a7658281ce7154eaec60f822bdad9a8cbe2dc53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFunRecursive True Passed
6bfab2f3f702b8ac83bfaa6632c15df7e91ddc20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFunRecursive False Passed
7bd14d82de2f9df13939189a162689e3eff0533d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFunRecursive True Passed
78e899f7a4f176edb4c4fd676ab4defcbe2ca032 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFunRecursive False Passed
a9595239896f6e16f490ee43ff451e14767fc0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFunRecursive True Passed
a19d31f471423c3adea231b4e37ee98bf4bcd44d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFunRecursive False Passed
6062065e36ab7f1c874576880c0df0caa7e78156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFunRecursive True Passed
635f77074e7f2ca1d263a18f003d98caffc15288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFunRecursive False Passed
a4621b10d9ffa4ae730ccb057ee6a509578246c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFunRecursive True Passed
ef229cee681351f096281d2ea6c2ad39c293f97d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFunRecursive False Passed
b5743025ec7104da1b1b2e52f210343025b5b7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple DefFunRecursive True Passed
55bb66a42af4330a7cb1cf475995beb64b37115e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple DefFunRecursive False Passed
766e7cd3053768240054b202774633d09a35f6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFunRecursive True Passed
d3e8ef342ad99a1b0a0935599a27c1f1ab3d7cce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFunRecursive False Passed
db8d027abf406741b93e403aa1b90411e84e6e4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 DefFunRecursive True Passed
46b92aabc164acb967190733e491185b94bd99cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 DefFunRecursive False Passed
86dda9072c8fc8257e2257b7d4cafa6fc24b4ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFunRecursive True Passed
ace9e83d0e76603e34af660840992e1724fe6d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFunRecursive False Passed
d3a6436d54579fffd2af7d67e093af14f0428112 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt DefFunRecursive True Passed
db5fd8f869d6e00e0aa6d8f4ca96ff34305e5d63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt DefFunRecursive False Passed
8c394db6d1c75bdc2205fae1dfc3ab7d28d11240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFunRecursive True Passed
4f046dd9f86f9c64026d8892d4feb644be59450e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFunRecursive False Passed
088fedd91764d613301ad822b9ef1f0fe861eaba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt DefFunRecursive True Passed
c8e7a6091a0aa5f7b777e20e01a021bb200b2bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt DefFunRecursive False Passed
73a43b7245618f8fe454a275c11eafb40f98efe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun DefFunRecursive True Passed
76ad3044a20d94e4a4622eabee3dc8dbdf1259bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun DefFunRecursive False Passed
44eb2349e95acf2a7082af05bdba5cf31c6fc255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFunRecursive True Passed
ebacd5cb8dbaf8568c1639d13813a030038107c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFunRecursive False Passed
8fd396fa14f1701b4209439052174eb7a410d443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFunRecursive True Passed
c2db1fbf865ac4855a3b0ede319ea8797e5a27e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFunRecursive False Passed
3fa686381370b8c5e6f0df334c44d3751b7c4b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFunRecursive True Passed
b72081b899297a10877dd5d0d9b4d43ab2197412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFunRecursive False Passed
723b53c08ef4a5ae930392c53ce8cc3105c3acc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFunRecursive True Passed
7ca425bba06d52132162e0a3b1b058e2c9f4291c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFunRecursive False Passed
5e90219ff5924ede07075e69419cd9f6aea06450 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive DefFunRecursive True Passed
24b0cf1c9cf0c10991368d87204b316aea5de2bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive DefFunRecursive False Passed
2a57f115d356e39c6d95ab4a0891ec562dd39106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFunRecursive True Passed
a308d0df2f2412826661d0b925427b439f18efa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFunRecursive False Passed
9f937419e615434cca7541ed392fea78634220d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 DefFunRecursive True Passed
df69dbc67b022b38cd0fbf3cba40c91d0aeeecff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 DefFunRecursive False Passed
bc75af51dabfd6617d29cd890bb48a1b245204b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFunRecursive True Passed
284f2d85fb4d38700caff45738b480eda4c1231b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFunRecursive False Passed
37a2a9a29a4109eb73a93e343c8439183478e78d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 DefFunRecursive True Passed
9ecff44fcd117ef951a2963cfb013271c32daca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 DefFunRecursive False Passed
d1b5ddba1383cbe562366916b9c5c946dbc883b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFunRecursive True Passed
fce43f6b318d63afa3ec5fa99ca765079acfc2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFunRecursive False Passed
c2f2a8cd2685715573630bc1e2ee5959a64b8fac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 DefFunRecursive True Passed
26913cd27553c60f14151b308394a99695d1048e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 DefFunRecursive False Passed
5d332f2f534fb795d330e9c32f3eae2fd9906901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFunRecursive True Passed
ddce4c9894365fd4dcb86266d8977340197ca203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFunRecursive False Passed
5d1d03664b532b610457f14ad2850e857ef24119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive DefFunRecursive True Passed
dffbf49dc1f2a2cfda013867e4cf6dd7d2d199ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive DefFunRecursive False Passed
1de05b139110ed203918ab2d0e440f127deec898 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends DefFunRecursive True Passed
707967068cb2d28007f8fb71ec55134787fde724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends DefFunRecursive False Passed
1f542ed65e878f9b335b8a44d3460a4f51c98f73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive True Passed
c9a26359e03a82c7733b79bbdbe4b98e3aca9a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive False Passed
a5845bc9dedf7cb7620f7931759c5bcab2fd8804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFunRecursive True Passed
f9cd6768e13dad44b9dfef32978b553d8e09b36c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFunRecursive False Passed
234cea84a443d4e3f393b1afa452a786290d814a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFunRecursive True Passed
e7a15694f68ba44c08f6395951e5eefec4346abc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFunRecursive False Passed
17776ffebe6493e96aae1bfb7dd8e184fc7a8a03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant DefFunRecursive True Passed
ec93daa3b280507a0beb028342ad6f1773b98b0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant DefFunRecursive False Passed
c096ecc33d15dbe2ccbb95339e19908a67d061b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFunRecursive True Passed
1310ba64cb485e839bc761a3be9da46ccb15b699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFunRecursive False Passed
e0211b8ef3be4c54ce721a28223476d3c1bb8595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFunRecursive True Passed
64e21cf256b1901d64a6f077d0daffa0d8e9a410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFunRecursive False Passed
b63f05c58be06d8f20b5b843536711306c9a4ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFunRecursive True Passed
21315a1c87431fc9892d3d3dfe9d72ccdf82886f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFunRecursive False Passed
b633ad5be735a1dbe661297e88504fb3509ebf2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFunRecursive True Passed
2dce86648167e91e6734c7c1a33eb4f480e44e27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFunRecursive False Passed
5df96d3a3151b47058317bb37de0b0b91b89d537 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFunRecursive True Passed
458b5d228889a45f55f18af8291d70810fa6c3bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFunRecursive False Passed
41fc9b335589efb1484ba44fe047a2b0641066ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFunRecursive True Passed
8024f37700de18c5c64e4df14caa79b54624441f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFunRecursive False Passed
a28f5f358654b4cf4d7da4904b88d9d648ca0af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive True Passed
74ffc3255c524dee05f7f0e480c2064c102a2bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive False Passed
d1ba30d7e02a6a7b393893fcd51d96a3cc02b25b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive True Passed
04e10cb1c39f56d974fa83b07e18c92faf366e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive False Passed
dd14097bfc8e54e8c67c619a2b23a33b9665f575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive True Passed
f06eb580b7959d2af7b7c83901fe0eecb511b588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive False Passed
ff5d584f9445d6fcec4137baee4b1f953fd53f05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFunRecursive True Passed
4d574ed6148a68ca1ee703cce41121bf5ce8cf5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFunRecursive False Passed
123646072728b07d7878a2d056d4926d15bbc59b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFunRecursive True Passed
4e6b339eb3bfa0a2ddada91c34b6499c2b9fb8c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFunRecursive False Passed
bb76e9947de6c4b8f6a4f8b72f1f534d4f43d8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFunRecursive True Passed
10c6f1c4c5bae710529a317c0af0e7883b36675e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFunRecursive False Passed
ca193e6d4640514f62593ebdef10a8a2e9e9c2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFunRecursive True Passed
b0f6768108e089562a98291ba02b904d3a49ed39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFunRecursive False Passed
1b856262dbb50d90ff79f4b7f457482c9f76e2ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged DefFunRecursive True Passed
d233d96d5854371aa31e25f53804e844a0be9025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged DefFunRecursive False Passed
81cd805c0e95cbec26e0efbfffda86aa14c06029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFunRecursive True Passed
7e55c67863e43ca2364df58846bb5bb9d84a9511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFunRecursive False Passed
13574fc125c983f5ee4ccfd772005721ea78625b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFunRecursive True Passed
4aa6aa54352e414dbe056b46b245f0ef80dbf3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFunRecursive False Passed
ea8cd7e21762a9c1d29d7bd5ec843f9143ff3177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFunRecursive True Passed
9d4c800d17b952341ff916c54602d21c87eee03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFunRecursive False Passed
7f131e9b47ca10f4b22e7d85cbf842295fabeaea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFunRecursive True Passed
b5fae29c99f217fa38c74453548e2c0d81c83483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFunRecursive False Passed
656dd86785944ee109cec32b745e216500c082a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFunRecursive True Passed
7e180d7ee4ca7fa59734c3acdff5054ef0339bcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFunRecursive False Passed
996186242d1369cb27eca5ab7e8cfdbbe870a923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFunRecursive True Passed
edd627746df008f93d64ecae29f41c3fb0c62bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFunRecursive False Passed