Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f9bb6c08cc8745b35eeed52d2a302b2a4531e6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag OneLineComment True Passed
090d2c9b7101111f642c4208ab45267540e87a6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag OneLineComment False Passed
87b7fc5eb2b5bf6c82793416a4b84e6b924c3534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag MultiLineComment True Passed
9302a38cf2417b193f966784a00d2126a52f049e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag MultiLineComment False Passed
ed4b54698916d26a83178484ed4939256546754a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BoolSet True Passed
c52d28ab8e5c9d705c349932fc5064bfe187fc53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BoolSet False Passed
1f1cc2cba2d11ea149cb5b445ce5d89c94b8c857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Let True Passed
f08bd489597adb265345f37e2c2ae156e224ed3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Let False Passed
cd78380b6bb1c1101f3c4fe6f9c9e2f1ddc5d53b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetEmpty True Passed
a4eafbad371bfe5f3d7da9c8fb7d5d7feb58586d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetEmpty False Passed
7ec9d2ed433225dfd9f3c6aedbac65e4db5433d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set0 True Passed
24bd9aeac1f5c500ddb063009612e0f8acb6912a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set0 False Passed
d2ddddddf617df37f391d8b55f60175f0153ff68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set1 True Passed
daf4def87dc5aaaee60a73d42867f18e7425b4fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set1 False Passed
2c8035d8416894d34bc4c2eafd66cd7a1c2d7361 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set2 True Passed
2270037e07e60a5972416c20cf8a0e977fd3a40a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Set2 False Passed
f1fdec78c05f05f43c02597e7f20183f98739936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Choose True Passed
40f9e5fa52e88b0b289ffa8e070d43e75120bdb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Choose False Passed
e4ac3bd10c11f734451450e7a2f9ddf15276d5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunApp True Passed
83573cd368e7c991ae5bb37003d2cb9061e5a8aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunApp False Passed
b68384298093d65916754942eda6afa9d2469609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Prime True Passed
e64ad252b4029060ccb9dc9677bfe47777a2f904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Prime False Passed
560db1e0afe86dfd6487628ddc7947d6f54c09b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def0 True Passed
67351e9822d6e96c9885a3cea4d51423e1d3b559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def0 False Passed
017aa2e55441cef2fa45a897c75761c8f480761b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef0 True Passed
e3c60a8685b0ce0cf912425d88c18a13d38fd87a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef0 False Passed
4de01199c97ee0ed3cd690c1cf4d943816da54ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1 True Passed
b3e713d895ab1058dda9024f40f48c673e7d6198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1 False Passed
f16c2bcdf119e52b8acfa568b1ffc0de94b6863d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef1 True Passed
0495812246024152560f6c99d3298ea3c502f4f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef1 False Passed
fa5e7e1c994d60507313780aa7adb5afd9f6ac6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def2 True Passed
3f5e892d5374c466b6a8d918acdf5009c3fd1f0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def2 False Passed
df46e1ef8f55b2c7c0b902bd182e05382f5b14cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef2 True Passed
2853d64ff9ba57df1d8b73fd609b5352ec2a3322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef2 False Passed
6b6b3ebe0de18e34e09e5eb27479319dff0f6d51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1Recursive True Passed
2437ecb8ea0cd79901ac9a5eb9c2ed2cf9dfe4aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1Recursive False Passed
20dd1d40197c83d9cde7489c8e92049d35d602f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef1Recursive True Passed
4bcb5259c8012486f5ac7e3ed2ca3459c0d843bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag LetDef1Recursive False Passed
4f4f04910249d63d66f5fc7f87d3ec8c9a1946de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Extends True Passed
bfbfe6bf529c2386290aaad15062cb1e2a18fba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Extends False Passed
b4e40723f0580240e98b373a2d39e53812b7d825 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder True Passed
a5702483eee40b6bdf49e82f6e7ce4e7a1260d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder False Passed
cc221e7d27c4baadd9352429502e4edc0e063b1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Variable True Passed
61acb717dfd483ec968035095e4debbcf7c85352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Variable False Passed
7ae87077af41f50e8fea502593966c4e119a7c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Constant True Passed
27f05a70bc8a37ab6beacd805c9f115e1fcb0896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Constant False Passed
76db8fce34a3202829f8139553b61ff41fc743c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ConstantRank1 True Passed
5eb761a2503fb379b9b3a4e7490922e7131b4642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ConstantRank1 False Passed
112e9a9591e0b8dd3feb2f116172e00bc8184d66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Instance True Passed
053d7d140ec84a7f6811532385f7c52d7450e9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Instance False Passed
c47afa498673e8189138bdbe122111ad45d2d167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWith True Passed
e068851583cbf0f053a2e61b202820bbcf378ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWith False Passed
1362ff0f74fe8bc092233aff7407f46a38a4dafd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamed True Passed
a227357875b25d59ce03ec8207940a710c969c49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamed False Passed
89c0ff1ee3f6b154a0e8ccafc43eb1ad92b60342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWith True Passed
f4d80c8372d10cf935c986df907c5bfd9e290215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWith False Passed
a63b2e99e5ca78da5f5c0e55a4c7edbbf761f802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceInFolder True Passed
446cc7311a249e70b095f80486063d9b63d27284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceInFolder False Passed
b4ed85d99bc7bef3fe85f3aaca723f3785efc650 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWithInFolder True Passed
b329d89b0ed66e20405dfa7ca952c0768dd747af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceWithInFolder False Passed
a56867214e8153f3bdbae72d9ba564a286eb1bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder True Passed
ae3c069e5986e7c0d10354ba1745b61dc1837f6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder False Passed
b33978504bdb9ab9906f7d30023ca6b10e8b1e76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder True Passed
447ad077fa63f5790d61706271132c238ed0f95c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder False Passed
df4d9c3eb012c5ea7503ebe51ce26ed87d719077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross2 True Passed
bc9b54dfdc92d058245fcc6950bbb86d4e77ad9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross2 False Passed
1218bdd70309ed3251f6312dc9be27ae373c985f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross3 True Passed
ab05fb54550783754c707499f097c0024ceebc4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Cross3 False Passed
b0de781de06fedbd05b149516b7229c7690cf11b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunSet True Passed
23b69e83194e6f82916319f83d22f8534c117e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunSet False Passed
b2a9607b831a485369ebb9708919dc7b67f2f0a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag RecordSet True Passed
44d549ab38587ff555580e267e4ea2dff5d10f62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag RecordSet False Passed
06fcabbf030dc57a60adbf7647564c788bd1e030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetDiff True Passed
96eeecdab797fb65b1fd9295daab0d25f78afe19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetDiff False Passed
0ebe4cacad09760a0b0d284cb9a588d6aee1b615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetUnion True Passed
0a652e559b1d75a6cebf6c749906ff5cb098ed60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetUnion False Passed
5a2feb89790410b092f50e77ec01ae4437a28c6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetIntersect True Passed
9c8f62d520737221c9630bf0a858ffca0a4c4722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SetIntersect False Passed
35b4b5f042e5802240604499f48c09c58a21f261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfCond True Passed
7d0a00df1040eef7f848730caaafe5e90b7ff572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfCond False Passed
1b00927cee79d3100095b901029563fcd8556d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfThen True Passed
85f0530ef0ba1f723d39a57e7a7de6e4dbb54ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfThen False Passed
a5fc1fcdc2b9e8b7cd7b88d2e8660287b9056317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfElse True Passed
7c00234140982ff332ddf872ea3b1129986778da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfElse False Passed
1b67c7f768586445478527af1be79183284a6f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Subset True Passed
172cca298ae49c4ce2ea938e8b2de292fc9b1dec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Subset False Passed
16ff6591daec53ddaa9367182b362fb35a223770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Domain True Passed
ee69d1b114ea71b389dde58a4b0b7bd78d8276a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Domain False Passed
2ae2b3a6a76e49a1a41d8f6caf80c1c4baba06d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Union True Passed
3314330cc8f00d5057a556ce1802564247bb4724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Union False Passed
597b0b2107fd5fda71ba67811440c40a7e2eb6ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag NumRange True Passed
27b9808d69ec7d4f04efc17c47467ac20c4ca0dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag NumRange False Passed
4ec918d81b5b3e46bf2a3ec22058a5da08532168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcPermuteFun True Passed
6f7b4e9c219a31462a4bfd8000d04a2f3e29cb07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcPermuteFun False Passed
3e9a8e1f9676dfb5be157a44a51cbf913fe6149e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcEval True Passed
2fda14168524078acc0b704d708299ad57d67d96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcEval False Passed
a52c376c032b06bdf048bc2599ffb8eae98e5a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagBagToSet True Passed
118dfebc2da41b3c8b679de307d932b271fa23a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagBagToSet False Passed
8cd6217e6fd25d158df869b2ac08557726b1a4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagSubBag True Passed
ec1a583f26ad175b304796b98f827376e32a8d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag BagSubBag False Passed
2a31e49b717f354ea6cf6e71a5a080fd8eed4b51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SeqHead True Passed
eff127ea4e68ac24a8c2792b7655ef527dda4fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag SeqHead False Passed