Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
72d63f6c19725389e88970ef6a0b98b4c64dd69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 OneLineComment True Passed
20bbe5ffa0b28dbb836a5de0480ca5f9d1b1ce79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 OneLineComment False Passed
5bd1b4aa2690c7da9910e631aa8e27fa9b5baf6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 MultiLineComment True Passed
be6c19e4a826eb3acdf32f2a3ef8eee0a28e5787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 MultiLineComment False Passed
b16f390798412aaef16a9f055fba3a6e43686ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BoolSet True Passed
d18af7601afc1dd4fb2d376a97b936b154f12105 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BoolSet False Passed
697832ee64d5bd8f2917f1bd164bd88b2e8d3e2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Let True Passed
32ba00b4aaaf205d5a0ee9eb396373a23c9b4b9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Let False Passed
3f20518e9036d224d09781e77e860a3e22c23680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetEmpty True Passed
c84ecae6ab5d4b435db4c3e8421115eda4599953 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetEmpty False Passed
51306be33ba638f30216141ef436d41c664f360d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set0 True Passed
0e0c9b069ecdb850f715e62e1234e4cd0d7544f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set0 False Passed
9701bdddc3daeb4c50c4b14b80e413fd09692080 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set1 True Passed
c3b40d417031c6ca3aaf572ea204bc3c0e20db6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set1 False Passed
4d280ae719d0013d1220a102d30f66ca177e54ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set2 True Passed
ebd0fd1d36bc7200691a3115d95254a9e8a0ed68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Set2 False Passed
5125b8b74f578658887f8ee17b6bc452f7ebe64a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Choose True Passed
c46ff30a2db89c7c7898db9af45b54a24a1738c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Choose False Passed
4f2e5a0e1758b6d5e80d5bce82edac34df9f453e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunApp True Passed
ece73279abac0d40da2324fd4622ad5437a1b017 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunApp False Passed
889bc578b852f798d457dcb0c0530faad0282774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Prime True Passed
6a41f6fc1cf3470697d36a335c61db08a11402cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Prime False Passed
ddd61223687e58b2ccbe8203060c4f53454226a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def0 True Passed
8d3f542927dab0f7f1407308f39ef98fe5fe4ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def0 False Passed
0cbdc6b3fdf93cc3f7797574384996fcb33b5b49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef0 True Passed
be787945e79890dd4cfc0694d1a251776c744130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef0 False Passed
1e051743c0140b7b3317f736197329ccbaebcdf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def1 True Passed
6028cd16143213ff348a5fa2e07446e8a4bed476 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def1 False Passed
4ccee7dca8e3f524f43ce37c40418b4e5a4cb496 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef1 True Passed
a4b8dce30b33cee9d6051216176297a52633d56e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef1 False Passed
d36de6cbcb87575b89309628ab372acbbb0b8d9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def2 True Passed
c431277457970045e5a719154ea5dbf7fd80c48c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def2 False Passed
46979dc6eedefe3f2062d8f167d831648745b1f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef2 True Passed
07902b9ab4fac3130b6a225b17093d4a6a8a8c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef2 False Passed
837db2278e7802f8500a091dace1fb56e6c5e74f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def1Recursive True Passed
20997c6d118dafd814b20ec06aa07bc9ead30d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def1Recursive False Passed
d8f2133870c292f1261f91038a5bc02aa123f213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef1Recursive True Passed
3fad3af35bbbdb51b87560e633b137aeeee2d7c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 LetDef1Recursive False Passed
6a7d3b228d239b195579b9ad7e3c10a63ba7d513 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Extends True Passed
b4937b47e2402eb5265b335d68d19afcd3d8c59d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Extends False Passed
da5aaf3a749b85fcfc7b83cb958fc0e5f3cdf32a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder True Passed
77842a816e5c5fd78464860db90de2d8008aa2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder False Passed
bcbb386f85ed664409adb20b73b229da8215b72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Variable True Passed
5bc0d8ab8a49e9e2ae1611b89c3bf8a81be3b218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Variable False Passed
fdd0a695cd94286c06a0c6ebae3df6289984c0dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Constant True Passed
079aa77725bf5a810ee4c7bb67c593c69b4c734e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Constant False Passed
6c758dc1c6b629d2b8c1709bc43b909dc2cbf505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ConstantRank1 True Passed
ac864e138fb94d08ab5e3d8c76d7526ab090693b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 ConstantRank1 False Passed
8ceb9f0ebf1cdd544929b20e3ab4ba35bf33f51d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Instance True Passed
64630dba3f22b8a080106bc4e369d583ce713274 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Instance False Passed
6ea60fcda592315b20bba918c47f07037bee3e31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWith True Passed
391fe205ebcb9ea45172cfd26ceefabb5faae567 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWith False Passed
e54d879d13f329ce013eb823f54c85d038608e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamed True Passed
c921d262738bee36097428a5608d1b4badac390c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamed False Passed
7542dc82b059000c87b727b8a87957955f219415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWith True Passed
a486a90a00bef8ea1026a3e569f9c4af1ea6d0f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWith False Passed
6164361f3d453c8ea81ea7b3ec1bf94900656b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceInFolder True Passed
7dfdbfa2b8d34a630cf02758d010af188f29d840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceInFolder False Passed
b9c7e35627852bebe44df90f8d985ef571cb0e2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWithInFolder True Passed
3eec4f55900f72b0594cde55473a948db87bf437 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWithInFolder False Passed
f76749cb487d644b80e73e03e972533e4c9fd714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedInFolder True Passed
0ded9931d668bc9580c51d280d41dc94dc49cb4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedInFolder False Passed
5d36f25b28e39e00efb4320d257084966e865785 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder True Passed
34574b0e96120896d4f9a57cee16018dd4e012e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder False Passed
1af72de656b0e7ba3a49fe4b23ed56ce3c22a635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross2 True Passed
3581e4c4954be2baca1d6be295e316719d2f3eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross2 False Passed
2731f2cf3b28ccc6163d991d095818e9a4f72c59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross3 True Passed
084f46f80bbfbe9a50e687d7f4ace3f25ea9e427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Cross3 False Passed
8b0b62edb9ce4e1934d7d57338b43c49662f20dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunSet True Passed
563233d07688b5f6eccc19e06d119e499f8a0a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunSet False Passed
75d69c301518e0c3e16eeb505cae26a26d2070ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 RecordSet True Passed
0e9a68ec5c73ea0175ae294d1a314d07843b7f7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 RecordSet False Passed
acca4e4fe5f4af1c593b06750a3d7372d123e012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetDiff True Passed
839be478cfb42ca8e7e16d4d6bea5c47a3f2b64c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetDiff False Passed
0397eaff61adac1aa8a6e6f50f76cecf266ed97e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetUnion True Passed
36bba6f1c7c310e5d4c2b8cbb1974351098fa7b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetUnion False Passed
1cf2c9049c42d0d177b324a3287d1a0b54177cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetIntersect True Passed
eb7bfb861c5e1f69d14a9a054eb0a50e87a12d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SetIntersect False Passed
480fe80bfb559b62db976e9289c04ac8852e6ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfCond True Passed
531f9f856db22cd1b5aad7bb5cd632ee11226673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfCond False Passed
f4a157548258336e1b617535e0ed8e8e635f64b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfThen True Passed
b1ac306940db58d04cd57ddf8495370192ad7544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfThen False Passed
8a8dcd5ed8ee0e00cc4123dacb12ebee75d461cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfElse True Passed
dd5f1b3a75bb7d50494f7c1a919301197c6c1040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 IfElse False Passed
b7e2087325ee01d27f18a598d67ba595a8d02912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Subset True Passed
53522c588e11a84c26d113d063b3dfe3ca82f7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Subset False Passed
329bf3eb343157354b323a674a4de1e4d655df96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Domain True Passed
c3777917e02df79b0372aed2e41efef38f37c174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Domain False Passed
214cd6e2ee60b4c83c5c6ac4cbc51c1577241760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Union True Passed
8b4a30fd162af6d487d084efd32afe65cba218b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Union False Passed
a9958cb7691b37fae8728d5541665586a57b50bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 NumRange True Passed
72b09b4c02f392817837d8246c1286fc0d24d8eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 NumRange False Passed
a4cf56246075580bfe2e284654e1165dfc3d1d5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcPermuteFun True Passed
8b1a2c97ed357e3008d40656d770e8f7cc7c46e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcPermuteFun False Passed
55d85e7969f131e42c1cab10c4b5a36db81cec3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcEval True Passed
ca6842280512f2d0f8eadc513417fafe52fcca37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcEval False Passed
435177fdd3f29c64e4a6e7b4e4a54f50c93200ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagBagToSet True Passed
852e5a743b4b511086011d61bb8bc5fb73bba673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagBagToSet False Passed
3f97d5bfdb5728783a0346f09887615d71098226 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagSubBag True Passed
d4b3fff5750985cacbe8405496ed230a1c2e30fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 BagSubBag False Passed
666fd71446437dfd3593b60d985510770852733c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SeqHead True Passed
be3205f0b55ec595c2de96ea9ab2ea7e0a063c62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SeqHead False Passed