Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
30392021be3d88de48142d56788f386486ec39e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OneLineComment True Passed
db9ad4bafd2c96f140f5bd6fa40653e24fdc1d6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OneLineComment False Passed
cfb8d9ad285c86277413c227ccaa52bec9109e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume MultiLineComment True Passed
92fbb4a2a50db6302934c334d830f2d768794bed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume MultiLineComment False Passed
8fd0be10f97cc5bb1b4026a0185a264eba3e5cdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolTrue True Passed
2e8229208a790449a34f389ea72dcacb85fe698e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolTrue False Passed
bd9b675dce7b302b6a959426b26196134c2a740b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolFalse True Passed
005691a8f56e2330cf3b70458cf9edb2b06a9d0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BoolFalse False Passed
d4aef19851248c04abdfaa945ecac8bb81f5daed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume And True Passed
8ba14d6c5ebca56facbcc139255a2a1c566fd0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume And False Passed
eb7350f78567fe3970e9a46212cd4e9c9b1899b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume AndMultiLine True Passed
09ecd23ceec115646112d32ceca48568d7595bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume AndMultiLine False Passed
95ca7ca878b5d1131dc58bc2f6ec9e3ae1a7b198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Imply True Passed
fa6c7dadd107394fbfd95d40c8f47834587efcbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Imply False Passed
d79b6a2954ca7f2ce8229ad09a7cabe84af1eb45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Not True Passed
a17c7bcac93db23a10d37f03f2f8311136566a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Not False Passed
1424e7d39f21f2233921eb26a3ef1166af278ebb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Or True Passed
3da0408122d445f9edcf79983918dac9bd2e0569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Or False Passed
99dcaced8707cdcf6416e3069a4dd554f924d328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OrMultiLine True Passed
32177e17d1c1014a7abb71437ee9709d442f3c4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OrMultiLine False Passed
6afe6eb81205d2b611bb788ab2e266453c586505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Eq True Passed
a4a73b80fe05a478b1e291d551e090d83327804e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Eq False Passed
aecfec24382398d4ce22c27313b8fe1a837442ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Ne True Passed
5877638f26198c9155969f944e286c6a2781a86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Ne False Passed
85c104f38b37ddff94ff1ceccb47e240600765e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Let True Passed
3c1feb8100e2be50b8cf10bd004f0a8b4730a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Let False Passed
c53b8dec1a47c99f0abf42f2dbe3f42e07d4ac3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume In True Passed
b60e684da422388f2993265be56bafa1cbd9de0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume In False Passed
3e6a4584fa48fae77908bcc4ea29803e21cfbf0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NotIn True Passed
18b7db929de0e99fe8531ea2a263c42efcdc9032 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NotIn False Passed
a50730582d028829bcc39e1f825c60ac743e649e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Exists True Passed
96700963317b69218fad3f31e04e9f1361d79b22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Exists False Passed
5e939e2f966fea46e94ac3ad7a5c598b394285f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Forall True Passed
c6ec5d39708d9b0a59948ab05443d490beefe1c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Forall False Passed
ce6f155fd6c0fdca8b2f547f2711c2756ecd67e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Choose True Passed
36c335240c073b19d0c6c56bda8dcb4543c32262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Choose False Passed
a3cd3904cafd21b6329240ddfba302b9039bfdc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FunApp True Passed
631e5bfd1198c4a21e15bfcd52bae4f77313d08f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FunApp False Passed
4d95ec4c0f011123e4ff7e68131a0bdfd12830a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGt True Passed
ca79ffe6ccdfefa997a402de2832fe4917afaf9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGt False Passed
3b8ad1d90965112c9d2e9a287274d1b4ca87473b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGe True Passed
3d863722751cd01c7951588333bc895ed85edb1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumGe False Passed
9c11301b0f580f1cacf4c3b36191a9ec6b462e93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLt True Passed
8d88be0beddc73c4df88ddaeaed49c10e2266c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLt False Passed
425aad11fb2985c1502690167c5e68eb77782a3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLe True Passed
ac40a3059c68c4be4bda08b6ffc29a412c535e54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NumLe False Passed
5aa8f983bcf23c244ccac58d91d2edc6b053dc22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def0 True Passed
0a43ca413ee11a37ee582148345ec2b84a5c6513 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def0 False Passed
67cbf213dbdb1dedcbc1da23d4a63d615b3727c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef0 True Passed
7b7af3f8d89f0ae8f047793cebc40c36b38dba29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef0 False Passed
d870c390202c5368b25b75d16528284474b0d9cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def1 True Passed
d6e9318a2d806e0b68f365cf954548da03a9a865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def1 False Passed
5570bb6ae6f7bc053fd7420257b8b2e61f3e5a50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef1 True Passed
d74aee3bdcd0ad0f0a7da10deef10e6b057aaea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef1 False Passed
41c5708924d66a09a0e9509986db7cfe13ae1a8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def2 True Passed
92674403d034d1879ba832d5635dfeadf8ae409d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def2 False Passed
f20b52295f54259005f6aca7f71c664320ee48c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef2 True Passed
817f8ad96c2e99ee828a8ccc09a0cebd0f44dcaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef2 False Passed
15fcda125055522bcba4c857e1a1e62eae2a4ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def1Recursive True Passed
46dac9d76a5b99e12700dc6deb516b183ca2d40c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def1Recursive False Passed
8421e3de8863919e6a0d8efdc0eb87e99543dc53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef1Recursive True Passed
5070b5f5626d5173f5f5dae54d44e9e88075e4e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume LetDef1Recursive False Passed
4d16b928dbad6ccacd51d8f38e34b9299487922e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Extends True Passed
5f4f6fabf0fdad71a9dbeefbda28ed3e5cb3ce8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Extends False Passed
c564cece37e11126af64217f1852f3df8d269506 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ExtendsInDifferentFolder True Passed
7734ef2a4e25fff60a949ec751d8369a971d4408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ExtendsInDifferentFolder False Passed
193cee9f2e7cf5062821b20ac6337be1d4cb78d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Constant True Passed
15d28013c5ba42a70419f0e7359cf63d12b5e284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Constant False Passed
ec5fd00d5bbee3fae6e4e9d2bde471db846c0bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ConstantRank1 True Passed
60105f8d7fa5a32f3fd1d88c3ca50e80dac93337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume ConstantRank1 False Passed
4af4f2e219eb8d3a7d578f9842c5c2aa152143c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Instance True Passed
c82737127cca493482e0a2476bc5e0a01a437f11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Instance False Passed
dde9058b761fececd0a56c2dd047f58867d0efd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWith True Passed
49264e92b4ffa2faec8fcef97be2084905685d78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWith False Passed
1c4e88995fc2f54ea19a644cc568a038e1722c32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamed True Passed
d83a48abd9bd2d8a76d81245a761762fab488658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamed False Passed
1d0329f70569f25fc8d71009865064faca610a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWith True Passed
62f037b44c41a1f7c76e3bfb13293c69fc434fa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWith False Passed
91c86a6a2bd2fd4fd9b098baca3387c386281ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceInFolder True Passed
0b3d72d320a257404f8e356f0aa5d60d9de168df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceInFolder False Passed
56754fcf29f3468d42f3a4f6cb2cd1e181c4044d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWithInFolder True Passed
fca72b100a9280a82dbbdc1102df7281e7d15e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWithInFolder False Passed
904800660441131998c2cab458ffae7eab320a01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedInFolder True Passed
ac8374f38b09d81a006d764508fe5c6b9997688e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedInFolder False Passed
0f40fa56a2c6d937115067561f1c68671d4e748f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWithInFolder True Passed
232d399ec96a580e592e7052f5a6a2325d920596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWithInFolder False Passed
a915b7891ea13dfbde9e418010d12fd02418be41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SubsetEq True Passed
c923103a997581d3eab080dc333febc737301a93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SubsetEq False Passed
2a58be1f7fc0d2634dc0bc8738980cc4e9877ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfCond True Passed
3a2f4080909c75e113adfbc99a3f5edbb1eeefef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfCond False Passed
fd4b3754f0270bf06c9fede8c95688abff26a455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfThen True Passed
79887a86c64d37171416be34f2d018b66e123cbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfThen False Passed
bd799d13e15c001ac5b55fba4127bb630db80517 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfElse True Passed
878edb220c809f035d2de5c38b0c686ec8040de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume IfElse False Passed
8b93f42fba5082ae36ff3a263ec2383eb358c952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Equivalence True Passed
22ab3bc966f44f12fd33d711e7b1e84a98aa2934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Equivalence False Passed
bbe187cc643856a15c8f4dd6accf19fa59bf7584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume TlcEval True Passed
f70f1ce5373324ecdca0ec23ee3dd38bc11ed6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume TlcEval False Passed
1fff01c928ddda0e1ff2bd71d08cc2e3709de2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagBagIn True Passed
7243570b0a13e2bbf429a04d1b73b6129086d6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagBagIn False Passed
240a7475bcbfc55b7fc7575cdb10723a3dd5459b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagSubsetEqBag True Passed
1ee0d2dba6a5955684de81c3d2f7fc95b0e5a8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume BagSubsetEqBag False Passed
54d332852e700c59f9bd79076ad1d4a1ac021498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet True Passed
d056c344dece683a978b0abaace54c7f0a9594ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet False Passed
b7607b686c60d227a54dbd9b0c9410100700cd40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SeqHead True Passed
ca4f62ec3c4adfb6871024646aa8e28f09234c98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SeqHead False Passed