Index

Tests by plug feature AndProp; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
100f409f5a5d17905560f45dfd27e225bf8235ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndProp True Passed
a49aff055f975eff9a14268f51efe12eb492c182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndProp False Passed
8859d6c34d05309ecd15cb2fa8288314e5a622dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 AndProp True Passed
ed13848479e359c68f2dda01a76bb58af8b5651e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 AndProp False Passed
c1e1bd0723999ccc1b6cd2c44c43d7e82ec3edff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 AndProp True Passed
bf9f7ddb0de5c14fdcd97c4ffdc5917330ccc8a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 AndProp False Passed
934c513036b685a5f6c588edeeb0a7019ffdd11c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndProp True Passed
b4be87fa213dd578c9e42089b2633fc242e560e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndProp False Passed
a6ce0f147270272b999a8c19589b22631a75e1ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndProp True Passed
be3cee8f255f25ebea2784fab9c282853a8e43fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndProp False Passed
fdec167c5e61e1a3b767db3f1b66fa6411d49837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 AndProp True Passed
625b4a802d9d539a27f9ccfa4a26ed0304a78539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 AndProp False Passed
d49b60f7658ad66411b583aea133706949167718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 AndProp True Passed
37342ac36ff71fce722d7569a199c97b72531772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 AndProp False Passed
47f60b738ab7f1e406944a5dc90c854e0478fe4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndProp True Passed
ef550528ce7d5e82a1a9cc025e58d8a0c787df1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndProp False Passed
f47b16adfd1a56ead03b8866fea2ba33fd605322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive AndProp True Passed
fb8b8cea37ac3fc0016bd7964a40f79c4c06c2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive AndProp False Passed
c7ee693714f88ac6d1cd1d42ed340d60fbc36737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends AndProp True Passed
600e9cc8a04a0061db01a7fbd1ff19afc6711873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends AndProp False Passed
2da0b4312c5f7684e2a6cbaf98c1b805f5e2a36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndProp True Passed
1da563b5d4debb0c09e0683e9af98efda5f9bb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndProp False Passed
ceeef73cdfc69695011aee9402d56e50cfb61747 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance AndProp True Passed
e571c2ad85a495bc4ff5eb0ccbfadcf1a0c587bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance AndProp False Passed
59d709f8001070435fab3de1fccd12ab3683635c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndProp True Passed
6184a360c7a61a34215ee2beb659d2ad07f0bfe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndProp False Passed
16e0baf29aa5e8c7479c77f4328a6405be5bd9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndProp True Passed
f004a74013461e812b5510ab4095f969d3303977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndProp False Passed
9db553c8af1a429b0482d77216d33e5732b5022f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndProp True Passed
87459fdb227b0130467100ea030283bb3465ca95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndProp False Passed
190457235eb5a9a900875bbf72fc1332bae623f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndProp True Passed
dc716ad1a10c26a500cdb2e7a66819c1f5b6fa8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndProp False Passed
2f0b887fd11df7c06b4855e1291f8f758a919ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndProp True Passed
b6a947820f514b633bcf18a04c1df056e315e079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndProp False Passed
de0a0bb13467c0e1ce4c505d041101fe89c273b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndProp True Passed
9422a4cf8b8035e2cb6432d5bf307fab07554358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndProp False Passed
8afb522fcb9816a7bc3699ae973e1fd49f13bc79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndProp True Passed
cd081137d7c464595dbbe239850a65c1e84724d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndProp False Passed
f443f32080d67d2eb9221551d4128dfa5fb7571c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda AndProp True Passed
7f4b764255978eb7e84ba46d9a8ba1e0c3da3067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda AndProp False Passed