Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c7d06eed62a380ddb1f47bde20cf75539f78c54b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain OneLineComment True Passed
3209b982c56bec0d4e7f401871e7a3431f3ab4ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain OneLineComment False Passed
573fa7f3680fe7c57b3fa532f88f96e5cc5b5511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain MultiLineComment True Passed
30f81378612de5fa245f0dd91bfe94679c1e336d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain MultiLineComment False Passed
9558361fb48467a1628d4d5c86bc777b37ec8b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Let True Passed
f5ac47428d72c573c13e007e820a01e25d37cbb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Let False Passed
e4377105093f4dd53c2493a8130cf457607f9cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Fun True Passed
5bbf71dc2d06e98ceb6a696ba2b122c9a5f7bdde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Fun False Passed
d9a4e05e4ae9b88ad5e47d8a029aa718e3cc2145 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Choose True Passed
5bc9986d293fb2d0a49fd6522aa71529a20ee5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Choose False Passed
99481dafd75a49fb1a72da11c89b6a86dae8635a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain FunApp True Passed
1ac14c449c046ca4894b4e7aa327296fcba60736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain FunApp False Passed
687801a713e2c7567fb2ed9eb720c0cf756db572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Prime True Passed
89af8c880dd999a24ddf97f076c76a2145fedd45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Prime False Passed
19ac56a365bfc4b77c4e0662165371fc8aedaa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFun True Passed
9903b232a8f29b0bd95fb2ad44f7ab952c5c76cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFun False Passed
3dd9bce2a0a558426842a52d518df276086c8d73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDefFun True Passed
fcd9dbd73184f486983d925766ffb3acbd6d57d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDefFun False Passed
ca193e6d4640514f62593ebdef10a8a2e9e9c2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFunRecursive True Passed
b0f6768108e089562a98291ba02b904d3a49ed39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFunRecursive False Passed
93df12f76119df581be9382059ff3358c11e9a83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDefFunRecursive True Passed
81be3b5e4d36908b2906ed3b7ed0d0633693b048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDefFunRecursive False Passed
232ad3bd1b4218b4da6da6a7d16e0422407b6741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def0 True Passed
5718c51e29804332cb8f5fe777e28b7867e17c14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def0 False Passed
55a7b34ae9eb21277305a0c942dfb67ece658932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef0 True Passed
c3690f3ea887b288a27d750b372a51334a2a7c37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef0 False Passed
690b477754ba47644b86cd8ccce06d3ab5afaab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1 True Passed
a2f34485381033d626ba3796d5f80e1b182aca47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1 False Passed
964b0cfa959de3197291c716e575ea6a05061fb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef1 True Passed
1ca34d2f4d651aa96e6edcd829eaa67b845ed592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef1 False Passed
539534f3b024fdf44a1cf8bf030821b2c6c3b34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def2 True Passed
ec30d4bd248b4caa6576eca5d7281a8c6c5cab01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def2 False Passed
b424cd1039ba97dfa9309e68c8d803b1607b8d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef2 True Passed
28d5053ccf4c863f149216c97b0a6c06bb7bef93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef2 False Passed
437a655f8c6aa80136fc5612af0f174ffa041fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1Recursive True Passed
105ac02af76d6ed08c2272eeb96b0e214dcd64d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1Recursive False Passed
60250914cb6807906f0e4a18c1ee1359274abda8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef1Recursive True Passed
65c6dfd896638c0f437550872a2fde45e47d0b1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDef1Recursive False Passed
b4143d3a2191020568c51996f51e1c4ca790dc09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Extends True Passed
9cdeb2321a32557960151964dd6ac88536390a91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Extends False Passed
7dafdf1156f9efe9cd8d59ef446e2d90fa7ff935 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ExtendsInDifferentFolder True Passed
13146d050e0004393257c6a95ecf9a630e4de734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ExtendsInDifferentFolder False Passed
e061b9ad8fe771c1da4eae3e53224d4d24183266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Variable True Passed
b2d85c68b0ececf4ca91d1d4aa85985d2380cbc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Variable False Passed
2cf7e5d185eda74c5ebca68a00d32129f7dacb2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Constant True Passed
4926934c7202cab7c148ecef8bfe63ad37895b21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Constant False Passed
4e5a90c95c6c9e299504d78b1050bbe267f1d349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ConstantRank1 True Passed
4b8efda6d694d0d3b96ad75cf35c4f2075aeb550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ConstantRank1 False Passed
aa9245c5b1eae4e9ee835f2b3f3638d203d656d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Instance True Passed
24cf3a3dd3b1be8e10a2a293159e777ce887cba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Instance False Passed
648997c1c96998107770e92f93ca666c35a1ec07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWith True Passed
c2dc53d2a8abdc5fefad714835bdd2507941ca77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWith False Passed
820f4421337a44745004c7ac5cb1b44a818d833d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamed True Passed
ac7261d449990a0d64abf6b058af5317b82929e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamed False Passed
d2bce4519b139e95a017721c3be5f476b967e1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWith True Passed
fd4869d55861c7531cd9855a87949077490fa5bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWith False Passed
3d600da9d8218d04089fe80aa119391f3cc974ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceInFolder True Passed
8c326f006f77bf52f04268acc30d65c3bda70806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceInFolder False Passed
1aa78f07d1178256451a49f56504e5040b91bd23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWithInFolder True Passed
3809055c4eb989e4c482a3eb823ee23dc7898151 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceWithInFolder False Passed
a61f666b4f3af4c648bf6f0e9c39a1cc31cf3190 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedInFolder True Passed
e193b11c36a80101dcb6230104a2ae3ab7b2d615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedInFolder False Passed
ebb252fbbb714c6a98940f8bea629ab38343320b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWithInFolder True Passed
ea5b294c962455d617f00650468f4f7001550df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedWithInFolder False Passed
7abc972d5e9a52aa49c1e33ab005bea84ceacdb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfCond True Passed
5bd650ed240ed989529ac9fe7b0bf98ef10bd4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfCond False Passed
55c86383fb84cf4a6282ce5f953cac571440b677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfThen True Passed
22fa747770b48f2383cb1833a6fa2a6a6bc556f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfThen False Passed
80ce168e4405efd7437a50f44e47b75f887b12a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfElse True Passed
224bd187e0d4a412508364c5a7201e6e7b592543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfElse False Passed
1f10b6893a6db2f5824bd59e4c3b6f4afe50db9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcSingletonFun True Passed
884d977d9103b4cdfa48209c9bc43912a5244f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcSingletonFun False Passed
8480b9b7f15a62b3188d876abb8c4511cebe9182 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcExtendFun True Passed
42ccd90426d78641f6b4e8e22765b7510a7dba96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcExtendFun False Passed
f8f06dacfcae8cdf37d739fd18b597035e3255ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcEval True Passed
dd6fd47e0e831d16b7ff3d14f9fc467f4f66c90e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcEval False Passed
4980a7792d9ef2c525a47a579ce6ac64ea491c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain SeqHead True Passed
b7965285073f83853606acee1dabfe7b9c1d01b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain SeqHead False Passed