Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
93b9d5923a9d97c3daeadec789f4a75020badc1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BoolSet True Passed
530161fe400751f17e75c0b4248c9bd6fe1e7b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BoolSet False Passed
05c72f91d19143bcf87e3023786a712c0a037cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Let True Passed
f245fd89a93637ff6a614ddf6e190ab91bc9b89b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Let False Passed
f83b2c63d37cef47bd6382053b89eca461ddc59d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetEmpty True Passed
b74a538f846862e3d045b39ed5b0cf2151dfc646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetEmpty False Passed
27aa0515e092665c12052675793c28aa7b9fc26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set0 True Passed
5a89e9558fc8b058418fabf9b081351501576238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set0 False Passed
eb962a96067a67af43cc9d5bfd92d95bceb65989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set1 True Passed
0bf0a25a9ba5398120b802959bd1152c22be64fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set1 False Passed
887a154f959b6ab13015804172995a414f6a51cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set2 True Passed
ecc50597a5b8d80f189bf94b266bf3b069faf186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Set2 False Passed
5c76681fa674f761cdeba34a278ccaf9960db745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Choose True Passed
1ea65a6f9b361678e944829b8e6583be124d07ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Choose False Passed
6c5bee4e11c726aff37d517ad5da0d52412ca0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunApp True Passed
bd192b821363294f528b415e084e1269c7018945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunApp False Passed
4d89583367fa14df0965bd7cb4da6563296ebe49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Prime True Passed
8e029bd3b0b71564c865ce76f3b7a693bf983b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Prime False Passed
8384f3b6fa480b2f80cc03b4f187618f9bcca544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def0 True Passed
72a6ef65c1030a823fbcab04209db950d1c8a158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def0 False Passed
903ea432b8d0e4589a58bf6bb289cb45354c6e51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef0 True Passed
83564729089d7a22046c9dc36a5e67a5bfbb8284 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef0 False Passed
1821a727033e87f90a1ef71f056112d1c4a97681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def1 True Passed
dfe5f191dd4121f161db6a5da964cb37a5d2443e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def1 False Passed
001ccc6a861459ac0bc1f8eae7a7bf391ad19a1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef1 True Passed
93f9076e3b52cf4b9611d5b1eade829ec026c816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef1 False Passed
09fdfa4313b3534a9b6d963d55b35bd8e514c316 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def2 True Passed
ccc5ad1129a023b4f8f343c798436f1f2757c002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def2 False Passed
e43304b383549ae5c5504a99d15e0ff38f3a5ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef2 True Passed
fd653c157d7afb41bfb8b48a0e92414a21bc3d5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef2 False Passed
502ef68cd5a9fe9c70976670d0cf434439d79f13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def1Recursive True Passed
9108b11b9b8cdeaf9bb9d98970c6fcb4cd2a5809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def1Recursive False Passed
a1c7bb7c32ca3a7ce1df4611067844e5a851ef0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef1Recursive True Passed
962acc8611e0be012bb0d1e3a0f1fb41fc611a87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet LetDef1Recursive False Passed
2ba051ac99368990b29a8ecc50c636388e2b552b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Extends True Passed
5d2d63a66891a301d4763a7315cc12fa930d30b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Extends False Passed
d26bc082d5272e4707edf9ad59ba5143cf7f5849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ExtendsInDifferentFolder True Passed
12c1de9c62ecbf27b6d24e2e5b766222f59fd235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ExtendsInDifferentFolder False Passed
8e354dd9efcbda93d6df5d7b3933f973db0ee8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Variable True Passed
c45f440ee59cd65728cef09ce37d1c78820394a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Variable False Passed
d4ca9a97c2693fee3c7b6307e083a83012233554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Constant True Passed
02e48bbd03813401bc82557db77591ab486c1d76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Constant False Passed
ff14102f0eeaae374a9b5a6d1078d0073582c80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ConstantRank1 True Passed
10a0858f0587bee189a35d41a547c941bfa19051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet ConstantRank1 False Passed
ead9feca62c1576660c232561f24520b1ec0af11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Instance True Passed
c8436fd39313b50a122fd8d21f3df0f1638aaf02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Instance False Passed
fa281082340d5540430879509124fee9417ffbd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWith True Passed
a790fa708431247cb188d6a0b4ac3c032dcc1e4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWith False Passed
a0e6cffa9bf05b413602997486404d9ed3f5756d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamed True Passed
96d26afd5528b01bf19d32bcbf26d9054851a654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamed False Passed
87c142216b5c8920d25cbd8b2166b9d7936a9008 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWith True Passed
a5c66a5a2f89ef6ee396dedbc6e9a8f9c2c27b35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWith False Passed
74f347b50e47595c5072a1eba38b7b3747ca5e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceInFolder True Passed
f03fa21ff67536170300b6e8b9af13f7d59a7142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceInFolder False Passed
a1179582da241c86151e9f088f26eaea7d2a0122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWithInFolder True Passed
51ebe5a1b83d5a50a68c923abe617685376ddf80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWithInFolder False Passed
212d37e741c5ab199c78599502923565b2de30d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedInFolder True Passed
e9c6553e0c887668d2be0494e66956ffa4d4f771 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedInFolder False Passed
0e99b5668ba7a23b8c81e800836c743de11454e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWithInFolder True Passed
63c7eab2bd51428390915ca5d637fe671e9c1c73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWithInFolder False Passed
3813da91d168d7855df7fa82c44a7792b28890b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross2 True Passed
bfce17f4a71be02d10beca054294bee90bf45aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross2 False Passed
77c0a710a760d4fadef882919ca360c885e95070 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross3 True Passed
2d03efc39f9e052b3b88cebd593e8be9ff9f3751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Cross3 False Passed
ac2c5ebaee8dff917d81d248205f03e9e4eca3bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunSet True Passed
aadb7560300753196547231407b79be74ee157b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunSet False Passed
1f490c6bd87e30b20a82f86cfef409d75bd0a13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet RecordSet True Passed
290be5e74915a33daeecc05b7aaeee80096061b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet RecordSet False Passed
40d2d4655f221956fea41655c3aa1cd807f05d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetDiff True Passed
ff2908ca46d6af28038f50be98f58f4d921141a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetDiff False Passed
7325d5b11ff36bffff813bcfa84fe71f2f2f2b4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetUnion True Passed
8a248cb96cb2106222d3ce797f5f6f164f953052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetUnion False Passed
b4dfe4f5a25542b1d07ad2620e1b5b7d3579952f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetIntersect True Passed
a387210091eb2f89af9a3d1d7f9ea26c6c19d681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SetIntersect False Passed
f0baa15d9d353ca4a9327d3c12cc6e5ea5b98e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfCond True Passed
2b008746840a42058e3930049fa595629c5b00a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfCond False Passed
7ae3f838105311c8bfb39bb00cc387b3f95381b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfThen True Passed
900d6c0441d5713ce5d7877b1d51b8c35c70b78d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfThen False Passed
4202cce602a48a510a85ad968836eca9e18b5b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfElse True Passed
7acf5c80dac2bcd3aec6b7b5d36309c182803b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IfElse False Passed
f0a4031537d9512eb2041163679e1580f91784a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Subset True Passed
31d6fd53818dbd4f87fafdadaaca3417ea61ac03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Subset False Passed
8e5cbdc76c34ca8c83c6a6848b7bb59f8bdbbaf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Domain True Passed
1025ff232ab51349eb106d578c7d22b875cc19df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Domain False Passed
b9f05068f6e6cc9d684330e41a22e2bf47482f81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Union True Passed
85323f2c92a2b738dd86ce61e7203caeae2d9b90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Union False Passed
4e4bca05a67c2319acd1a7640233a8a0b1104fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SeqSeq True Passed
59eae921282489b1c551b73694128c2bb33a2389 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SeqSeq False Passed
621538afeb9a65b1567c2167466fafd4cc6c2992 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NatSet True Passed
0bb62f45016da180c97ddbfa1427b01439de0255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NatSet False Passed
b5784d15424e8008a211c7924bbef4bdb70a6623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IntSet True Passed
987d6a8d26fa245255a96d14e3b725dd3cf6c469 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet IntSet False Passed
d035bc9b52e3462929c10b4aae2ada22f00af0d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet StringSet True Passed
60a6e748f32dbb11093d869731408c4c714646d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet StringSet False Passed
f6188a9869deb6c93f9e6441eb6cfe97dd458354 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NumRange True Passed
008a563198ad6481ec83f9d39e65704ed1a9828f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NumRange False Passed
030a38fab547d9e4d426b17050d05df204687a83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcPermuteFun True Passed
4cdb8e913b1f7ece78732c18711f3f84d9ed63ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcPermuteFun False Passed
f47283c0685f951754bad697e2dc67045470b5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcEval True Passed
bb16dddcbf6976c1c1fa8280ca50785345d8bb5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcEval False Passed
8e44e024cec5f409a849e51c3d8eef2b7d619809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagBagToSet True Passed
bb2186ec2169d8982f5a9a6b89647744f7e33d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagBagToSet False Passed
2c1c103d64627082f781b548d72a6bcd9981ee77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagSubBag True Passed
96862f3d98f9699241450b7dc44a84461b9711a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet BagSubBag False Passed
9398337875431272f26c85bd102246f9af6399b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SeqHead True Passed
72e0e7acfc730e2bbb83ae610486c8efa6d5ae58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SeqHead False Passed