Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6a27ad19dc4dbdf13040c3a0867f46d7a514f995 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OneLineComment True Passed
756862d59163bd60484e121d63a4f7f357fe95d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OneLineComment False Passed
cbf8b6e84e62565f41d60d1d0d890bd3690a9284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or MultiLineComment True Passed
4e1455f1d6b89f6916c323e2bc1a1903d54fcd38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or MultiLineComment False Passed
9f09c3219c96a064653842c3d4bf471e16430abe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolTrue True Passed
2fb574df686fa65a987337c1d5cb3d1e6800c958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolTrue False Passed
b53e14de037aae505dd7def500b7fad91f58ff8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolFalse True Passed
b7bd248ff61621a30abd3b9743d0b1b0005f6655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BoolFalse False Passed
9dad9ec83abc01753237b3f21bfd75a561708317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or And True Passed
25e0e4820299df7bb6bdbf355116602fdd92e66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or And False Passed
0b33ed14dd6521797b400b6cedc5b7dcc03bbe8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or AndMultiLine True Passed
10c9f4c890996536fd6a97987a30f694f448fa57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or AndMultiLine False Passed
a7bc85ae13b497405c298fe32a6a0ab49e7bc4be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Imply True Passed
8123998320f907f96b53aafacae41786486fbdf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Imply False Passed
5b7f52c0fe5086f551a9304b8fe7c40f2bd21689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Not True Passed
c6abdd7d1e314a458fedbb3da98699094815845b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Not False Passed
c840b20897f77ffccfade6dda04e89f44f1d45dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Or True Passed
b9dddec44deb8b2945c3b1041f1197892f640a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Or False Passed
e526f3b97ec9979a8e9db120e6dddf2b41e71866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OrMultiLine True Passed
ef62fdf47f3b757166396086d3c2c89480543c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OrMultiLine False Passed
a3a4aca1e44590a2415e180a5679a51ad3a9384f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Eq True Passed
1ffc3865acdfc3f60ddea635e008deadf6f85e0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Eq False Passed
2c0eb70c9308602843b59656ca79cfc821fe8851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Ne True Passed
25e0df2a8ad20feee6adaa3318cee17b9f8a97c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Ne False Passed
e589d4fe0e3ee9fffee0eee85b54c2da16adba77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Let True Passed
49b24144df955e1d4008a4f890e2fbe571364770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Let False Passed
26c75a9ecf5519f50d7b3c18986cc787fe506efa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or In True Passed
23ba42066bf0491e746984c5c9e0f4195b403f8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or In False Passed
4d7c23cab0a7983013c6694e50c5f1f724a85bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NotIn True Passed
8a52844ba27ef25adf2c17499735cadd1a516103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NotIn False Passed
f0f7dcf00784581a97cde18452b8d237483c789d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Exists True Passed
b7797db624074478877a2648a09f0636bdd216d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Exists False Passed
3330f014d52fbdad43f0322e0b275dae0457e2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Forall True Passed
c684ae5bcf55566ca97f1022cafbb9de519a0a9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Forall False Passed
c009ccb83b4ec32e63da5387c8cdb54f950435c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Choose True Passed
bcb7f7bfd8d016a464749ea4d74e3885e62e2742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Choose False Passed
0f0ec3d17761aaa3f45bf1b2260119a30c583078 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FunApp True Passed
c17a6759861e99ac51de7b1adaeeb2aaa8813b8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FunApp False Passed
2d8b4b581027c5a354788a0758140ceee67418fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Prime True Passed
347f8d1850d940980fe0382cbfe13cbcd948c62e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Prime False Passed
87f4cba570eb26c34d4d3496ebb69ad9bc176942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGt True Passed
b5c65f6ef714ea93039be1abcf1058ade1b96bcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGt False Passed
adea7024c8a4e122c3042f2ac86a85cd2beb95f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGe True Passed
a1d720ce6bcb4d48458222ff8fc7cdcc0e681d97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumGe False Passed
8f81069df6d89658fa83d6726a9800029f177f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLt True Passed
1332a68af12d5c58fb1e821590e5b82e7efeb3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLt False Passed
53c63d6c575a14332fa26008c8c31f32afa6b4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLe True Passed
b6aee49cf9b057f5f9337602a82b317fc27ad5b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NumLe False Passed
4e27bf9e1107f863794eed1f4c5579346b4cb96d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def0 True Passed
c9ef53907e14a41c630404610d4f3d9d5318df0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def0 False Passed
5bacf4298d52d3c623024ed38e20ac5b62ba4c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef0 True Passed
5d7c405e21a818fd68eae0d6b95e803ac06e85c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef0 False Passed
4c61329339d3e5fd70af32dd4984786e43f74ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def1 True Passed
b1a74ef7a402e6e2ebee2a80919a5cb6cfe67b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def1 False Passed
24e3b9fe3d2f414404a69090b4fae8e277c6a0bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef1 True Passed
67a9a625e02e533e7251f7906ed6984e52b45b2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef1 False Passed
77f589ccfd668c91183e7f3b6e40a171ecc2ba81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def2 True Passed
ba95ec1ef6c10bac1e75efe94a40878fa55831a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def2 False Passed
8f2d4b95d8f0c33172429fb3ec39afb30722c3c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef2 True Passed
f3eb0e82b0e88a5eb4057f2b74df518fd4c5bdb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef2 False Passed
71997c7b74b1c5996264fa753f762901778e2b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def1Recursive True Passed
ed0ee3a98fa9a689c6d79374b895bbb7ba0ae5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def1Recursive False Passed
0ea996abe39d8640835eecb3935d5e5b22c2d7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef1Recursive True Passed
f9dbb4b7cb6783b60fc6b5f6c3eff6f9cfe6eef9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or LetDef1Recursive False Passed
41036f63f04e459c4ebec15558a982b987e8f28b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Extends True Passed
b41f0e59e18ced8f84150979692c0d61e23bff5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Extends False Passed
e836744997b06c93c30e2238f83483c8e6c33210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ExtendsInDifferentFolder True Passed
7b624bef9bdee8ff50aeaeb9b621d85e7176596c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ExtendsInDifferentFolder False Passed
75cdb917b2958ca51403ba1cfd9a2dcce558b006 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Variable True Passed
1f54e17ff30ecd4020398f241e3daff7dd05bb48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Variable False Passed
038fc2196150247357e63f402e3a2b41b4b0ea5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Constant True Passed
74e5a31f30ad1ad7a8ffcb525d843f2b747b3615 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Constant False Passed
98f1382ef6898746ba5376d38f79068b05ce1959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ConstantRank1 True Passed
59de296668b644925b639e39c033f6fa1b7e8523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or ConstantRank1 False Passed
6770b924521aee7b921cc85d996cfbc697839045 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Instance True Passed
d22128f674b21976727b939b5143c211cdd855a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Instance False Passed
a081b6779bea60896263d3268c7eb7aa40c1fd28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWith True Passed
77d18408ba5a9b27a0db7d9e2ac809fcd1263eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWith False Passed
40e44ec29c80e696849d1d59f08441d803dd24d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamed True Passed
7c37836d6986f9f866697c887bf8e41adf43ad19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamed False Passed
ece95e4ac05ec7ffae2a32c814339c9058ee07de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWith True Passed
4ad6395cf65444725160f57c0be2e872e97bc1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWith False Passed
32ebdc3b86903eac7b4af54dd2f85377cee049ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceInFolder True Passed
dcee9471c170fccf42025752a5e757236d978e79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceInFolder False Passed
7d6caa73c0774927ec881e3619c5e562519d2025 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWithInFolder True Passed
89b745a2417c21fd85274fc3c9ff97128f01a833 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWithInFolder False Passed
1401a839f7cf0acee35fffece1ed7b8dce2b63bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedInFolder True Passed
190cd39776be1318eff0a1998abf4c58832fc7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedInFolder False Passed
9f5a1c71b3bd548dec677622e9bf714436301fe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWithInFolder True Passed
57e70f619e30c497eb4a622a820c9f834b49d648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWithInFolder False Passed
6f33b9d557cb58df9db83c8214e1157a551991ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Enabled True Passed
d27868d5c18d7264b57b6a88cda56ce35264bb53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Enabled False Passed
b62747fb0fe8b32febe45f2a418ad8cb27b46e98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SubsetEq True Passed
a918f458f0754ef1132471b7c28aecec37598def TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SubsetEq False Passed
0de9ad3b5777a11e55fb3071bb6689d6b1b9aa52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfCond True Passed
66c4d4076cc7492515516501f5a60acb83f86d98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfCond False Passed
90a788b90fb9ff850c436a998cff724fa609ac43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfThen True Passed
ee9b615096567313e0ed476739358469af656ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfThen False Passed
2613ece932b24eeda8ff0ca93caafe5b29f4fbcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfElse True Passed
dc27631ab267b17e6388842b32961f05a7f96c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or IfElse False Passed
8a0eb00fc955aab0dbe1080e4da1ab945923249e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Unchanged True Passed
f593b6a02924450c5f0984f159da299a028c55ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Unchanged False Passed
29f1bdbddb7951b38e3dea91e4da4dfcc32a1bcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Equivalence True Passed
d86b853ba52280092c297727763af4e29f4c654b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Equivalence False Passed
6168b6c55a00e13fb7d0b40f17ed92d1d3eebdec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or TlcEval True Passed
243bf9f1c21813557e9d5d8e9bf47a54571e45b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or TlcEval False Passed
661afac1f61b744dfeeb6ff04b631f63743770be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagBagIn True Passed
fbe5069d7484176873edfdb6c0ed43b05d941863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagBagIn False Passed
945e9a8e1319561b5699576489632987aee9489b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagSubsetEqBag True Passed
ae5e03fd59e096a3a335b01987a52115a5d6f72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or BagSubsetEqBag False Passed
637f148336abcf21bb2f5f785db1a73ce79cca97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FiniteSetsIsFiniteSet True Passed
9008b0e1371d378ee7eca08724c050b60e017f54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FiniteSetsIsFiniteSet False Passed
4ea05a6c44d59ac44422f407e8b220843ba6c127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SeqHead True Passed
f90296fed78a0f330fa451208d229d2c15b9b695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SeqHead False Passed