Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1ff0715d2404c448b043d4026d05ef5050bc1a4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union OneLineComment True Passed
1bd1b95bb72a6aa29a3c9605cc95f69d7ba0bc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union OneLineComment False Passed
a1218d40855b4d3929eece9b67baca7ace75ed64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union MultiLineComment True Passed
8fbe7e5164b8b420d0b68dbba1266b59b3411122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union MultiLineComment False Passed
57223d6a2181a026107201ecf9e994e695a2ac86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Let True Passed
5f4bf545339e267f7d745e35d5bc3ecc0ec1450b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Let False Passed
7333be20757c1f6ea577e0ca3af3824f0e8f3c66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetEmpty True Passed
386d8ed402a14006dc93c34cefd802ae1f417f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetEmpty False Passed
e18da5fad32acd5204692665ab890f8689227da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set0 True Passed
956636a13ccbf9ff6b2b7c253d79d4e6cb6407cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set0 False Passed
244d46621e95a30edd2013d05ac81e8f8b5608c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set1 True Passed
1c36e2bef6b044aa5ca3d8bd11b6cd58a6eefb3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set1 False Passed
7eb0d08a4f3fc28f21f87b835d1ed500cedfbfeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set2 True Passed
c5de0a63266179d5f09bcb6f44ccf21a6cdfaf5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Set2 False Passed
d128c88b6274ebde9bcdfdad13e14bf08f2131cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Choose True Passed
66aefda19f77ae866f4ec53c130dac7053ec40b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Choose False Passed
2326bc20007b639bbd3c4a5393a9dd12950f96a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union FunApp True Passed
2dd534bdd02230da05af290d7bf84d9265ae53d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union FunApp False Passed
9f46d7f6b77a024a61563634981ff3eb73eb5d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Prime True Passed
836f5c93d9a6dd59d8eb3d008c4cf668d4126e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Prime False Passed
575c63876c4ce6f4d7a82e7e00cd88a39033bb14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def0 True Passed
ff6c5053b4eb156ea959769e4b61e4a468c053cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def0 False Passed
b0a3ab9427e491a49162a2396e7da7f0de506d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef0 True Passed
078b844106bc66465e3d23d89d4a49cef80935bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef0 False Passed
5fcecbe70b771ab4ec02e586e2c084148080ba4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1 True Passed
0bf3470baae78610c43612cdbbfa5293718a77f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1 False Passed
601c3a8add0a8c10add20b170e59f5d326471995 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef1 True Passed
5246581aa89cdba60fd5b982c7bca5a6b8b25bd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef1 False Passed
9ecbc44b0410ced03a60060544d1a4d76df258a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def2 True Passed
91590ff839bbd3cb346b30fd42f58c93862c9ac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def2 False Passed
731a9c036bf2fcc20e4067583dd014d4e6440a72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef2 True Passed
c05589630d8d416f1bb1c7b0ef160a629b108605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef2 False Passed
b9ee0fe235574bb966996590d0e7265e6ee5a84a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1Recursive True Passed
6145013b0fa1b853ad9c524c0d3b6591b6ac343f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1Recursive False Passed
c423bdee5d973037170c6e3adc4a384f1db9b386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef1Recursive True Passed
fa58e9003827a6563a102303d6a70ad142866797 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union LetDef1Recursive False Passed
4f1a06ff23eb87585a90912183c67fc6ae4b25ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Extends True Passed
3c560acfa4c656d416839acb85a82aaf62cf5d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Extends False Passed
719b559627c75dfd6913381a923c48c8863bf00c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ExtendsInDifferentFolder True Passed
e3218daef9fa02c114b40a502af26dd286b5222c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ExtendsInDifferentFolder False Passed
7f18be30c12c5cd9d97900a78d3657abcf91d398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Variable True Passed
df9c8bfea47f26f15ea1abff450883bfc09a2da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Variable False Passed
f1613f12c90c42e7a78b0cfb1f97ef252eee131e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Constant True Passed
29954bc93ea37c4f1fe299543d14fd565180cdca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Constant False Passed
26e60c8f97cb2886bc05dd1a9d85a37657f02495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ConstantRank1 True Passed
0a53645af8324a6f90439c0c491e1aa7a1c09bdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ConstantRank1 False Passed
5bca767d1e235f0f53cb412d8866553a83925ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Instance True Passed
8b94563bd6fa7bc7f4ad61465e73493037096d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Instance False Passed
bf1a1d64db1541dbd31f16534b76b8457509d644 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWith True Passed
97003a3cb506a09f8ad657e5d45c5734980d1971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWith False Passed
d1afff0c05d60d0650ac4e3a36963956d06435ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamed True Passed
5464164e2f78927b81a39e7d3591ab1864274187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamed False Passed
4cee5f0d920631a4fdbc6abb49c9223111069805 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWith True Passed
aeed203b92a7f66d983ae42686c9a634ca096d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWith False Passed
c3c378206975649a7a4351b6acbf72ffe2389e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceInFolder True Passed
3b243cbf8fe0adf0b0ccaaef2c913490b623fc7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceInFolder False Passed
ce0283bfb1cc2454b9c7b0a4f7ded0d0d2a53f51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWithInFolder True Passed
fe3edb3b9277d323084eb38b91314495d3385259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceWithInFolder False Passed
2aa18ba298db474fe56f8cbcc28cb309be9055c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedInFolder True Passed
95790781d07f52bca41194c6edc4020f74005d0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedInFolder False Passed
8d46fd3f0d5749629fc38384d2183b9d171035f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWithInFolder True Passed
891d0287eb733297a49f055e437bd069612f8d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedWithInFolder False Passed
9ab6199400b2f8bac278694632e7a59b2636e246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetDiff True Passed
208faca4fdfb6f8ef45264715fbd841c13cf0bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetDiff False Passed
8f450fdac5b8ecd3e991b9acf148e8e0948d2ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetUnion True Passed
2ad472f3361dd4ec11f31693aecd29b18343c01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetUnion False Passed
345a64ca6e31dc58305e93c5f2efbfc41e2181ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetIntersect True Passed
72d5e20c990e125cce90c68e05dfdfe68e6c1b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SetIntersect False Passed
8cda72cacc79e9d6b4e7c5db61f2074765b54ccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfCond True Passed
ffc77d88caf0d47b5597d74bbee069cab29703a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfCond False Passed
d56049f672de7ee41bba0a797a01c217ddf7af57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfThen True Passed
a4c68f46b05d8c20ea578cab225e6014b9587a53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfThen False Passed
8f40a7c7523e587e4078d11e95a9907f95e7764e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfElse True Passed
682a7cb5107a18b8d4e5701b512b2191e7a1d4f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfElse False Passed
ba781cae236fc981258efd61e485cf8367785c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Subset True Passed
6c9607cae3dc4120350738dec9abebfee49fa785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Subset False Passed
55b34e16570dd261a9f3c99ff225ed5d11b3fd7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Domain True Passed
72a5bed535b494b153d4685824f9308b3fcc343a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Domain False Passed
795c3c2440b681f857bdad0171e2bb4229594b49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Union True Passed
9412c70cad5c79dbcb64c0b3f9f81da2a8b5b70c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Union False Passed
d086ec0030c2895765c68376c63c3705f0c77247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union TlcEval True Passed
966d08afa4db29b4962529b1e4a1dfc274b8dcb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union TlcEval False Passed
85c29253430481ea0b88298d2462b3a826da8803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union BagBagToSet True Passed
9eb81e62ec984c9117e6f23a3162995d09661044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union BagBagToSet False Passed
3689c7edab639d7f33090b9653a0f89f7a692d3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SeqHead True Passed
1572e1a5e0c646d0488b6f6d6424b1c1cefeb926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union SeqHead False Passed