Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
93f442c47757465d37e221015c3d3c8a9314a88a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OneLineComment True Passed
18af7608f6522e54603b54f05abdb89cd96cb97f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OneLineComment False Passed
68f53c672a8a11db692ff0a9645f35b7cf059a0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not MultiLineComment True Passed
e975ec2e9c50111ad3d48d6bb3786621500e9ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not MultiLineComment False Passed
c7cc983fa1ca58df6e9d878a5c6dffb9929f2bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolTrue True Passed
3f16dcdcc9e8a39e7985e0f3a73901a64c301c17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolTrue False Passed
2da4102277aa87ab0f5cb0e896f4cb0d77a7b0f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolFalse True Passed
806b12e699698a99a69af8b71f2d533ac9985695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BoolFalse False Passed
40ad3fb4f777fc8b8a73f0c78a8c9909bd15dbc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not And True Passed
e00ca427c7d8deedeafa1b4c372290cfdde12678 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not And False Passed
a2378127ce7b874cac569efbdda80b619559a985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not AndMultiLine True Passed
9106305d80933d72dc22d2ba337cbb6f3afcd4b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not AndMultiLine False Passed
6b7093a5766069be95e1b5c10d40ff070a8ee047 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Imply True Passed
c8eae3102cad5cfb73fc570bbadb8a44cc72ea40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Imply False Passed
46681260b1d5f0151524466691a7e75cf26796ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Not True Passed
eda5bf04b3efc0976cc39f7e3f43483df27072c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Not False Passed
9b6c0887cfff3490f711556408308c9540415d4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Or True Passed
29adc9fc7f7047028d62ee1d481309ba1d260921 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Or False Passed
e8750850d1bff9875b27925dc07ef16c516e7d0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OrMultiLine True Passed
1d9e22db0bda494007c13df9715a2d755791ebab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OrMultiLine False Passed
6dd95ece3e14552377027b64c00d08a3b9a48f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Eq True Passed
ddefb7e4c7e3e0ca770b4e46d22caeb76940bb2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Eq False Passed
7cf5fdb9c793430c3b427c8d7708ee860b651809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Ne True Passed
5a8fcdb6dca2a3ffd7e23c413dd2a5e495583064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Ne False Passed
eed2400671f82d3b58a4c67a883c687c52dc0c19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Let True Passed
7aa7ecd671b778a7a8901eeaed3dcaffe44eca76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Let False Passed
e087c65ed1e2097f27bf7e0fb517465500ca1627 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not In True Passed
ddd3c6b7f7ece852fca3c6d4188438223895f4b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not In False Passed
85cec58715cfc12ae2b2769a481025530ed2f66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NotIn True Passed
0ed40e7b4a308cfc119867a46464deae83ecd7d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NotIn False Passed
e142e0e997f86f9519bb9c88aa874a6381968773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Exists True Passed
77161fabcf913b0cd48043d480666907f38ece8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Exists False Passed
310991777ff191103dadec3478e5894014400686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Forall True Passed
8b1ce209f3333a15e255e53f87b5da36ef552269 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Forall False Passed
abfc66334d20ead9da7797d885e5091b5249e7a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Choose True Passed
3e4469ac4f605947e606f45b094fe965fe7d10e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Choose False Passed
f6b7fd86bcabce7daa5e7b1dc98e612a13d9db71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FunApp True Passed
39083dd06f1098cc1a448754573b97082e74c30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FunApp False Passed
9dc002ed116f00c32013b183281e4342ffdb176a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Prime True Passed
328bb5a1fddd871a5e57cd5f6f45d26b2fbeb841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Prime False Passed
027736f0de4559c2dd77da8847368a120aee9f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGt True Passed
adaeaa7b01dbefcfcb918d1d7b520134ab7f42e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGt False Passed
ecbf7f1dbeeaa0b871dd86c4080862fc40d63633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGe True Passed
f352d401332f947cd93a03d805c69da957663cdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumGe False Passed
a879f8501e83b1b023a226198151be7b7d726d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLt True Passed
5c4113a0ff026cdfb9747a82cd5a27a0676dda80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLt False Passed
930c613d4e8594eb30a239150e08c1f0d98c2989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLe True Passed
bc3be36a331c192e52ec9c1115a8c13332227eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NumLe False Passed
407daa42e301065324e3252c51aa23835d54c1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def0 True Passed
0eab8efec190b3f54fb3923840b0f7ddedd9d912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def0 False Passed
c02102ea84504482c824691d4085fce756347750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef0 True Passed
aee827c81f56e278aba9ef2d48b21bf22ad66358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef0 False Passed
8afd5b437df0abbdf164315bec6840e2d579a0db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def1 True Passed
cbc011729a235b18a41d57e2bac980d1bd63c50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def1 False Passed
2455f9eb39b57dd2e70ed7bc6c4c6efd1de17624 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef1 True Passed
155b781d95157c502d889a10884b8df88b6580cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef1 False Passed
108103daa6782e24849aefc1bdeffa0c7cf4cc35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def2 True Passed
d794cb0ad85a1abce9b6413d3ee238e9ab87b012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def2 False Passed
3594edd6eea607b69ec59d8db5b8444545f56d44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef2 True Passed
fa0b5b33e2a96c18f41377b8ec7105ab571c8ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef2 False Passed
6cdce55571e1b82c7151cf9973256fd1c2590b10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def1Recursive True Passed
9256ce54343965d429b37f2822d0d3174ab5f68a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def1Recursive False Passed
cf72cd0aa67421c8cea828a8001ec45cddeef791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef1Recursive True Passed
a86a1e539dba6b54057d689b148ed5f5d2784f35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not LetDef1Recursive False Passed
533564f1dcc379f89bb60e3fe50e10fbb56db717 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Extends True Passed
ebe5c77f7dd8b84c3232a8fb1611291802d2ac79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Extends False Passed
05d640b4cdd1d6bd85aeb4a071cf7ec157ab5d50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ExtendsInDifferentFolder True Passed
eeab91a0e17d5212cc5bf94c797b3b6ae8a3f531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ExtendsInDifferentFolder False Passed
f75b7008e9d93529d956df43098bdb6877d008cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Variable True Passed
94207cb3d8040611a8e388de3ef5aaea2a174250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Variable False Passed
432b1673e7e1a1a339fb3a211311810a7358b266 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Constant True Passed
46816552ad625b0f3011e4d6d96879dab2126e3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Constant False Passed
4c5db19da29c84fde215a8fc8c2f2f010eec9cf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ConstantRank1 True Passed
9a1b33e5edc7882b929d1a1109b1b74ad14adcaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not ConstantRank1 False Passed
df576df8da75cd197c2a1ba33b81ab7f79019d0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Instance True Passed
a0c241a9fc335cfa038eeed7cd62c2efbcb9e1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Instance False Passed
8bea71d4a3d5fca8c4fbd45e1b4de3f269379a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWith True Passed
1822fd994cf5d01d8567f9268ba1b2862742a16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWith False Passed
fa16099d425a682280b363004354b3d702fdea68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamed True Passed
8ba986a27c852b93ff0c566ff2f5c543f159a48a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamed False Passed
083040819e6fd4c1c623045bdd6724ae9664cbff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWith True Passed
29df6f19df3347d7787eebc818870035a535e656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWith False Passed
2c3d0b81d5bd41f9e9abe9435a8861928b9a19ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceInFolder True Passed
336471d567b681a8770174a7c2910634378a73e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceInFolder False Passed
8535f88dadf3e8ac6322500ea2132b8eab9d4ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWithInFolder True Passed
6461f42b6e980923c225c3f7644c381e56b85ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWithInFolder False Passed
af2dd335e0811f215e39ed047e9bdb37aa1b6c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedInFolder True Passed
053b96249a34422bbd196a7bee30e712ccffe3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedInFolder False Passed
8a1d9fee81cc2ad28eee9fe5303b3c47657626da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWithInFolder True Passed
bc569a3023460fd21a7d5cab45d388dacd78017d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWithInFolder False Passed
a61d147c4703ab41fa1c0924c5eca6c209a28184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Enabled True Passed
fb384a849a05947da2c5d3826d973c3461ada15b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Enabled False Passed
f85b78f294f2505b7f1a8c3d59a665a425dacafe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SubsetEq True Passed
dcdc80855204b7b847c70633f6699e56e0747792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SubsetEq False Passed
1d7788578f8e2696da6679edb4fab11f9944ef37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfCond True Passed
53cfbd69e000dea62588f7f862e9510428d3cace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfCond False Passed
165098461882a13fdf5717ee4dfe8812c9c04864 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfThen True Passed
04ab5604ed441168c9846d36a01c934c43c4bf11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfThen False Passed
4c556f00f5887df721ab1ef27ec5f24c5f289881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfElse True Passed
2616b0fa5a0451925efa54cef738fb3234fa7756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not IfElse False Passed
b8146682d09dcfe6f3981f7aed66431fcb4a3cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Unchanged True Passed
655da88b807a84565ff9a05463e99da1b46e39c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Unchanged False Passed
4e6aa67eee729fd2822cc8eb1b07731eae549d25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Equivalence True Passed
08f4ce654e709a7630d4112bfa09ce795ef7b50b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Equivalence False Passed
e4b9072c6f6ef7944ca517d6ce3c5b3a92766a2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not TlcEval True Passed
649b24dcdbdb8789dfc0b2e824cfddaeeb10f38b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not TlcEval False Passed
19c3b321df111b07eb436aabbcfdd7eab94612cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagBagIn True Passed
ef55da1f1f88c9bfa9353801de25de8782dccfb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagBagIn False Passed
ce5db1e98a4deb482785b765eeeecfc8676211da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagSubsetEqBag True Passed
989a7eb9f3028848b87d906514e2f48a32737883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not BagSubsetEqBag False Passed
4d779633033e728d7edcb3901e70175fcb36218b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FiniteSetsIsFiniteSet True Passed
ccd01295936fb471994595d7f6b8b599490abb1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FiniteSetsIsFiniteSet False Passed
e7e0f6efba265ec7e0678d674d7749a7f62f4679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SeqHead True Passed
85dd7214db1dfadc97b5c4ce92be79bd2d984ffb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SeqHead False Passed