Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1dcf819c5004e35ded03bc26bd35cacb5680c454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndProp True Passed
a8f29fe0dae16c11c5d09aed626947317bd04794 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndProp False Passed
a31d810735afaf505ed21446a1cae699b881013d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndProp True Passed
e7fc7feac2e881b12aafb483b9cde8971f471406 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndProp False Passed
ebb78b9e95eac87970ce2aa8c12a1279a8b26a2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 AndProp True Passed
a3913fe443d5186e0a9a7613fa28cfc4dd2aab25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 AndProp False Passed
b279fe6bc70e5a98d9b25f67ec7bfd08c573794e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndProp True Passed
49fb3131ec45aa07f4ad27756dd39abf0d7b72a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndProp False Passed
18f7e67a1b67f554aa3607d709fe5ae8280de342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 AndProp True Passed
89db75641d060daa0b2ec5464622161de96b7a06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 AndProp False Passed
2d1406e7f721d84a5a44551d2e5cb9b8d1e17d08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndProp True Passed
5eeb433bf44bce269dcc568bcbaa0a4d6f832174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndProp False Passed
95dadea8f85dfb9e3e47c2170a68940d752254b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 AndProp True Passed
650fe653ded957e8be4fd7f2b9793204cff74dfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 AndProp False Passed
2f878f2c52f9dbc3d447c8c643ab71d3a2896f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndProp True Passed
c2bc9d4ae2614e92414a4f66f3f5c1ee100d92aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndProp False Passed
6e3e066c0ce0a46c68026b8f0baf2eb57e71852c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive AndProp True Passed
463680bbf75801421a90843cac64f010ee5da5b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive AndProp False Passed
eefc06107b0ae54c2949575685440a73b6ad8cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends AndProp True Passed
d84c574961baf9c499c2982756f439f5545cb3cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends AndProp False Passed
81337e464efada95d1bdb6f439014522f7d825f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndProp True Passed
929240f66d60cb0fd643528dd2307d6cb7196a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndProp False Passed
23e9560e86aa40f7de5fda677f8a18b64f1c904c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndProp True Passed
38cc09564b774a9ea6fd52086d009b5dfd9b7775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndProp False Passed
645194f48cc95509559f943361b4424be5d5eb34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndProp True Passed
01556f3408dd9d33cc6ece75da3903c76d5dc72c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndProp False Passed
d96d8e4efdcd598e424578e9ef5ab566576af1ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndProp True Passed
ad2562d8e8aac3b8d55355122cbce3960f8a1449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndProp False Passed
5dfc84c319480f302eb06da8c6e973d84756aa8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndProp True Passed
51156797b4bed48f0551e9d003be3ced78ba2f66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndProp False Passed
a2cb9b2c1755fa1eba3713a7c7c63868c2435857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndProp True Passed
a487914680b5b2197e2246fc2df79c20a948200b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndProp False Passed
d2938741d2e11a8130bfd7f9213ffc868c4eb333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndProp True Passed
9dda3021b5ccad32d9143dd3e61f7c91a420a01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndProp False Passed
23441247ed5d5a9966c206137d9a7e50f7d492a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndProp True Passed
7a4e67acdc66c712a4fae00456904005e25c601d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndProp False Passed
20a864582e75b7cbb7e73052e34da29c23db1299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndProp True Passed
23b9d7e22b83cf913755a8c8c35a0effd79acc9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndProp False Passed
bfa00bb82e87a76385cc6e40c55c98b4a914d318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndProp True Passed
1119ea3c0cb6d1bdee2379f7ece2f7215d55439f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndProp False Passed