Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
36aca67cd9d281c9841076d57e9f7c9e7a21b3ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll OneLineComment True Passed
73ff82a34ac699cd674bc03eed367a21387f64d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll OneLineComment False Passed
3bd6c2042e98ecbc25f418b009225314364b878d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll MultiLineComment True Passed
e0d13f279bbc696eb3581c1b0f75b0f75601bd6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll MultiLineComment False Passed
e94296f5c6621840c6e7b2d0854cce2916c275a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Let True Passed
46bfa2f122398409aa0f63b26efd37296eccd355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Let False Passed
6ae224724475d0adc33c6bbfca9223a34b26d809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Choose True Passed
c605f20fcb6e6bca6cb73e342f75a77488dbcd4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Choose False Passed
41892566db8a2db6c8f3a5051887c9dad839edc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll FunApp True Passed
3460db8b395ef6d232b49a2ef197afa5fd25b4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll FunApp False Passed
45d761f56df4d72d5fea853162d5bbde5ef9406a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Prime True Passed
65e14b750ca608e7e38c7d80d2f3afec9dd19803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Prime False Passed
29a31f546d41275bfe563fd9caaf77994779e6e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def0 True Passed
3a90d568d79e723d12e7af00cdc2ea42d2ba1548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def0 False Passed
d884d135af6a6d1b463a8db2f7db7772ed7dca33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef0 True Passed
d64d5bb56eb44315a12a6033e654f4ee1593d1be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef0 False Passed
e9f2e1ba05d07f37cec1bb65ad0ced670dda39d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def1 True Passed
877c7449a80b2b424a65359ded4ba7ce6064eb04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def1 False Passed
ae6831e5ac2f4917f9febcaba2a5e1dd81928790 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef1 True Passed
a8c661967c6cb2091a55de0ed8b7e1f50010acdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef1 False Passed
6528c44985707bdb7d74bcfcceec69f83025be03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def2 True Passed
8b99da25b835d345d1aa2b29f215d1718c5532b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def2 False Passed
f580ae60f3d508e788abe48a8a89a0b5e3ac3c7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef2 True Passed
8e06dcd26c169389c62c3c5d33f30bb5cca7d665 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef2 False Passed
b183b2098d7bcc9f271023a36519c5722e1c38f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def1Recursive True Passed
104a9f55ab4afda5e1987bec64e81d529db31740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def1Recursive False Passed
567b8585057af0b63df044e7a13e57512f489620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef1Recursive True Passed
1bf2835183f1c46f3449d68992dda4efd33ab992 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll LetDef1Recursive False Passed
ed2f76bcff2b6e8b977091966d9d210b65e227c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Extends True Passed
f279c99d7dab8bee50072fd14744750f9b59164c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Extends False Passed
ab4cbecc78acf6c70e6f1e99159b6d8ba7fb04f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder True Passed
d6a37e648398334283777befe0e2c3c2053b8b09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder False Passed
eb5c719c3f24babd91d99f9a65697b7abf2abd80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Variable True Passed
ccb5d2b6a93e98e5c2ac160524f4ca69cf37357e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Variable False Passed
63c8bb146a15fe90d2d0bc007f444fe4a65e2b79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Constant True Passed
0f6445e434b558123c6e4153a16de32912726c0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Constant False Passed
34fa5b00cd1b7661d04a17a641be526378c60f4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ConstantRank1 True Passed
11b6fadb910d4624bb8e6bde5e5927797e706655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll ConstantRank1 False Passed
b81a1aa39a761ac0ecc92ef7cb69fdbd2e60bb5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Instance True Passed
54876a743c10eb34fbe3395e64cca18eb7f042e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Instance False Passed
270c78041f7453bc12103978acae1d5a72846dae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWith True Passed
02de805f179c5072736b05a51cd6e4b807c69877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWith False Passed
22f74e81553505123d9b6bfcd607b9b9adcad5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamed True Passed
f65b0bedd4dc67bca24f07256403ee241f8fc986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamed False Passed
dca1a89dc94e84594874ff648aeebd3d7412b5e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWith True Passed
99d5b5ea59d6514264c2a6dfd179159bca91cce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWith False Passed
fd8c93984e5348f2d2ccb20c68d06134a2e9616d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceInFolder True Passed
8c5074c816d958adf3d5ea8e30805aae776e65a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceInFolder False Passed
5789a40c7035d8ed51384656988b2cf651216e4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder True Passed
3db3ceed4b533609338c0bb172d6dcb869515c3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWithInFolder False Passed
181fb7abeb38d88bc0b8cac1c024530cc45dfe2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder True Passed
d0792e34ce5d72fb80c8d75d9ddc124ce289fe67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder False Passed
1a440da778b7021c7e5bd35a47bed538873e5777 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder True Passed
3de028f5a1d154fb906c0e3f1cd9b0983d041495 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWithInFolder False Passed
1344d1dfa0afa44425220c2e49b58d99ddef592d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfCond True Passed
1b4823d79a17656222bfc833d355d565c64d28f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfCond False Passed
0b90339a0b41c4a5ddf83d0369fff9b64392ee76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfThen True Passed
6aea9b2bf86d3cd51a72d2f619d77a9f3f9d0881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfThen False Passed
d6984afc477967916e5ef6f395abb52661d2b6f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfElse True Passed
2e7f3689e0722507fad87cad594475945209f0ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll IfElse False Passed
9a09e66ebae76dd71e31a7b1840dfaa0449b8c3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll TlcEval True Passed
a4ffe4e720dbcb7fec4aa07de933e997179f54f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll TlcEval False Passed
0326401a43997adfed9a76b150050882769abcb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagSetToBag True Passed
94d2f4c1bfddb3e2fca4bb51876da67ce6c0114b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagSetToBag False Passed
934bad3d815f21a8c3b63cec1392d9aea0037641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagEmptyBag True Passed
5ae7e41d3514812a7e4678a3306d0daf29672165 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagEmptyBag False Passed
e492ac4eb947b3ac27ae979636d93d85a02585d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagAddBag True Passed
c7a81b19d697ee92eb9e26a10abfd15a2496138d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagAddBag False Passed
370fe6b01f1568198569b09da75e45cb5f840c4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagSub True Passed
914f3347921efe48bb24af24ed841f2c3dcd47fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagSub False Passed
145a3f2b002573d20f2f785a8189b08c85b7ee77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagUnion True Passed
b4a1694677c0f668e04f1a3663df9e8e349008de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagUnion False Passed
ed5192a02ea3b5d4e06e0cf6be81cf70e7497081 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagOfAll True Passed
aa66b29a2914749f44a1dd697e1c40669e3bbf82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll BagBagOfAll False Passed
134b5fed0d2fd9fe10a54605c9da87880d73cc30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll SeqHead True Passed
dd28547271adadeccba856c9da53de176a8c579f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll SeqHead False Passed