Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ad16a8e67414c3f87f18ed60ee90d9276c18248d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality OneLineComment True Passed
8ae460d0ed034cf0d9ed00755f4979eef3e8159f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality OneLineComment False Passed
6b839a698deb12c5949028c535526c06be32210a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality MultiLineComment True Passed
8ca9cdf2968759254e3c7f53ab8372b0f0b2973d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality MultiLineComment False Passed
c346909e87393677470346502d87435cafe662c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Let True Passed
bf52702596a88a5f48a782908ec25196a55fe5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Let False Passed
1bf0ec602175c83e8cce8172c8ebb9a24624d966 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Choose True Passed
20a6976ebe32ead63a0b60c86d44c10195dc49da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Choose False Passed
1fa96adc8007f555ed9cce5e066d1efa3e3fabfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality FunApp True Passed
ba1cd2f85d636159e07c7d02cb11882265cb68d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality FunApp False Passed
adc1173a479d7cb9ca5b5619eb4d6e627521a741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Prime True Passed
84cfd5ae2392d2282a265c5f807d8cb8f2ef8cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Prime False Passed
20f7538133eb6cc0fe3db42f03916d6f98a87a67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def0 True Passed
8ed0000880e14a0782b69f801fd741d356d994bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def0 False Passed
69966c5ae9a8b164fd546474e09640cd811b4428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef0 True Passed
1a58ad36240afd22cfe6a5b169e7e54b4cca63d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef0 False Passed
80ddb9047266223f70f9252c88f5b26d64d9bb2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1 True Passed
a666a8fd356e41dfb969aa87585e792f77d21004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1 False Passed
86a720aa4c4dd03703a3af6c8d1ee42094c30ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef1 True Passed
f429811c969bb1863435e9664d5affb4cffb2f55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef1 False Passed
e3388843fb057f99dda0fce2933483ab9742c608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def2 True Passed
52b0f6f007715219f54e46437c4b3bdf5b48ee81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def2 False Passed
1aa235d308ac4381e61226143a634adba646dbba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef2 True Passed
08242a3b6e795ac706c61b26cbed7465fe39e921 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef2 False Passed
fa0c147b00a87566d92abef1d0334bdd194ad8c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1Recursive True Passed
0922dc54b9c6331357a79d20effffc20d64e6982 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1Recursive False Passed
f590fa193e4d324680032cee175d6eedbab16de1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef1Recursive True Passed
762d8cf4cfeffb9eea0d8397e59dc7822076d0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality LetDef1Recursive False Passed
b1b51ca0aef8e93be128df1da3db48191cc15adb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Extends True Passed
e7eb30c67d72c7a207f64322b1f6c9c9b98dfd32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Extends False Passed
f8e182fd177f5ef94d60f2c6bd77777a027a2af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder True Passed
866a158e0497752dcd04810e967834377ec5b483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder False Passed
0bfd46a6d7014b50da0d7e605f34dec8a1fe0cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Variable True Passed
31c541181a2b3b35e5ddd1f7dfc3c2dbd558818b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Variable False Passed
01e9d82387d941a24dfadc46858b2dbb6c5b751f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Constant True Passed
3dd9862669bf69bac4ebe43e3ce1eec73e47a183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Constant False Passed
7200f93a1903c8daa9635bb7ad28d385fed40856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ConstantRank1 True Passed
0ff56e4d1964a0e3a15db50cfb272a334cd1f243 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ConstantRank1 False Passed
3bb9dd5b70126ca685b7c920d274f272c856ea99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Instance True Passed
85349057e9c3154a919b2e89a602d5ee55008e12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Instance False Passed
fa6edab87da70207177d8ba4c8185672c07889a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWith True Passed
6e7a165c3dc5b6d8424d8897a80db209e913e4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWith False Passed
fc604d052f2c4eb2155606d541f09336b228e887 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamed True Passed
35babbd66965d7cbc81d1c7cbf060d3003baedc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamed False Passed
dd8d04e23684977dcab0b742924b52d8a29e0f2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWith True Passed
8207713605e5388520b377b4eff7eb6d80b77737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWith False Passed
ff9aee5ed099145f64170849482ef0e9360a8ddf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceInFolder True Passed
c8d252638db68266c127457afb29e3c40fed4023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceInFolder False Passed
2758064ce7eaa513eec12c53876ef29ca44dac88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder True Passed
95a55688b98dc79ceb559431e76286ae285f1df2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceWithInFolder False Passed
c6b7f3c454bcb29c63354f4c479dc7ce838130b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder True Passed
7d2759593b9be94d4c1510d446b91fea19227749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder False Passed
b4e13313e12a2560175325b8fd5cc66916b58d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder True Passed
680a9e2c54407053d49c969c1771f4996a05cc73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedWithInFolder False Passed
7f71b413b67d5abed9b8a427726da9661f8fee01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfCond True Passed
0776b02eb9823b8ae2b5d07f8ce862646f962b80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfCond False Passed
da82a59fca766547f7e3c430ce3fb37ccee80dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfThen True Passed
bcfcd0238bfb572d07a8f5e56e8f7aab74e903be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfThen False Passed
19efbd611280d6c2a0517b52cc25b80ad0f0ceba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfElse True Passed
4e25fcb5e3f40ae276d4c3c4e8930b5fec4edfaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfElse False Passed
d82580b4243c97f6a83d8bcaad94c226107934c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality TlcEval True Passed
dfd9d666abfb73f479c90f579b8b9afcc411f4ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality TlcEval False Passed
e67949c03afb4a760041b9a1116b6b23b36b3f85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagSetToBag True Passed
706bbe3148d6fe86e9ae82e2c8e5ce245074a8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagSetToBag False Passed
31b10f11585762cf6f14a97d84fdb537d1e87751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagEmptyBag True Passed
46c15bca53841c020e11eb1b6f3fe095566e1e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagEmptyBag False Passed
5a4f59ec9eae3b417d3a5b640681defa251caee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagAddBag True Passed
aa95428f5f3d0f4acd4904ad6765a1860f6673df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagAddBag False Passed
7d920de13e798c0c6a83b8678975f7f4c1618ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagSub True Passed
b87ee45bcf46d3b2450d65e725e65d734b26349e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagSub False Passed
eab65885051edec2c120e2469d4e7f104ceb0a46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagUnion True Passed
37bf44f4f735b5e127c976292aaad8448ce19486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagUnion False Passed
b8e297f6051ad150ff8944b420796f666a90fd44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagOfAll True Passed
6faf5d335f4419b3e40f382a6cf1121bda633fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality BagBagOfAll False Passed
508748e61fed26ecc7d8865c709a66533a439d6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality SeqHead True Passed
3ae5d6ca8e7f1ccb17ba90b045c7320b3269a626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality SeqHead False Passed