Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8ae2dcd0593a29ec83c3bf9e657ce313fcfb156c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag OneLineComment True Passed
83de7e2de9d45005f4cc440d385e851a7e68275a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag OneLineComment False Passed
1b41d0ea5802cb3fa3a8dc975c09fbe532fb0ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag MultiLineComment True Passed
52966747d909f2fecf63810d6f50a18224a65717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag MultiLineComment False Passed
a662e19a723776aa4db8a4215d01fd9ba3c75d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Let True Passed
c577803537f7225350485996f613b824b9ed26e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Let False Passed
d56ed9dfbc22dbdb9de27f65c1b3f0443470865e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Choose True Passed
89802e09c6acfc4416bde9dc2f2a1f6343292664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Choose False Passed
655039d2143761268d1898762902ce11448dbc51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag FunApp True Passed
8f20e266bfc2f2c1cecfdcddb0dcceafabd045ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag FunApp False Passed
4f82a0bb866a9a6ed32eedee363eb70d918a79c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Prime True Passed
aeef01f32a17aecadfeeef28ff34435aab7c258e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Prime False Passed
5e9872e156c0c888e82222311fbcb537859f7bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def0 True Passed
6b4f9214a627cf647653933d5e7a3faa0c747c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def0 False Passed
8aed8c43f8706bbb6e1cd25eb3aa121154c66aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef0 True Passed
b54e2b7b6690c2599221728a5bfc415e051aa577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef0 False Passed
9dc226c5fd891029887cd7b727707b4fe61faad8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1 True Passed
6c1cdb66bd11b5c83bbd02a0bcfc9ff5cc5746d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1 False Passed
4fc290a38a67c7c37483d6628ccf9e3f31f30f0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef1 True Passed
b83179bbcd38042fe5d663faaff970d5bcd4284b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef1 False Passed
15107d7ccdd4ad6955287ce6ccf703ad60d98533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def2 True Passed
efc3eb457a07638906f71a9342b233d4dab5a0a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def2 False Passed
f1a1d8fb4dc672be0babc721befba45e5e4e69cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef2 True Passed
3a2e3aac3822e317a16acf43856475b686bae71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef2 False Passed
cc30f7576f5fc297025d9679c2548801cd86b69b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1Recursive True Passed
13dafaf6fe468a3ee3969cd553f7462f5469f83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1Recursive False Passed
0083b54572d432104812353cc9cc00f4dd78bb9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef1Recursive True Passed
0a3cb13932ff24f0657262fa6fe3330b0c93ba0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag LetDef1Recursive False Passed
348276e392b9cc015f86767368c034ccf5dc7107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Extends True Passed
b2622a548c8d1eff7c595fee7ceaddc3fb18154f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Extends False Passed
b6c42efffb10a6250fd3dd3e9eac42a24aa16e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder True Passed
9921ace70c24eb9890cabc7374917496f6745753 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder False Passed
59daebe1b46de22bdfbbf690488294dd7314b1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Variable True Passed
651e619b94c4f05a628854cc1b7a1e71a2090184 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Variable False Passed
2f6a4b58a36df45872595cfae4837f39b3711eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Constant True Passed
60e9b7ceb348107cf2ea7590c7f8761f9a6be718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Constant False Passed
73f60199ec6db2120c38a134fa06d19ffd89a310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ConstantRank1 True Passed
1c88f0cf95cc0e0bafca980a5e8d25ab9067545f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ConstantRank1 False Passed
17f721a738204e05b0005eefb89a62b478e9a236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Instance True Passed
0056a354cf93399c83698aaeaee68b6295fbd6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Instance False Passed
76b5c754fbbb0a5b83b379a12d0c34242c2e6e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWith True Passed
e8d97973075b2d57832ebe70c9791336b9b8f06f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWith False Passed
b08676ab57819a8cc4525f3b2013761b71a1d5fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamed True Passed
74c08093e56ffed6e30ade0e992842752ca4450f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamed False Passed
a00e3079a80451255dc3b86cc278280f6fedcce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWith True Passed
08ce186b958552865db697ba8aa0e889dc0e8a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWith False Passed
276b635ec3be4d5829cf0d3a6fa5ffb1b7355a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceInFolder True Passed
3b03246e54ea7b9204800302e36657423d435561 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceInFolder False Passed
4b5b91ab099c69b4349b59806b3997ca63eecc95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWithInFolder True Passed
006d6b3c05cac7bb40a92b0b0ff2e59001dbc140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceWithInFolder False Passed
d74142fa853e27195f0b3a98b00a4564427837be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedInFolder True Passed
1113a347e5772874cc33b529f4b6060c74371b9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedInFolder False Passed
86dfa6028d5a7efec84051bdc2e00cd42a7dd9c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder True Passed
c961fcfd1e008b2cd83441caa18d90dee439a6dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder False Passed
9eab8e58ba43f558341aae4af11a79c1c34d5cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfCond True Passed
8af98a09ff098ed090067cb5ac26ed4393e33c5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfCond False Passed
be03cda1bf042ccac8df60707857724d7fc57549 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfThen True Passed
55dfdf9fcfd0e4969aad7c0327a20610c3aec1e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfThen False Passed
e2cbc2885eeb6c731ff0f2182b6cee2f4cdc1763 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfElse True Passed
f58504cd119930ab49262d980d91d7e73f534bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfElse False Passed
8c28e876f73dc0bbe17b30ed75c2482d4cec3fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag TlcEval True Passed
2ef20c4a37b1f4f6521ecbc0b21259d676fc0bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag TlcEval False Passed
dd548998d1a9cf3d7bf1ed1af6017bea701ec68d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagSetToBag True Passed
5a7deb86e70e4db166a5893fc8fad7951f0ae714 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagSetToBag False Passed
264ef780e926b6b923641c92af74121f0ae45c38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagEmptyBag True Passed
34e7790345c79dad97da5f4ccb3002f7936af617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagEmptyBag False Passed
37665e1ec834d67f59e7f755e316de935a449b2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagAddBag True Passed
7834935fd05a34bc93ee2096cc7ccb2c421feaa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagAddBag False Passed
f1782f08c3a0538c82828f9c65279a78613bd30b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagSub True Passed
3ceeac036600c4530b24d1fc6a541053ea321c5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagSub False Passed
199d302b48de52fd9b2a6b0723c39242adb72f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagUnion True Passed
e1daa3fbbdc53305247d8e67c514ae6e6ad9ea4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagUnion False Passed
22403ba6e02caa1e0038af2eddc0d0892ad265dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagOfAll True Passed
d26c0655b583d39e48f425fd781053b97b7ea64c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag BagBagOfAll False Passed
72502b2bc21748c8324f3f92983fae2912b986c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag SeqHead True Passed
bdc48e63bbd8e7ac507e90533d5350d97a626e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag SeqHead False Passed