Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6c93582e64abaabb7dfafb3c8b60b7961fe7e75b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt OneLineComment True Passed
3e3051f7cd3128f0e48f33c418b86341d04526df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt OneLineComment False Passed
c8a9656f9f93fd7888c2950a7d9e40088b2dd97f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt MultiLineComment True Passed
00141e4c2b1df34e3e7d2e1a2657fcffcef7661b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt MultiLineComment False Passed
6ba1152c1895486fedae1c08573b55234c21719f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Let True Passed
0e7c691322bb6911a8f0529f2c71f88e0e6574a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Let False Passed
77ab4c214f3acc7dd570e23599428c99e4fa89c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Choose True Passed
b00f418c69a4b1b326bef05bed4f2e667bee6859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Choose False Passed
16865132ed7484a2a22aafe2a9622b32ad43d5a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FunApp True Passed
a61d4af50aed8775a845372c2233609ad668a713 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FunApp False Passed
d79040aa0dcfc7501c26f763283e63103e271ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Prime True Passed
d1bd14f994a0c409d7e09167adce20db15c1b3c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Prime False Passed
679c3602823c1e4fce5ec6dc536a40ce49d43acc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumZero True Passed
ad3075827b665bb54d3bc4147cf4f970d7a01c2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumZero False Passed
29018e8e40963cc25a09469770230dd107073b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumOne True Passed
8c7aeb1cf3c23b8574e65077f67b9d203b5977dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumOne False Passed
9d77a849cd2f14198abdee206928f00d82c2f485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMaxInt True Passed
80165f405ff147d9020414a3ec117236eef7d20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMaxInt False Passed
563ef2a25e1b97d2b1ca751bbc1871e232503455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumUnaryMinus True Passed
bf19cff8068c734498f5c603d0b357a62ed71de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumUnaryMinus False Passed
8ef9ade4b2c9c13357a41507008d47d39e355284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPlus True Passed
073d345ab955107d535c5c9a0890a94814f3d045 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPlus False Passed
d03376d3f73f3ba4f3d64f91c0ea4bcd792caa03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMinus True Passed
a3a7584878b542218e5cf779b443b79ccd2fb123 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMinus False Passed
fb164f69971b50d29c368df78ed58ad10eab8fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMul True Passed
a9799c7ff0d5c4fff6c9b16c92d3a2589bbf4598 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMul False Passed
93d153a9fd75349bc68d957e40f7de288995b121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumDiv True Passed
fbaa98c8fe111a18ff3376e2b9bcd9a54d1e1ad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumDiv False Passed
fa07f095c2696e6819800cbda8ff6b0699296d59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMod True Passed
9362c12a52eabeb012d8c07bdfb32f2809d0076e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumMod False Passed
39c81d249093479e7746abe6ca41d8651d477085 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPow True Passed
56b9c25e08c1910b5c11d3bc49f6968f9bd34cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumPow False Passed
c7b67007798eb5ff2e8cee1644336a80f1f73b81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def0 True Passed
e44c8900d37c39683db060a41513210d1a9487a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def0 False Passed
2523c3b9f95aeec58c2018572b8ab4e26d5eed77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef0 True Passed
4e04388c5d6e0218df216280f84ca8643fc5bc97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef0 False Passed
a3af3a13bbb0d1403eb38ac8c1c560ee6c63e50c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def1 True Passed
130b8a0d91b743018d8ab9bc8aafab98bd89a772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def1 False Passed
88ae0c59871d5ca45e35883890d90ce31a3d405d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef1 True Passed
63b8663d4c4de14a4bc3cdf2f175d54688525dbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef1 False Passed
25134640f43ccaf379d2fdcc462de96b4eeb045c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def2 True Passed
9f7037be3973cac29170ab2f9f87b0839e28665e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def2 False Passed
b91784cf4ccb7cbb22b9db2b45184074329fa3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef2 True Passed
ea4ddba86a3e4dd83b0e7813fc7dfc0e4af9ff76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef2 False Passed
d88bb742a9e5b5eebb7d3216312df7bd9c3d1187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def1Recursive True Passed
cfb7e9daf419c2c5e617eaafb0899e9b16b2595c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def1Recursive False Passed
95d3c135854bc00949cee3f53f89f7ce0901253c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef1Recursive True Passed
ee9672f23722e8671a044bc26b061ced59a1b703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt LetDef1Recursive False Passed
4b61d741ef647e4d65a3f1715a5f3c4a17dddccd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Extends True Passed
7fadeb1b67afdf4d79fecd8169eb28facb804757 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Extends False Passed
d862827c610a9956d54bbc94700e890e60d87b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ExtendsInDifferentFolder True Passed
dbf8143054af2676a836adfda562b0178a0039de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ExtendsInDifferentFolder False Passed
90bb6bac2aabab3733ce37eea72da56f05ad923a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Variable True Passed
4a31c5e5ed1c563c8969c225daad6925e76977f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Variable False Passed
3831b1317f442ad288cc77627751d899d84028db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Constant True Passed
a751938a1f7d63c2fc6b0dd2cb5b829bce5800ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Constant False Passed
6ebae745cf369bc0b1a2e75fb6c10b0e51cfddfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ConstantRank1 True Passed
187f0a165ef6a2c977d309e4bf31cfe3a667ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt ConstantRank1 False Passed
1b874f00bbda99124291f4f2a1a9810d4a7bdd11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Instance True Passed
eb971a3d842751269f35b272fcca8469fd38026f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Instance False Passed
717618b7df07f44f29daa35281ddea1f2310ff6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWith True Passed
3b40c7f437dfe6b56c6ac19816f397ec745d9884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWith False Passed
b90fcc52a86890deca182833a7c8bd1caefed236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamed True Passed
1e3afe4f385a84ebd86ce657e5d545af54cc5576 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamed False Passed
c4bb094d0314843191082be464e6aae6d770c8bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWith True Passed
3d0f7608ccf9dbc68d77020c6d9605b2b369722c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWith False Passed
7c12ec12fa8cb221b111238cb532d3c0e4ccc6b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceInFolder True Passed
fe0b58212f667115690973c35a441911082d1169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceInFolder False Passed
9bc86c28ad8db0eac60ef9ac0c1430d39aaf5f16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWithInFolder True Passed
a34a7d91ff5f6203d8b94cf3abb50ed6af86c9e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWithInFolder False Passed
8e3044fb5e5e35b4bfe12ec18dc8f5d0534a8345 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedInFolder True Passed
1e29b02bfda30d624f049cc948c3887828c0868c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedInFolder False Passed
4b63f2d9978e6036bcae5da1a950ef009aa11aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWithInFolder True Passed
d1f3ac1c53328fa239b57e1c14ea65e2cc3bdbf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWithInFolder False Passed
994f1806d1f6bdf73431efce4872e0798e2e4ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfCond True Passed
9717a5a2504455a7eaf65adfdf2903cb37ff1cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfCond False Passed
a5c2d2d9d00514a5fe2e62d76be17a666fe58492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfThen True Passed
73c3ec7ea09ebdc7982b2412e636cb0f0ea913f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfThen False Passed
7ac976066673f3f321161037a1aeca57c92e7839 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfElse True Passed
e4d5c20f266fb5ffa636ed017bd999dd471d23cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt IfElse False Passed
08d21f9bf596bc9457ca8d722f24a364c4122fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqLen True Passed
22a04d6b4d6737fe2502bc925d466ad390186d18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqLen False Passed
f283c3c5934273d3dc88f208c023ed27081ee4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt TlcEval True Passed
00b59a047fb0163d979a00cfba1bda43a2365a2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt TlcEval False Passed
26367999b38ed5c6151e35d6384da151e1dda357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagCopiesIn True Passed
3cbf47ca72fd7adcda8c8224f2a0095e696b3479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagCopiesIn False Passed
144a1826c77e62fe2bda0705cea106450904b087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagBagCardinality True Passed
f39891ab046ccd053749e84586855bb8824e632f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt BagBagCardinality False Passed
4ff8b702753fd93a3da762e019dc7983bb6b0e63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FiniteSetsCardinality True Passed
a27771f91c90a903cd3f8cb8c7f35fbbfc05e787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FiniteSetsCardinality False Passed
713528a9dd4776ce3771d81cff48a4e22405c219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqHead True Passed
fa4eae34e1a82b8a1299450e9092da92a1720ecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqHead False Passed