Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dc6b6c8c10ef919525be1c157295de909cf87ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq DefFunRecursive True Passed
28e77910ffdc7a996d2d108a2f54c07623570fd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq DefFunRecursive False Passed
72d8f76810e984d06451345c95f0919892c0b554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFunRecursive True Passed
e728e23a5989907e9d74abd4cbbba5158f8010f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne DefFunRecursive False Passed
6e2c6b16864641da036df7219d202d8ddcb60d3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFunRecursive True Passed
bdaae251dbbca5d5249c2f4dce5c86c9d1f119df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let DefFunRecursive False Passed
dc107282f585ef252685f52226065cf80d53210a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 DefFunRecursive True Passed
780ce64c275bc66d773e25ac4b35cb59d3602a5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 DefFunRecursive False Passed
18556a32c2c48693ada4d7e74e4b7f11454caecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFunRecursive True Passed
7b3bf320cf7c3fe99921c63a2156ea770d0f6614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 DefFunRecursive False Passed
a51e7583471755501dbf93961bf5e9b3ac428da1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFunRecursive True Passed
bc3cd7689ccd12ea49a140c2b2a0ade50b79f66a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFunRecursive False Passed
2803024e13f52185d19930e45cb69a89d73c1e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFunRecursive True Passed
9ae4ea1e41648489ba829858eb406927d9a7ef2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun DefFunRecursive False Passed
20483576b03ad66e28353f1c69bbff5085769215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFunRecursive True Passed
ac7120d1f860b96fa45ffb420d6fd85b3e52a066 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In DefFunRecursive False Passed
de6f382146a0f660465a26bea6a9aa9dc8edb659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn DefFunRecursive True Passed
c65e448aca976193a05b825230fa9d4ce5941905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn DefFunRecursive False Passed
c40f95ff1dd4a811b5d4e0c4939366c46ec0084f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record DefFunRecursive True Passed
9517e8f546a117d52d0e2a39718604aa70901306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record DefFunRecursive False Passed
df40e1468f9414dd22fc95d689c359f380a50718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple DefFunRecursive True Passed
2bbe0114879c13452298b2e62e9f3c2cb5f377e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple DefFunRecursive False Passed
7b90ff7f4b0fcb7807e4cf055b4e677f93c8acb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFunRecursive True Passed
3d78d172788174c1503aa1815d258f895dad12c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFunRecursive False Passed
d985fe784543804a35181c55b93a05aa540f5bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFunRecursive True Passed
871d9883c74a27d2d7b895813aedcdb8eb24e9c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFunRecursive False Passed
56a40f58db8cc2ddfdc559a3d85b5d3707e196c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFunRecursive True Passed
e8cdcd613e509955280074d5935c6dc718fc6897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun DefFunRecursive False Passed
98040596947133a5a2f08c7ee78ab8dde266682c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt DefFunRecursive True Passed
e94e41639d26ddecbbc01b8a69a11f17fcd9b364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt DefFunRecursive False Passed
a664705d83b8ae2c7bcf01cfe15af4c39c64a428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFunRecursive True Passed
91ab71a60483e634e49a0ae9ded169d3f7cb9d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFunRecursive False Passed
1dc01c1a8da9ab4b784d6f3489a3b4b4a356cd4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt DefFunRecursive True Passed
3038e2aa57f6c38eca0dee13ed04265de23e2692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt DefFunRecursive False Passed
20bf021cd99731202bbd8e0d34d41d8ee2a7a901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFunRecursive True Passed
26ae59dce1fa66b0415ece563ed0cf608dd63eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFunRecursive False Passed
0c2a78d56b99ed9166de333d077948d590f6b361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime DefFunRecursive True Passed
7627275112171b51504793c8074843f39ac4de39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime DefFunRecursive False Passed
b9d20924105dd82cb518187d756074e01c462f75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFunRecursive True Passed
9c631e19ff4a313b0d40be8ee2933b4cf73782c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun DefFunRecursive False Passed
452c29c2b9d4bf584407a4b27660f674e415c8be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFunRecursive True Passed
0a16ceeca2bf126d236598d96f52fba6415d148b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun DefFunRecursive False Passed
926920a384cae5aa12545602e011327ccc8e509a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFunRecursive True Passed
020ad02175444c5102f6c5e4368b727777be9609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive DefFunRecursive False Passed
b5eb215116fbf7ac17062fb279d37da77e6353e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive DefFunRecursive True Passed
9af8c60e3f44aae5ffef176652ff44369733ec3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive DefFunRecursive False Passed
124a7a3f361400fc3f60da1ab7e799aa24ea40dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 DefFunRecursive True Passed
596a194ff238842c3b67a3405eb671cc2d327f77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 DefFunRecursive False Passed
1aed45c9955ef36b7491cc1fb00ee659aa7a7748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 DefFunRecursive True Passed
67aa94af86c79970fd210cc8752f6c27b78bfe0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 DefFunRecursive False Passed
0995fd861f502b40ab8766cfaaab4212cdf57120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFunRecursive True Passed
a10b189cc6665bdbc130237e2b90cdc5fb886be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFunRecursive False Passed
2a9ce702b92e93a775094f7f8091e302e00140bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFunRecursive True Passed
7cfde4f2157ae9d21035ec68ef8f1995591a975f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 DefFunRecursive False Passed
058a35db11da6c7a88be54f0c6a75a97337fd4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 DefFunRecursive True Passed
c5199bcfa598d63c215dcab9878206e0fdfb96dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 DefFunRecursive False Passed
64aa2c118242ca021429419f4b57904c7f16f8bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 DefFunRecursive True Passed
54a4f81f191861eff9f11d14392b4c3f8cf13324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 DefFunRecursive False Passed
cda7549e8730b53855c1d0f54afb332a66198aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFunRecursive True Passed
a98076bcb2e207caade474b30d5fcc6325aa7068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFunRecursive False Passed
d18874d8120d75cea040fe3316d2ba9d37a85a22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive DefFunRecursive True Passed
822fb68c5f16571423adf12a100dc44e6ac9c302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive DefFunRecursive False Passed
999ccdea8d07ab4a51c648d1b041394658192d96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends DefFunRecursive True Passed
ce6c270cf9b0de8b982d2b824468f108e0902383 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends DefFunRecursive False Passed
447ea285d59cd0d6109c2933a79b00851fad7e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive True Passed
e181556a37ffad626c63cb4f40b3dd2c5b039282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive False Passed
44aad5fbc62b46d9ecd5246ea7e5d0ad8c1411aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFunRecursive True Passed
90cfbff77b75f43cdac0d481ea525e32b7f26f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable DefFunRecursive False Passed
59fdb03647ac2a7975e5aa2a834fc2c8dc883c52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFunRecursive True Passed
374ba3d22b6b43510274a9289f75bdf78eba207a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude DefFunRecursive False Passed
7bdcc1c39789b6afd48bdb926334a8e1c3892328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant DefFunRecursive True Passed
b8ab11e7692d8be2288c226db689d9658b38ca29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant DefFunRecursive False Passed
94abfa339afb6e9ebe48180d1d30fdd4e5d18e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFunRecursive True Passed
30766024d8cffa7e78696082a029480c50f5ed54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFunRecursive False Passed
04bc729607e96bad39cc82bf8cd85985621821cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance DefFunRecursive True Passed
958c90779691123a89c0ecc7f2bf2f84cab61cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance DefFunRecursive False Passed
2f0aa13422f7ba91680cb8002fb9bc69e844d39c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFunRecursive True Passed
4a84509c02d0ec7cb135c9c6d066b072fd66156b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFunRecursive False Passed
70447dadaea5d67a52959d640bc54751868279a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFunRecursive True Passed
50a8e6070f489cf578626b79536548b270e300ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFunRecursive False Passed
127227db08cfbf0d2bc5dccfc63b8f5598e43f6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFunRecursive True Passed
359c98cec904cb1647a131fe9c48fc67ba8abfaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith DefFunRecursive False Passed
15a348a5b08c14d312d874f4e37a6761ed1ade30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFunRecursive True Passed
9d153f9dc9f91e3317a6f928aefde98f3a1abca8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFunRecursive False Passed
922afec911b57c9619a2b823c6586644583d799c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive True Passed
bc33431632575e51bf9f69257c512d3a62a1a317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder DefFunRecursive False Passed
a7b061e47f15584f8fbc1e202ebfe381be2aee9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive True Passed
caa2a24de9495ce663e2c3154c5234383f725ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder DefFunRecursive False Passed
72d5f7621242aabb2971372bc35b8b92e23ac478 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive True Passed
250db848e871f906d008a73c0ddd211c227bc7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder DefFunRecursive False Passed
971980a70e009cd930b555bd1141372a395d4427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda DefFunRecursive True Passed
30d64e23f5d023a88e2df79b995357c93801204d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda DefFunRecursive False Passed
6bbaa32881e2a397eefc4635e57242795a082d0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFunRecursive True Passed
e792cfd1952bd9a494224c502126e96f31a41c85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFunRecursive False Passed
034690f3cba8a49660af31a8268bfcc968fb231e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFunRecursive True Passed
0595c17f35239e3c107c32d6f5c0799a16ae4c8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse DefFunRecursive False Passed
dc787a205c39b78144770ed5962f02dbba814fdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFunRecursive True Passed
20fff7a3e4168499daf4b3691656d63caac8e7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFunRecursive False Passed
da831d5a10f1f6d4ffdce3ddd4f7072c9e7e2b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFunRecursive True Passed
c6465cdfabdfb9de41723406ebb0359297bf49f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged DefFunRecursive False Passed
1ba1ab1064c02d96b9fcac8f3fae90897f57546a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFunRecursive True Passed
18ffe80769ca34207c09619a7b3e4cec86f3808f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun DefFunRecursive False Passed
1c6eb138ebb8ef145523ca52949cae074e1a67b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFunRecursive True Passed
8ea3aadf4704f386482075830d93459aa7ca51bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFunRecursive False Passed
e9d90b1107d361d37b8535aa6fca94ac17ba1861 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFunRecursive True Passed
0c7098bb3b33b5311067c61b4821bf083cd9b538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval DefFunRecursive False Passed
83bb3e9071e775ef48d2759c96ecdb8467bbb17b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFunRecursive True Passed
423f5070ae0d3c44b588cba52364af0954d69f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn DefFunRecursive False Passed
25b020c0043eeceff53bdf1379e3101519056cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFunRecursive True Passed
23b64e3c4421fc076f1e1df964457cbadb7172d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn DefFunRecursive False Passed
da21d6e007e2ee064e0f16e4cbaaa6b387cf5b8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFunRecursive True Passed
452620c550cad5d76586570121f8961de7e569ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend DefFunRecursive False Passed