Index

Tests by case feature Except2FunTuple; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9d85b3cb19934ca0e2af9b8a1209ec7a8212d986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple OneLineComment True Passed
719e5437074d9044ef8e4c215240bedbcb3ed844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple OneLineComment False Passed
62dfa99db807d8087abf5eabe959241f966e08f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple MultiLineComment True Passed
e9286c246981c567465dd223a069032320cb5877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple MultiLineComment False Passed
d1831600078dbf22d51368723024a6edf6f498e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Let True Passed
bc9f09428a02898afc93e85ce1c1cee061af0f9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Let False Passed
6e26a64aee3544287d534477ea5fe65848b58370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Choose True Passed
960927f1286c0e1a1c7cd31d18988c071e49b039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Choose False Passed
7b44cbb551dcb49815c1d167f0b764c442683a4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple FunApp True Passed
808a1d6529c5768bd5997618ef92760b11262a2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple FunApp False Passed
e70423892e6050fbc86bb7e76dc24fbd369c14a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Prime True Passed
dcb1a102f512a863a36324585fd68e10e40acc45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Prime False Passed
8edcace3ca939119d194d6e1c2de2abe2db109fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def0 True Passed
eeeca061b56acb9378d21b4725bce19259e4159a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def0 False Passed
6826b56158f3384903ee39a882df857a556b8856 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef0 True Passed
4ffebc37954994879e1ced758e64e80701984fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef0 False Passed
5b3f9c66b2015304d5250bedbdd596be1e1f77d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def1 True Passed
2fa82ed79fca6fc45e881ddd0d76fd81264da388 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def1 False Passed
249572133900ffc7df6d82e0851d66f6d18f77c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef1 True Passed
7af3d5cafceb84b683947fb78d93963c8bcffd08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef1 False Passed
e8f29ecb05fb43fb2df25ed2e07633aeff79c110 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def2 True Passed
f003732f36146d3afaf0f00c13f71bfb81fdd9f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def2 False Passed
716066792cc15625e6141aa2f7cd0546889d3729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef2 True Passed
25953203a663b3bf1b74fa0b5dc57e6da9de9db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef2 False Passed
02a5bd05f888bc60bb0203a25889b879c58349a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def1Recursive True Passed
ac85e52c1387fedc5fa4fefcb21a3ffc562161d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def1Recursive False Passed
a268431f2ddc46c00fd89e8f5c20c9afb0d645e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef1Recursive True Passed
6de03610580228bcbb4a028992553f8c1974dac5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple LetDef1Recursive False Passed
c2338c91d9228a6c5636e07aece272ef67b533ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Extends True Passed
a675dce401d538693ef7b24bcb13049f0b728118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Extends False Passed
06ba87142a82e81c10f975bb00fb969e340e1088 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ExtendsInDifferentFolder True Passed
4ae2a654f79f717e42efcd03bd434fdc924fe1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ExtendsInDifferentFolder False Passed
2fe2c9e555c54f699f2a76f94934b855580a85fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Variable True Passed
018760900ad88a189ff4580274eb9e9c9461b5e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Variable False Passed
94d8cd7feb550c8572d0fc8823d7ea7b0a22b85b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Constant True Passed
e5a0bb40443b47ff3eff985b0e308c6dc9c399f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Constant False Passed
4ed3ae93e29db0839fa3fd0e6eb2807db7e01df5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ConstantRank1 True Passed
9d3fa2c5ca4499c6002c9e8a915b5b9f9fe1dd5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple ConstantRank1 False Passed
24163da372329dcec44fba380c50547ae2daa47b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Instance True Passed
ec6dcc8f9a5efc6c38e1dbf40a0a18c7970225b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Instance False Passed
eeba3e06a6be1f1b3d56f3906d2dfda2d40b7e8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWith True Passed
6a80ae12a0132b549c310ae3ad1c796fe0900a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWith False Passed
9a8c09bfb10e6e162a6ce44f92719ea1ca77fbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamed True Passed
73e01586836822f027076293fdf52e349de78bfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamed False Passed
bc42653516f37ea62fa15a57eefdcf666623fbd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWith True Passed
43ac16028ed1e4d5cc80e8ce601facfe159c17e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWith False Passed
1fb9773f1297f68658abd12a9d2dd9aea3757afb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceInFolder True Passed
b6f6cb679cd302ea0b6756e8f27f8c1fe3f9b4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceInFolder False Passed
b2186d9abdbd72c2a8a2d4b36450da71310c8d58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWithInFolder True Passed
8c946a5c836233c97c212b8aecd68d019228e281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWithInFolder False Passed
b905171e949c09c403e0d836fcc9c4c05ff190bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedInFolder True Passed
1d39bcb29b965bcac8ce492f9592a66c98ca242b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedInFolder False Passed
2a861447826a64c7fd4b4660a4d1e01ef3cae1d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWithInFolder True Passed
99d4e0837807250717e57619b2be9f066c8361d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWithInFolder False Passed
4efddb6e6bb642d26aed3fc9b5c3fbb80c99ffa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfCond True Passed
1c57e5681ee5805c0cb90041578042efe50c4c02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfCond False Passed
bf0036d69e881816abb1babc3125d8be8238e921 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfThen True Passed
69e28aad9905f7be4a2dabcf88604623e6b50a69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfThen False Passed
d983dadfd67007c6fcdee9c87b5a4557d95bc312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfElse True Passed
6ee90e6bba504ac214ff3db2e2c6cc4730b28fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple IfElse False Passed
246b8c9f7fae566bc32c5003ee7626ec9e776170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple TlcEval True Passed
cb4ce133faffc5172134dce768e45d73ca91f618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple TlcEval False Passed
a6a70ae2055c5c45595d4b7c47266a3d1af6055d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple SeqHead True Passed
18a21653c89d40d2886cb3e50ccd164e07fa369d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple SeqHead False Passed