Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8492b442930aca91f8b3d7e71f2ea634056193e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe OneLineComment True Passed
dc6c8f1d2a69a7a073a67bf6b6415fe57614f0de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe OneLineComment False Passed
13c1fa745c086bee13c42614e0e722933dc71735 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe MultiLineComment True Passed
8edc5c7824b57bd1885f74015b7b142f40c9746c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe MultiLineComment False Passed
937ce6a70f11634d944c2c347d11b1852d5df7d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Let True Passed
d4c202b72792f2429bd98be3432ae07964b76623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Let False Passed
c34242d24ebbcca9f9adab28e0847aab9c5d7445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Choose True Passed
a3d4b2c619fcab03caf32e27b82bc82fa2815925 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Choose False Passed
7d7072241746513acf2f43e6e2150f9db6a107c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FunApp True Passed
31805627e69c01e369e96098785d3ab09765f2a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FunApp False Passed
ad2dc438a4124915f14ba0a37b4b2330d02fc3be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Prime True Passed
3931cd8e3deea5d025668f79504c201f92245fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Prime False Passed
5de09456ffa86c77edce5c10985e501576bb59d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumZero True Passed
6cc572d298d4e1f232a49802ed4deecba36daffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumZero False Passed
07eb59277a95d2b3e838072ce3d74732fb89cc02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumOne True Passed
2427fa7952c6cd23687819bcb1648a4f384b6282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumOne False Passed
2e6d58b37bf037e691c1bf1518fc990e7c1cdd11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMaxInt True Passed
e749346cb7ae2b5fbc8849aa7456592d91658292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMaxInt False Passed
ecf078829f1752475ed956752b42ef05c4fa6ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumUnaryMinus True Passed
92030a3f3ddd62c3255e693e6828d4045abd14d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumUnaryMinus False Passed
4d0fd33253970d0befb2d3c2acd07b012261363c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPlus True Passed
827ecf991122c94ca0d01a21b36b10c004280f28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPlus False Passed
89af3aa1d3a67bc67721ce8febd3c536e0eb2908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMinus True Passed
4e2ed171bd033cca578a45b3a33cc8ce925e4f57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMinus False Passed
bd6f55fd32228f4fefcfc1a2329143ae6737ec7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMul True Passed
67ee94cf0d97904a786d900c8945bcb5c04eee97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMul False Passed
e50782ff9d4cc4b40ae9e12e82c25170a70aaba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumDiv True Passed
e35885c92c6e9d458cdff560eb5b11313c1138e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumDiv False Passed
0f2c9a07e72b76bdf89b41a4d2dc1e8800a7f910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMod True Passed
735040054fa01e551e46df9c6be04875d1311d57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumMod False Passed
17d587993f393f189fc534480c12768b257b7539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPow True Passed
1332a4f445bf4df36790af5e37515ebea0ced99f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumPow False Passed
376fa3dff5f327fc627b207bfbc246285b71859f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def0 True Passed
462e6229bba2d8c0e2035c8881560b575258fab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def0 False Passed
0e6498c2378716c298bf9e9ab66575a70d55ad25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef0 True Passed
a56006b96bdc6e4267e3de1b7763237d35a94c1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef0 False Passed
4d56cfb0c4e99644ed7458e09788c92cea308e84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def1 True Passed
44f41e7d6e1f435ab63f7ba4446c440e8ff3fe57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def1 False Passed
eafb7b6b8b255981810645d24c55ebcca970c219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef1 True Passed
32a5c4714db715a7ed5939e99e92aa7a945e0e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef1 False Passed
dbf044169e6057750947e6289413d926dcdab1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def2 True Passed
7e191ee49c264cdc6f65267a120271597323ebe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def2 False Passed
75742a4f81ddaf589c486d73b43c95b255257bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef2 True Passed
86485eb35d7589ce3d104d6251fbdb9cf2e4e121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef2 False Passed
4018ebb625235f2689aebbe6ed27226f1e8b0ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def1Recursive True Passed
3d54cd4899489d5e72bc80c05fd07b7da34cb3d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def1Recursive False Passed
f1a971fdd5c05c41c55187e3f77f1bec5bd2bd22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef1Recursive True Passed
11f8d2098a3677840de84bd86ff629fdc169d5ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe LetDef1Recursive False Passed
2c352280a1813f1d15fa5d8a10479cd4e43725f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Extends True Passed
171f42471eb9db60f418011657585fdfbd37b3ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Extends False Passed
f4626d17b86b4ca31109bde031a0a83681212cbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ExtendsInDifferentFolder True Passed
ed1dd0dab7d23b76637354f125c908f8851619bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ExtendsInDifferentFolder False Passed
62bf866a70d4cdaac4877e3f6f06e19ceb98e905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Variable True Passed
c0488e3e8aed41b31e3fb8430b286fa634fcf0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Variable False Passed
e695b9992933110351a3c60cdfc07c5f014a0836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Constant True Passed
c6bd6e4959b36ea5213baf93fce5452b7728dc49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Constant False Passed
3d66878ba5017dceede99ba4462b61046d990710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ConstantRank1 True Passed
c20dae0cde399656e7e68c7eeea2737bade8c7cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe ConstantRank1 False Passed
708e4888eb29ac51fc158479d344ded2ac325fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Instance True Passed
22bb61ba161779e78d0b4eefe4961217646432ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Instance False Passed
aa71e0b575df8b245d81613c449364f51731d491 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWith True Passed
6b464295d186a7555b8e4ca83cfdd75fa5ce1aac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWith False Passed
5ee2c9c62911b2177a620b135db68ae13aef8eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamed True Passed
4694cdd6ced43fb30911ed7f9bc58ff983ba2a7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamed False Passed
dde936b087403a6cab107ea3ae93d48786adeb75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWith True Passed
227877065edc75a5e55761cab8041dbf1c5c3b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWith False Passed
730906ef73e4d130f430397b580733ddee5581ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceInFolder True Passed
644894f19536f2aa1ffc631efe4a31675d73b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceInFolder False Passed
da6114d79f6fcf7d8e97b7f37de6d85e8fd27e6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWithInFolder True Passed
68df8f57d708471422d003cfe52ca7a146d219c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWithInFolder False Passed
80d207df2df68caf1a34a666188124e3cca95f7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedInFolder True Passed
777e8727d4d2fd676cc190db0ee70f06327252e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedInFolder False Passed
667ea0d06b650b8b63c77e0552a073332be05179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWithInFolder True Passed
d8c21f38be4131630722ff1515b3e3f02b04f3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWithInFolder False Passed
0f038868778377010866e96c93f64a4ccc2d9be9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfCond True Passed
022659ab4dbb08ddbc093e9c707284fd267afc04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfCond False Passed
c5204b47ff27c44d925306b405de8f9ef1412d04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfThen True Passed
3b29f13437c0267394be13d7323dd089e4b4eb5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfThen False Passed
620c27985dc172d2cee8164d39a3d02c25bf9acb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfElse True Passed
3c295c195cd68f7eabf845f655df3c78f59d6733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe IfElse False Passed
304e8182e9f94340136c77f2f752ea17e77af558 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqLen True Passed
09214e8d3858c6ea2d79719512c2d310c24ca939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqLen False Passed
1e88299e9e25bb035600807cb27951ab911b0572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe TlcEval True Passed
cc06e28d14d1a947cd6514472b758786ede56611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe TlcEval False Passed
12e935a58b3b193ac25753255132e16b8136220e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagCopiesIn True Passed
ce3c4729c69c6533e9a2739e7043846d6c86367c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagCopiesIn False Passed
552467276b48f816399512d4543e357481351edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagBagCardinality True Passed
72fc0e14254f98949fb16e52818489f50c1d9a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe BagBagCardinality False Passed
90e2fdbbbef044796b43a13f58880479a155a3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FiniteSetsCardinality True Passed
d076ef7c8566952a7b4438df898f49d953215dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FiniteSetsCardinality False Passed
d133dfbeeedcd124cd62adcaf263c172c424cd5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqHead True Passed
f812f9c3731e12f55f442ee16fb51bb2f61246d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqHead False Passed