Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
834b01f3559c5c448d3de32c6b6a656ed7c49ed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll OneLineComment True Passed
e2caf9a7e1e31dc83c7bbd6efd15f2493e30ac15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll OneLineComment False Passed
5ae259140f817d4afe521322572c8f0d9606c248 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll MultiLineComment True Passed
b2c69ce7b066b240660604205c4e8a739c23b0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll MultiLineComment False Passed
f790536628fc339d9a355249e256a1bf74d07171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Let True Passed
cdb23c4481a20eee13dfd127b00c6862a7463317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Let False Passed
dae59afbc0ba682a856492e2903e2e8bd95ceafd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Choose True Passed
73072583da4c343b77406e70a41ee3cd7277081d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Choose False Passed
ff426a1919d96e0bbf811614cfaa64c613f94799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll FunApp True Passed
8f54a230418a57ca02b6e97891ca86c02c8a2ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll FunApp False Passed
427a7237924e24f9cb9ce79ee811b2cd2b758c8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Prime True Passed
09dc87e91e2e3c45489274628e671024247f2468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Prime False Passed
53dbad2b82dd20cc2b4def183c7e2fb294fdb6a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def0 True Passed
c4e47b73f6ab8464c01b5ea67153faace49b632b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def0 False Passed
7936666b9fe18bb3e12dfe429cd8e4332e9ea47e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef0 True Passed
486a7fd7705afd5c877165353ffa66887c176857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef0 False Passed
e6e81c6faa44f11c6af398f654e347616d46a538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1 True Passed
88c0e96ee71e4dce7b426481ab61f2a3c1ea5b88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1 False Passed
e8ea9f12e9660e680f910adb2e4630b1ed310646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef1 True Passed
48808a13c23b9ee670081f34bdafac692e0a8ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef1 False Passed
38f8586316998381824c983363c07767614b88e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def2 True Passed
6cafc0abcb4fc0f258d8e976d45026b781e5e6f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def2 False Passed
85cd686fe804f2603f87e263beeb956a566ab10d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef2 True Passed
80bf96985a87610ae9ac34bc78215ccac867a6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef2 False Passed
69bf30e7d5ae6b258802584f8f8aa9c72df69486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1Recursive True Passed
a4438dc0f260c4be4a6bc59be3f301eb0134269c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1Recursive False Passed
01faba1af01a877e37b0aac03329cd9224220c6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef1Recursive True Passed
c0b880fcba396ad887359ef9449024b0030996ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll LetDef1Recursive False Passed
38b7b33f1e7aa5ad618ab5e2b1c6a67d847420db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Extends True Passed
ad766682ab2de80ce43bbf5b752a4ac8cd5d96ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Extends False Passed
dadf141aea98a9b9ff08787f649eb5314930a3e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder True Passed
60e7a0cc3c0193f8254f234a5fddc5acb9eb4546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder False Passed
775c2cb8821e2dba88b5f22e454f709b49a2a9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Variable True Passed
b148b709babb53a99fc9a2d0d2c4ad873eb1fe4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Variable False Passed
109469cb39b0a95a85b32797fd343a576c2868dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Constant True Passed
b4713d07152882bbf952bc10d43bc06c41c2e988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Constant False Passed
4d2c46377f2c6abec119c249b6f5bdb589320925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ConstantRank1 True Passed
935c9c95769782ffbdc71cca48526ba93a01d484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ConstantRank1 False Passed
3294678f89f83deb2c6f7fa301f6755a6a761157 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Instance True Passed
91270287b80a092ed1c632d4743b4026c14ea1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Instance False Passed
700a50ab3d25bb09800ec0d6e898bece03cc10ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWith True Passed
f89581e4df4cded18b4ef87a5e09162c9fb66ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWith False Passed
6b1a6a731b7092bbc151f8b6c5feeccd1beacc50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamed True Passed
115afa1da9d8a2d292bd5c85c21e61c479d8065a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamed False Passed
6db1a7b834eceee38ad619a3a78bf8c60e4a73aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWith True Passed
3068d5545c8a361e9d24c7e0280df7a7b507fc8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWith False Passed
f031b3a456427fa47c2ae1bc156be65e65e18e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceInFolder True Passed
3e0ad35c1cc59751b9276d9366f1225eac8af0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceInFolder False Passed
e37086374a272bd409403d2ec862a4337956644f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder True Passed
9a9363eb4bed7bbb43e8b097239cb0d72fedb50a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder False Passed
6edbe91d1778d43cb0b9dd1313f9018fdf57a928 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder True Passed
5e91d38b868c0b051aaf89b2706de000c77bf5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder False Passed
5810b3ff113c783851c23edb7065512add05dfdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder True Passed
370564b209f8200dd31051f25da367b91a38f579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder False Passed
c77b0360ef959e63f3a07bd19098aacce5399a91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfCond True Passed
19f599db8aa06e3bf3163477ca425d1944450632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfCond False Passed
6891de09d5d487fe904cf912157ebac1a2a66210 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfThen True Passed
95a4b66d1828f1d435d8d84bd3a512397d7bf4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfThen False Passed
8d72bef1e1e932e057bd0d3e98af2ae8fed4c67c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfElse True Passed
bb821fe58b09780ce8144aa56d27495c7334d699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfElse False Passed
3b1bcf61fd7c481491c150edf8ec72387b49266e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll TlcEval True Passed
61551f09353c387d1b49ead5712b93e7b8c96654 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll TlcEval False Passed
286e3497d5feecfef6b236ab0becba5c23e4ad88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagSetToBag True Passed
ca071a7e3e9d17cf03b03e5ffaaa76e7abfa6b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagSetToBag False Passed
f1dd95b0f776b36df5a64e745b887472d6652d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagEmptyBag True Passed
c657ed15e5992d4935964e7b13e91b63558064e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagEmptyBag False Passed
68fff2d350bc67492b200bddd05b307786c35803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagAddBag True Passed
c27e755b5035bcaa727a70748e750546a8398730 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagAddBag False Passed
81c89fcaf5b6d48ce3d9fdc54c01c3fd20bd0083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagSub True Passed
aabb0e28dbd026426b3588dc7eec6c29ce789375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagSub False Passed
5cc30df19d72c5ca20c1decedab549c183f8468c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagUnion True Passed
6c2c73e23c24ef7350dfae8f0013010aad4ffa13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagUnion False Passed
14c0674b393f54d80abc02765457cdc8314fdbce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagOfAll True Passed
250962e9702a10e9dfc8a3eed4e365db2c70cfcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll BagBagOfAll False Passed
6520f8bf047da0a815ca83d80e8330c83a9787d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll SeqHead True Passed
cdc24826600ce00cf1b57d73acd0b6c9bc78078b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll SeqHead False Passed