Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a0a5b6083eba505713d47e417eb4564cf7f86f8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 OneLineComment True Passed
52742983953591a9cb4a2f4f2f4e6b68827d1d38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 OneLineComment False Passed
3eb8f85d8032a0fd05cbace32344a289e8a7b0ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 MultiLineComment True Passed
dbab7f37c7f64992c92a8f7a768631583020fbd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 MultiLineComment False Passed
d55813f2458f1f73266fd297e218e3e8a20d29fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BoolSet True Passed
1c046ae89ed547c7078b50e66893c3402e9de930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BoolSet False Passed
6b63da1738eb0e5dab7908443df5b6c6d8735257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Let True Passed
771ca2edb815640423c4952c619322f0a25a685e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Let False Passed
a41fda477b4e469a0e7d8f646c826d151f7f2c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetEmpty True Passed
b62d70ce885bfba05e77977cc6d7e90ff918e540 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetEmpty False Passed
52d1c4c3a11a445433bfd6afd1874c49dee6bae9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set0 True Passed
ec2047e25515de21c468018ebef93e4a5f64d97e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set0 False Passed
033d6ebd434f2f1492f08d9e66adfb955de86927 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set1 True Passed
1f0e5bb5d274eff07d3b7f3af2d3644138be7547 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set1 False Passed
5429d687686767b74c469376cb49df440d91395c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set2 True Passed
8ed4610fd87e5708668dd4e639b95773ac14e0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Set2 False Passed
079141438174e72a355fa2fd5612b9acf5fef6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Choose True Passed
83db03d25b12491a4f2b4e87493318c3f9968c10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Choose False Passed
ceb84ed3e46bd61fedd4e006d6ccdf9e68bf1e8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunApp True Passed
d39d9137eb37eecbeb167be0cd81e1157eb76219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunApp False Passed
5e5be3753f30a61a8677943f20b38b3237175a93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Prime True Passed
6873485de6b9fdee3614f2ba7187c4e001dff964 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Prime False Passed
4d422beef3f74b12c96041aa03d1c31e2e3cbb25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def0 True Passed
863b818da7ce1365507ebfe495fa39d5af6ab427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def0 False Passed
c9d8ccd79e9763d66a9101432f8fb8b44075cbe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef0 True Passed
2df4e42fff08c7aa90b6f1c42640ad4776a3d7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef0 False Passed
219be7654ca093a5d36b67d550cbcf2d48653d3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def1 True Passed
6ca66003f17cc9673bdc5a3cc04865a0850d4fae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def1 False Passed
5edd7f86f3d8243070d76b9806a891e6cd413470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef1 True Passed
4220092451d51c3df027f14bf5e6fd5ae4301724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef1 False Passed
2597eebc5837800b121c6424b8ac09ee41bc0a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def2 True Passed
59c11d6b73216ebbbaae39bee587701b76985abb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def2 False Passed
d209d5896825214da851aeb8f1879071aba4d6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef2 True Passed
ee213f27dc97a911d3f404b81e509c51e2fccc60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef2 False Passed
5637b0f12ee3b11865c3747cf89b23e5db94e498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def1Recursive True Passed
c47766a7fd6e7e0ab0d467a312d971d6f710a5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def1Recursive False Passed
ff54248ee7f35dbfa135bc7ce1c45d90c6f59f9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef1Recursive True Passed
24d0fecc7a1cce28fafda53e7e5ae6b0a47acfaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 LetDef1Recursive False Passed
35612417283e37eacf853651046664815fa3dee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Extends True Passed
f328e7ab812d083ea289836cc895e6be992b73f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Extends False Passed
f80617be8002df8aa7682605716129499a328f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder True Passed
c7b9654944cb093b270b220aee0a35d35c1c4a32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder False Passed
6ade44fb90703f9390629cca01bc71ba2f0095e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Variable True Passed
823b89c373c6f99be7fae5dbcd96202502e0864a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Variable False Passed
5170b2bd717a306c1f71b9b75c9514849fc2485d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Constant True Passed
54f263bf54d2db1ab02a7ccae3c2d8902f2f57a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Constant False Passed
afbb243d4c61fcce31d48cd65691e776bdf21fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ConstantRank1 True Passed
0d59b44df0d93a53f114a612f68683b4b7bc69c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 ConstantRank1 False Passed
5e73cb0e2a275c4d3169717166a650c3a66cc9fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Instance True Passed
38b81d08ade757d2d803da92f5eb9e8a34bcd710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Instance False Passed
71114e45a7edee1b9e55c2cc2cef68e9ef620647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWith True Passed
2629d946f50c8f4c9683a599b38c0d6638540339 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWith False Passed
3e3379a60c6d44f0fee94667e906000f98701536 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamed True Passed
b7b3bf3b054a43b999242ebda6f933b6095afc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamed False Passed
680f2b080903b80b4a5c424322d0a642aaf58e84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWith True Passed
e5f17c91d358b0487af74160ae33d35c915050fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWith False Passed
2fdd53d4e62c7dcc7d771a13e08ee4fa6c3e4cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceInFolder True Passed
3c13c46e7c5fe4e2d290974e39cc7363c48d176c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceInFolder False Passed
8b7d9e74c578b02264e099a5eea0b5f8c9068d52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWithInFolder True Passed
3e5d08e0d21e997b522197b6dee0f34c774d0551 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWithInFolder False Passed
395ab6c74d128c2b5eb969a3783b3e1f260a45fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedInFolder True Passed
7bb7365f2ab23ee3cee1e2e9b11b222a382222e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedInFolder False Passed
5c4cc7e18eb85a98fdd2361ce5030a5198fde7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder True Passed
a90f24ef11cac9b1d570d58863b9680e197f0c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWithInFolder False Passed
cb9aed5cc7f1fbb7540c3651e612d0466745d7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross2 True Passed
f942af1e2a3e6dbdadba04c6c074e5bf2c52ecc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross2 False Passed
e2f92e67484b58c5e5a69b15a670f86c863c79a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross3 True Passed
8e46995df0df98bf7125c29a535afe63fb284b53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Cross3 False Passed
e311df3e5ce76c17fea0ab9c9e448c8797f325d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunSet True Passed
99bddd36185be4ad7c97369105963b141a820d92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunSet False Passed
1c19af3f9bda0e85c1f04d4f464f0fdc29b01282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 RecordSet True Passed
70cfd6e4f0a92a48dd2e58575c556c71d31e3331 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 RecordSet False Passed
5da733533486a8602981bee931bc1d3ced645062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetDiff True Passed
63980f732fd9b3894e3657c9703708b21ff0fa1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetDiff False Passed
be1fe6650c42bf7edc626eebea80d42e02aba012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetUnion True Passed
cb2e5cc29327ffbd803ff028b4aeaea1b9549aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetUnion False Passed
ff24eb64cf343a139dc9a4a96e039894eefe30af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetIntersect True Passed
d35cec57abea71b9bb905dc80945d1d6062c0ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SetIntersect False Passed
128000aeb135de3031be5559a2da7e727c14bcc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfCond True Passed
d6c26749fba3c7db1fb8624b89338ed966d5bac0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfCond False Passed
852864f0852cd8edd36863b08e9eaa78c2f89c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfThen True Passed
bc5bb76dacccb6b3f37d0323a90b824bf970fd52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfThen False Passed
4401b3aa3295e721fc387442e5ff2ed39b4b037e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfElse True Passed
d91f021bcf277ad088e31051a333edf1c2b9c531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 IfElse False Passed
6f2251d986fd042264393f781d34db91e8e8e866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Subset True Passed
644147adcb1f5d1bfce41afdb17d1e4cf695bd1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Subset False Passed
4d150161ac95de53a56b5f7d369c4e818ea795fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Domain True Passed
bbc1d97da9a42e4b12801bec247d75a6e478b90c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Domain False Passed
a87ed512361c9422fdac808bd35c3a0c7ab0613a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Union True Passed
0cb6e329955369b825292d977ab9be478f7b8670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Union False Passed
defa3ad52a40cbf3fb5ef13d6f5c80a1e94675c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 NumRange True Passed
d51f7708baf9c6e86e18861f02ea6adaf442dcd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 NumRange False Passed
2d4e4f66d62cab4f21d4d66f75b24c15ab1480b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcPermuteFun True Passed
a62fb63162342e060ed58bc440c2e50c81ed8746 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcPermuteFun False Passed
ee9814bc9e118147a52050736ad9ac89304cc3ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcEval True Passed
bbb4149b1e6a9ec28310f367f9a47e567d9e2f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcEval False Passed
685ae04fe059051594c34dc654ad4f074400ea4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagBagToSet True Passed
ef6d0b52553c7e2e99731d20d0a5d7f207e85a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagBagToSet False Passed
ab4c54ae0bb06626004c421bfa6146d583de179a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagSubBag True Passed
c3c329189abcfb2dd6900d69fd3e3ea4182ee505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 BagSubBag False Passed
915191b79cb51f6a5ccdf95471d1bb0e4aedbe0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SeqHead True Passed
9d279e4e79fbdaffe677059d0933db6fde21e879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SeqHead False Passed