Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fb0cb80fa6f2b4c72a574371c2f367fd7ca54052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OneLineComment True Passed
a56b227868adbdbd020be738616bca7543a17469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OneLineComment False Passed
7524ecf6805c8171bd24c375b2872a61d3bac392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or MultiLineComment True Passed
3863ce666fcdbeb29b8c1f1b6649c28dd888602b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or MultiLineComment False Passed
217890d96703f1886ebd28f064a187874373393f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolTrue True Passed
f01d90bd0339f1803fc1de190338fe9b9f380dbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolTrue False Passed
feafaf6bdf983aee4a4b141aa76bb3b6dd5d6129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolFalse True Passed
3b20247d3437fcbcd9c573b0e26ece90e1284bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BoolFalse False Passed
63428453e7a359e49dee77c59f7ee34c10d0817e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or And True Passed
fe01251167153132809253530368d4bcf39a0300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or And False Passed
a8393b357d9d37ff133aeda63c453a39d153d575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or AndMultiLine True Passed
8473fea9d11fc2bd9385c49d52ed1c90bd15d94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or AndMultiLine False Passed
f938d45a030b1841339e3c71b5bc9bbbd97b67e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Imply True Passed
3e9336e2e37a0083d274fef8eb9b42330c09d08f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Imply False Passed
66ecbf540fb63c91f750f90de69c3c6f7a0b60db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Not True Passed
ba0af8b14b0b8d4003a7d7be6b6870bdf4fe8609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Not False Passed
48570b6669797403b5ea04b9b510b84aa3e217b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Or True Passed
a2a5a00b4e8610472c67d7575fe5921cb0974ff5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Or False Passed
6dc4833b06cfc5bb47d102309b272dd864206c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OrMultiLine True Passed
a9ccb1684e61c88686951856c61401e6f6a158fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OrMultiLine False Passed
ab1b05f23943033305b1426bfe42f62d7e80a3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Eq True Passed
3715d26e900a890457e95523f902a958c8ec5d83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Eq False Passed
46285e6e9f4020ed44de435912eafda40b460ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Ne True Passed
6e29e38adb9d080de0c0d7077c08e49bfdfb00ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Ne False Passed
9caeb55fad87a12a28bbe99c23246f45a7e3a08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Let True Passed
5a76019cc680bb24342d653b0a994f3fd05db33a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Let False Passed
b73d0e28082227ec3b253b7c2c4cb5ff392a9c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or In True Passed
20b0046c7b2525195b31e77acea262054a602726 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or In False Passed
0ed32689d78346918a320bcd74a9dbce6c9fdf6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NotIn True Passed
4c6e97c5f450eb5140d53a2638a1dc9675dbbe73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NotIn False Passed
482de5baac5e7aa482f5891197493267600a60ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Exists True Passed
4538c533ffd2c585bcabd104ee66ccd626c803c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Exists False Passed
035e58997625d94f375391c90ce2e13c59cbbc3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Forall True Passed
5248d295c4b0b7b3c6319df97d1d549aa30e2e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Forall False Passed
f14c1726c1b2a785f550ed956c6281ebb9cd19b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Choose True Passed
8fff18367d51b1d857830616c881cddde64f7bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Choose False Passed
7ef6713b8de226fc3984114d132b5c302dd877fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FunApp True Passed
298ddbab5771c11ead59019184585384edf14344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FunApp False Passed
add2d234b47640d476d61db4781fbd9e8f55b49d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Prime True Passed
267f2826b830ca28335007c708b4e6bea8245050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Prime False Passed
0b0256cfaed80faf707a28fd37ec30af7ba86490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGt True Passed
e45aa1e6788d4b04fef6a792e343d91e2c384fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGt False Passed
be9e28bd9d16cb32333b35438cff94a3c9fd43b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGe True Passed
79d74f972a6bc886f3face67daede163f7f5ba00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGe False Passed
1f898268212890fdc7c2aba1f99a5e38d10478de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLt True Passed
41eefd732c352f73c12c20ff31be26022afda1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLt False Passed
3ba6e84ec338e62a3106a0c2b543f6088307f4a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLe True Passed
559cbd6f1af4de72c34b188728008c7ab6700b62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumLe False Passed
5813758f8a0ab358b61e70f3ee1fcece39f60d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def0 True Passed
efecd6b002b33d977aae57f97eb87d54ba395dca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def0 False Passed
5bc6c6509c875eebeb28831aedef751a98eff144 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef0 True Passed
1b2dc14f6e7baf90119c8eb0e3c4b4ee69a62600 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef0 False Passed
418d5d3194d55618754d0b547eab4b86bad55edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1 True Passed
740d82e5378fce5f6ddae9f1f89837f5203f8224 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1 False Passed
bcdbfe76a50fe3592cf842498bfd1abe67bd25ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef1 True Passed
78128b4072063bf376d1f2f2b5105cff49ad0d83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef1 False Passed
4ef0701c75f7ca8279af1eda496eb0cc03dba324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def2 True Passed
dc658c4a6282d53c623ed9e8ecb40fe97a251741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def2 False Passed
1867c9d9345a36a95eadf4934399e46e602b2f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef2 True Passed
2a0ff9ba71882d21e36262c886745d4ad1c8c388 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef2 False Passed
24c09a0046d0b6808fb129c7a2d82bc1464183ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1Recursive True Passed
62451e545376e56528169e4faf5f9778fb9a47cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1Recursive False Passed
9e359ebe44e05067b78f4ca3c843cb0f840c7a84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef1Recursive True Passed
a65c9aea79a6719f93899d391dde48f095be219c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or LetDef1Recursive False Passed
ede4c8df3eee38a9b12958e91478b29b64ae54b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Extends True Passed
d9e189d13aee5b35d38eea08e93d3ab3b70115b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Extends False Passed
37603d79ffee1a8db8a4d713d520eafea5561dbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ExtendsInDifferentFolder True Passed
8fe5959a378a3a0714ffd1c79b40200eb7126fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ExtendsInDifferentFolder False Passed
c7c0223ee329405a9e3b46173b882b88075a09a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Variable True Passed
6b6910319b5bb3980befce2e0f29f7a14257ed1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Variable False Passed
21b2fe9c8f82df2a65829a526e2c1ffb12c5aae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Constant True Passed
d6cfd2d8a0dc710a9ec792c763e375d7b0c59cfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Constant False Passed
dd39e73d39d446a6809a962f97f6f816be6281d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ConstantRank1 True Passed
4a4e0f434f00b0e95cc193072fbe72a5d4340907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ConstantRank1 False Passed
f9aaf994858872e8215a2aa98a71795222a75dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Instance True Passed
c6b637b8fb8e0e11e07a130cc04df77f61e66d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Instance False Passed
2b6a4a8c51029e2d42e5e23dc5028040ba21ca27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWith True Passed
5a8ec194f8685edf73334b62b2f8b7870e836b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWith False Passed
cad06429ed1a93268a07b693253a7df95ead236f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamed True Passed
6a77be1508bf91d0438ed8fae6cb53bdc5a3f17a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamed False Passed
d537ae790089da48df8eec2c38d9bf8e043a564c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWith True Passed
3191ed7f06ebbad9d48c72ab899825685254f43e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWith False Passed
f7aadcdaf8101beb1361996478363e9b0c988af0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceInFolder True Passed
14a764f3d4bf5779931ef3165c45223f21a3350c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceInFolder False Passed
19e630c2d1482b0c47614e7d5ca302fccc871ec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWithInFolder True Passed
c348ecbc41b425f660dfa5fb2f2a1d9939d55d91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceWithInFolder False Passed
5028cb8aed735ee3b0d83575964cc8e58cb9f734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedInFolder True Passed
6483e23314eba7e936ebdf5d78ca8d1d5f978991 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedInFolder False Passed
2d3acd7e2d39bd761229f4ccd8e092872a55599d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWithInFolder True Passed
a735715aa7071d26612683fade6890ab1bc9cbeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedWithInFolder False Passed
4cb8075980b640167347e3902ff578b8960ba7b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Enabled True Passed
5331506e74cf4103b2eb0bf7ab7759896ff184d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Enabled False Passed
3630ac78ecdf80dbcd6b6a43a28b2f30677cf573 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SubsetEq True Passed
ba3fa6f58114b3ded67779ea0acdb84409b21b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SubsetEq False Passed
3d463d31c64d14207b07d59dd4a927b28cd10958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfCond True Passed
c23084211cb2c1cda2235a9347e9ec4228822492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfCond False Passed
85f1949d8ac776fabb29ac28198e21100dd2d0e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfThen True Passed
a07203e73739a195b65bdab9eab54d000cfdcbbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfThen False Passed
8905c41af81a05c521b2b1f1abdc568194a4cea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfElse True Passed
416e6d3b342a89882d782426eb3ed5422d5bc128 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfElse False Passed
7cda8a96093dc8e7034facb9d3eb3002135bcf1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Unchanged True Passed
d5f665367979047702cf2705cb8de03633d4f6fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Unchanged False Passed
d646daf21a822652c1edfa091d06c1f524ca13ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Equivalence True Passed
837c0bcde99c4269ccd9cc0ee0a109b13bd05d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Equivalence False Passed
37b66558029216ac5c328568e1d7b7d99c5633fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or TlcEval True Passed
5f04890fc57628df68e9faec5475cf1d6e73cb1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or TlcEval False Passed
51defbffae79b11a39015530d668f653dff093e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagBagIn True Passed
e0036788fce24e8b5fb013a58b7b369728cff279 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagBagIn False Passed
51dfc464bd95ffa00c074a38b17b9e6567cd3f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagSubsetEqBag True Passed
383dcd90491adcbab5fd6e8ab3d80cad710d32e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or BagSubsetEqBag False Passed
4f54835ed804b42b08b384eeb8a1a7254784faf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FiniteSetsIsFiniteSet True Passed
9d25b6cfede25523cc567ee37f8dcefb60c3f4a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FiniteSetsIsFiniteSet False Passed
a04e57d505a52230d0811c87917e92e68fdb56de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SeqHead True Passed
9ac393d436c244209dfd36a7020bba978fdea8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or SeqHead False Passed