Index

Tests by plug feature Boxed; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fc9bcccd88365a2c48b0e97821cf8904caec13aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Boxed True Passed
085e4367b1f1052f64fab10a53f4de63f2175c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Boxed False Passed
4dd042484c04f53408b215b3c987bb1eb9bf2495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Boxed True Passed
8ee0bb6fcd2ee57e6ca6345b2a3a91e4e75fd409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Boxed False Passed
5987781c356e293bd929c519ceb82277aaf666ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Boxed True Passed
b95a1fb54e26a0a6ebe486bb7e7e2131228a8407 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Boxed False Passed
b141c3bcd924f14c5cf3fecbe6d87803409a4c79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Boxed True Passed
e27113702a39b8a92591b725a9ce8ec380536b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Boxed False Passed
d5358df14a4a61c8430e2d2c843ca2990ca58e38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Boxed True Passed
de785aee1d9933318d72dd637bbbd46cece90c6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Boxed False Passed
b5fa1e7c8e60a97f1d63fc57d99e398cadd192d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Boxed True Passed
87cfeb9857e7feec889d5998d2108465f99b712a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Boxed False Passed
5b63b873c224fc1d987ea2bac63766514b1648ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Boxed True Passed
1a423fdf55a51c683277ebd902c18d332eec241e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Boxed False Passed
5045d060a16f24a2f903972d20778d34a836e82d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Boxed True Passed
4d5b4a34acf24bf7c68d7e491b4b2dbb7184d93e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Boxed False Passed
f444e380fa7be1dd0d826db839db0cf5321d6ba6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Boxed True Passed
e93fb4f2535998e009919a34146e1b4e5a4f64be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Boxed False Passed
a000c712788d192f76d2e74ee5fa97d2662ca7fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Boxed True Passed
a41dcc54e3c9ddda4a013e7ca980f44f847ca5cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Boxed False Passed
e7736aabc220fbf35c569528ce613e0e0c120a1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Boxed True Passed
dcadecb391ed439b53c0eca6ea122ba7e115492e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Boxed False Passed
bcea707ee9bcd55d93e39701279d7d51c6d0a5ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Boxed True Passed
ecfc50feabf82c80220d67b6f2ca45de26eb4cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Boxed False Passed
93dd18eb599546e1997cdb8bb3e586c4e8f19cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Boxed True Passed
99edb7691e961f2f005b1ae37f6fede7d95743ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Boxed False Passed
f2c8f0b24a18446f5981c94681fa34aee7715def TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Boxed True Passed
5551243f4e8b00ffcb0181f4db616aca6112a181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Boxed False Passed
816abe7183062c6e0ccf3b98954c9bfc3ea53223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Boxed True Passed
90bde0fee0f65d174aa9ddb1990ea7eb06fae09a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Boxed False Passed
5ff7744bdc01c0e3523d693612aa67c474b59370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Boxed True Passed
0d641971608ec885e11fd75de789b3550501bf59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Boxed False Passed
e128cc9d7acd381cca854153dc388697956b078a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Boxed True Passed
377147c00add8289ba2a6a0659126bb54dc7817a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Boxed False Passed
b65fabc8af7d9247542da942c4754db637148f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Boxed True Passed
510322f12d93b6e1d29694b31b44eecf2fc2560d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Boxed False Passed
44aff24b289ec1eff61110a8b7f415455051c5d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Boxed True Passed
03ba5e41bf1205e3d9c3ad7c5f90fe53b418aaa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Boxed False Passed
096ad187e70eed40ce4e09881636c5e01543c379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Boxed True Passed
9a6a8466218c965a344f4615cd41f6f7a6293b3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Boxed False Passed