Index

Tests by case feature Subset; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4d5dc6a142b8e84d20f2b9c386ddf13d9c357eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset OneLineComment True Passed
9ec71b02347cb4788ee0887ee0e0111f63188afd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset OneLineComment False Passed
ceeb83e50c154ee1c1377658eeed536c151524e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset MultiLineComment True Passed
2c9f023c1a97e8382a718f44e21ca9893998d3fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset MultiLineComment False Passed
d11ab47b9583bbb2b8bd0b97301e8a2395e4bde9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BoolSet True Passed
db044395d8da7718548afa140b80882acc7be8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BoolSet False Passed
b0bbb5b08d41b2c1c2baeb3cee1a21041372f51c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Let True Passed
556d176d5efc8fd577821d2bb53044023cd8eeb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Let False Passed
e09bd54f104cc0b445a004ab5241015263133f2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetEmpty True Passed
0e4166c9a55cf4df155f29052f640c57db0863c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetEmpty False Passed
3ef737d872aa103422d93c1003b644b505bed958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set0 True Passed
49d7502747650d5ec771fd6d700fabbeb4a00737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set0 False Passed
78fa208c7c9589bb50d422c53084531e48c9efee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set1 True Passed
40ee127f2236660812df675466ecaf08adf1519f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set1 False Passed
b6714acd5eb025a7511d0e707b805393f035998b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set2 True Passed
d87b9273e9e39e689508d8a106af0dcc03b366ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Set2 False Passed
7302850edfb0360cf4e33e925e72913b966b9bbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Choose True Passed
c203bd00c094af099248d5f53419e5e559bfd858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Choose False Passed
60831d3c5fac1c2006f4476434dc12211923d1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunApp True Passed
db274da0b46d0eea23988454e28a75ced8612ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunApp False Passed
9f131414e06eea2b42adbb6e981a667a6bf054cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Prime True Passed
dcfb8b7a17bb87812b9b1357ec15be9fd9693a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Prime False Passed
d96e6031b8f574ef4f18c7a2ea1413b7b1457b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def0 True Passed
f3ec73a27b0c467dba6a20a912c1fe648eecf18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def0 False Passed
92bd93c3bf977d6f41a9012b1f79cf2af46a5db1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef0 True Passed
85c819d85a26981d20c5cf2f89dcfdb6ec5388ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef0 False Passed
bf83bb2f0eb494f4f796329d5e748d7758cac359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1 True Passed
bf848681d59a6b75cf06ee370774314d8e52bcba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1 False Passed
36a54c5bf2ed7eb743f60726511ab5813dd361c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef1 True Passed
545433cc8fb7ab3f47709420565983615582c9ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef1 False Passed
acd430e4e272714aa2e6224214f27523e5908691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def2 True Passed
89e45641dad86dcec3b768f70885ff452812fbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def2 False Passed
5f615a1ad3fa3b819a67f988805ac61459631fcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef2 True Passed
d0c3186cda2163a75ced8e9ec3596db5f0711415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef2 False Passed
cf8b9684629a99c8971b57d00e78cac9da70b7c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1Recursive True Passed
0b5b81d39c1d2044e4fd1a8993a272391e3e78c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1Recursive False Passed
c97ebe7cc40734f81fe36084be946ad481e89593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef1Recursive True Passed
8b5ac222bb9a3420301abaf839ed726bf60d5887 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset LetDef1Recursive False Passed
babb3ee0b773de2fa186f9d7e833cc5c7a89b066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Extends True Passed
7ac37bee925e752e3eca23fa363a15af9cc3a9de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Extends False Passed
f63d2c22e8572f5ad57b8a084d6c9f3608fb67f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ExtendsInDifferentFolder True Passed
71599eda2600a50afacefdfea49aeca19d9e5986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ExtendsInDifferentFolder False Passed
c018eb9aa698078a7c9252d4f10df84d8d96c7cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Variable True Passed
51587f7161e67d8709275a58bc9b77585849c908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Variable False Passed
8229a435e2b2c9146f4a0b38678ab18285908e2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Constant True Passed
90c40b243b337914aeaa51db20d84f9cf37aec9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Constant False Passed
ea03eb088674780574083aa7f4b2489d30944764 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ConstantRank1 True Passed
2c0588e0d992d0c7bb827cfff904b7e548ad63cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ConstantRank1 False Passed
6ca42bfc18f9297c44deed08bd154924bd3d3f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Instance True Passed
a990b5aedb795ea5144489de65ec10f3bbc2c823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Instance False Passed
6aa7a8212254e35e3496985f2e1795c81e7282ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWith True Passed
a82d57f66cf9e961290005a10553c75afae09bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWith False Passed
3ac54a6445645ad998346c4665d8bdd4d99240f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamed True Passed
993f66a7a795adee05843e20650b47f13e36f8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamed False Passed
9bcdf32be39bfbd5314457b7c82eef63a1b820f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWith True Passed
4f824055775ff38d79bcff4e6984f637a1df366a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWith False Passed
d3be2f1d1ff04d98e2296c7962ac12410efeb9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceInFolder True Passed
22a6c1fec3bff0cf8eb9eb45153bc15170bb5a5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceInFolder False Passed
049560e124108da1d0b386e435817654dfc99ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWithInFolder True Passed
6c0c97739c8ce31f927e65eae525caa521b366b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceWithInFolder False Passed
a15d941a7c3d914ff24294c2d5ce90d539e18c51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedInFolder True Passed
def2f6725a7ef296d97d54e7f6bcf55f1242ba2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedInFolder False Passed
dc2fc1af87c179e167c087aaeca1e81715c43479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWithInFolder True Passed
b54cb43dae8d20a52d1a8de890cfddab1c3474cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedWithInFolder False Passed
452377b6dd3f6d0a0acf835841fc7c5008eda673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross2 True Passed
7ec23c1df511df35b194fbacea9b0015a79f0e2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross2 False Passed
80142cefc21d34dc9105027026bd565bb9a46519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross3 True Passed
b8f8fb4132303b04e65a5fb2f15562c21612b1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Cross3 False Passed
4b53744096e8659a0f53822f25c08dc6c8d9d65b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunSet True Passed
9a6aa811a7f635b6e3e2cdeb480fa1e90683bc33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunSet False Passed
176302bfdf1a5cb9154d327acda2b2f763a81b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset RecordSet True Passed
fb0865a366c6288bdd6389762220df040b2482fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset RecordSet False Passed
0d79f6daa9d935306355b6ef1a9afa35ab9f7c88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetDiff True Passed
c97101b5aac6abdfd46d87a34bde9979098f7cdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetDiff False Passed
6b781beccf5997d6f9b101ee481b26217a4a0c71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetUnion True Passed
84c654a75d4e1485b5caa4ca39225f7a558bf43e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetUnion False Passed
a568b8ad7666ee2eb5b3034e31257aa2ffe0d402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetIntersect True Passed
067441c2067d4ad6d9d81031198e463345bd4ccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SetIntersect False Passed
c134017916987236cde74165a15e680d25b40655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfCond True Passed
f9e7d372832ffa2cf3ca8c35aa441ff184fa19bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfCond False Passed
4c9bf445b8a89a67e14a7cec3a917e22dff036d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfThen True Passed
ea71d763c44c9b868486fc83028258baa70b9b86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfThen False Passed
a2286532e934651cf38cbc00e3021ec9ff3ab9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfElse True Passed
43b9b836c7083ce31db99c3ac8fa90ffcd753d01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfElse False Passed
029c2fc4a8cee3e22590fb482ed5dcac0452a56a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Subset True Passed
af3cf12b442bda65f4a25cf7d8766b830598b050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Subset False Passed
6f35164fb5336d3bceb0f7deb09efca348ad9448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Domain True Passed
b0ec9dc33f5ffe6f7f69c57b23d87450172da9de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Domain False Passed
518350b354e892799f751dac5f7675a5b355ea48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Union True Passed
9e32e6bb1664949a44d246f8540740e8f6c0c3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Union False Passed
702e4e04ccb75cec4503bb87ed51fc6bb098cdf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset NumRange True Passed
1a666dc5b420fc5c04e125b795761d4f8990f405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset NumRange False Passed
2fa9f24002d792b969467827f87df34ba5dca259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcPermuteFun True Passed
b55f8a92f67e0f579169389df988ff8637de2555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcPermuteFun False Passed
0c25d95910e67c3e017c43c809029b828fe2dc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcEval True Passed
8f91a0f3a5ce7f93950d938c583d2854c5e541b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcEval False Passed
821b6890a5ffd8ee615581e7e247654cdb9400f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagBagToSet True Passed
e4d23c3ff41d5fa79501e3e79cd4d449253a1e3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagBagToSet False Passed
5445719ec7dbddbd8ce84b8f08e77f7932e24ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagSubBag True Passed
591bf185d46bdf614227f22e83f054f48c6252f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset BagSubBag False Passed
0b115b4488d023eca9bb22d8d7f832178c775651 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SeqHead True Passed
60e9110e1a76b2eeaafa0cc25918fd41edf25b67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset SeqHead False Passed