Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6309f02f166bfea2716dc663459cff53b487f346 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion OneLineComment True Passed
fe2a4466f18e8d163303ae79634abda33decf618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion OneLineComment False Passed
fdd16747d51a4e560b59c0a4ebe49f5e83611557 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion MultiLineComment True Passed
421cb90ea8fd3f22bbaccbd4fb2c580e08a480bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion MultiLineComment False Passed
c565350ea611a71d2cb070fd381d94418cae1da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BoolSet True Passed
6203b9be3b2518170648e674397eae90ac7fc26e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BoolSet False Passed
eae011ce822e9f14e365aa19f8dda435fd0f7d34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Let True Passed
c756b977d588ffa5ae544c5a2b3fb8210725a4ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Let False Passed
fd31c7862b2729b01aede0bf90616faab4b8d7de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetEmpty True Passed
4eb3aba9791c4924776057d1f83be575d660e462 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetEmpty False Passed
b74e94b7c0d43450ce82e4741e4dc23f764b0696 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set0 True Passed
a5077edd628cafc0c43f4252914ba95e9f7dfa81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set0 False Passed
20228e1202cb00a4c5cdf00177d68504fc811597 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set1 True Passed
7e9072dc504f13f387fe3d17f3131fea8933b396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set1 False Passed
ded6f01848521ea7387d17773d82282bb08448c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set2 True Passed
49b68b566db3a85d817a57830320c97113bd1424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Set2 False Passed
ecfbba7daf06f8bc29b81356ced19b71d921ea82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Choose True Passed
8f190829b742ea034f374ea2f07b84ce0459815c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Choose False Passed
ad544b17f8deada0d33de603a95102dfa0d110b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunApp True Passed
412b09f4a22b7666c0feba3b529425966e06eb75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunApp False Passed
94e0430348e1db73ecea4adb58079643565248e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Prime True Passed
14ba7cbad70368ae2e15ee799bba88aa031aab2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Prime False Passed
77dda6e142f4a0a59c75b2fa7718c39b9c1f55e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def0 True Passed
d60940be0c2dec66f43c17768c2277b199848319 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def0 False Passed
319d55ec2a28d79729f8c1acab060f66306559d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef0 True Passed
6f24ed4af37dac3f5d7b25e1981ccc284299126a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef0 False Passed
7d8d0a92bd3d3f2b0a42d6c8368ba5c75e5f7a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def1 True Passed
8b0cb0521c94ed1c9d110502548782d42299b62b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def1 False Passed
82794dab1aba9d9bc4a724e293ad104834c85ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef1 True Passed
9f14dfc36f3e35a702d62853e0f58e6c20f9caab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef1 False Passed
3eeecec60c5b0e8464299fe77b5691b267e9a611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def2 True Passed
f68e2f9ce5b7bcb3fa7c708040c2db4e0a960d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def2 False Passed
e75adf71c842a142c3e0e0f3b01b2ddf029ac0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef2 True Passed
b007db8ee7a0ba7f7c7e96ca3c141a845aa19eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef2 False Passed
118036f51964b08bba65e6a6a14c5fcbb869fd1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def1Recursive True Passed
162971ae5308cfacc0fe3b907a5cbb2e3f06eb3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def1Recursive False Passed
5e1e9f2d9dc55e7898a3333bd553d5a7b19b508f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef1Recursive True Passed
d15aae3b5c4799d22d89f51d2f638707ffd98307 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion LetDef1Recursive False Passed
e39d467a3f2c89d0a3b98bb5c0a3be595f63a62b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Extends True Passed
7fae7e95a6d3e2a1f7f174a3afefb7b56392efd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Extends False Passed
71a07dc3d1875b03a3ca9dfda8089807f8dc59ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder True Passed
91a209763d2bb71972cddb8f3e0ea4c61333511f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder False Passed
157a88b095b1d4df6abc67e022a5b6d9cffebf19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Variable True Passed
1d0ab56dd8a9df9c51150d3d7d5ae45932f648d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Variable False Passed
b6a010870deb8590e5a3024053cfc268ea9a1419 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Constant True Passed
f54ccdef0579cd6bb19fcd49816d6c8f80b65c16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Constant False Passed
27fbda04deff51249dc44519f4978803e509099a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ConstantRank1 True Passed
4b5be5b4ba74475d7e36308588f14488a2fdf0e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion ConstantRank1 False Passed
9d40d1a5c325aace6e05544d6e369e29a8d94a3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Instance True Passed
506b3234ca51f652280fab690b6b309f15811622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Instance False Passed
6d0249574d15502386cd28dc8952d64aef0a3c47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWith True Passed
c2fb703153520faa2847b76754fbe5dd375ad689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWith False Passed
52df57e6cab03d9e4e883ad969e4bf1eebac0ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamed True Passed
4fbafb90b55ffa0911208077dd7993ad4ccc7fee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamed False Passed
c0d7d009b665ce195ea8c9a70d48e1d3cc68a433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWith True Passed
fbdef8607e0554d692bc0d2eeea7539a696217a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWith False Passed
723d64059171ea352ef7b521f4c1c698b1bfee4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceInFolder True Passed
a94b248470cda703f58af4346afbbcf6fac945a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceInFolder False Passed
5d24a2550f60bb034c9a1797fbcd57953535937f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWithInFolder True Passed
56692da1e3a7079fddf1d58db15c49313cd54dae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWithInFolder False Passed
3e7939e26595d3464e6636681b6ee036283d5203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedInFolder True Passed
bc61e7410531c05ab67335e7cb17e5bac10b6b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedInFolder False Passed
8ae8f3409a808591f2f91f94de18c0705c590d59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder True Passed
8b0442964e1d3334b29bc6d1df657d3144503a14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWithInFolder False Passed
3546dca08cde9b2c58d2dbb75fbd2871ae5d780c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross2 True Passed
899160a2d9104adee8e9ee2cea239ee74ad4a831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross2 False Passed
0093062e1e08d217fad451573c45b32a074cb751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross3 True Passed
5aeaed3c527e3c4f5e3835f9ab64be6fea99096e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Cross3 False Passed
f77abff68dfe82dfc43b7aedfd4a4dcdb848e659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunSet True Passed
67c07c2865f601c21bae69fc678854477922fa94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunSet False Passed
c861cab8a81ae148dc577b739968ef41df3ef484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion RecordSet True Passed
2781e72cb830bc418eca94b92a150b3331fd34ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion RecordSet False Passed
93f9fdfd055581f60bd6d8d001e8a40fa29b1115 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetDiff True Passed
47edd4a393df1465d98b9eda107434e3ca97ab56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetDiff False Passed
53741a0f5068ea2132188fa16d44640eb70caafc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetUnion True Passed
7a1e40db577fd3069c6a4cd0d6a442ffb53a5d07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetUnion False Passed
d883960b7f1ec6a2895758059cbb8a317995f778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetIntersect True Passed
461fa07f2c64a548efd38d557d5b4dcad845c69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SetIntersect False Passed
fde84cf3818dd707bba1d161bd471e37825dc11d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfCond True Passed
b84e602136b697614e7347849658d9cc91f674fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfCond False Passed
4ed4176a21eb0ad94e292c258cd5b90b2bd51999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfThen True Passed
2b0466605b8cb4a7e3685e4e601554c20e626beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfThen False Passed
91f9fe05389f124531edea6a4f1a0b796200a3db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfElse True Passed
c9159ad54d146e9ce01d15ec1dbd34035df56750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion IfElse False Passed
8a53bd8977604423e9e7bd9d5690cb662720744c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Subset True Passed
cc5e698c9693885f9c252dd3bd248b4e2b21be04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Subset False Passed
035e69956715fdbde3580f0c3462a024d270b9ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Domain True Passed
c2239fa93226152e6d440f0f49c469f546dc38d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Domain False Passed
4db59cc2ad857c1d10dc6d5cc78adcc04e83ef4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Union True Passed
fce3eb139b31bda6251986f2123ab21350211cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Union False Passed
8c5c4d62e7cb3f4fba754711e88b1d8697cf7ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion NumRange True Passed
07fe025b008d99c3668f4a8347184783d3ed6eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion NumRange False Passed
3077b1560323b97cee711b385ce0a4d562383bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcPermuteFun True Passed
015ec5f1c4a0138e19940c5c0c2d24a96907de4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcPermuteFun False Passed
5f5fb0407767290b31d04629afd6c5d2b61a6341 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcEval True Passed
4352d85552df34b777346720966891670de111ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcEval False Passed
53bf95f78027ab88db3ff619d603dab291dca0e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagBagToSet True Passed
0d10699401f7562573f687595294c1679a3c105c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagBagToSet False Passed
2aef2fbcca029b9ec0a5c8a7b0ab9e211f94c69e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagSubBag True Passed
0347bbe405aed3a46cfce78042bdce66e55c7f78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion BagSubBag False Passed
963ebd4a699592aac034f305b37560c96fc09801 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SeqHead True Passed
7ce4b05b6fe84002da2502af2b440c93dee7c5fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SeqHead False Passed