Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8cb7801a797667f393e8f6f0ad4540e64611418e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag OneLineComment True Passed
93156ed81302460cd6e9870d5550f766f28eeec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag OneLineComment False Passed
ef32629b95958e6a896baed535522aefe845e3aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag MultiLineComment True Passed
1d86fee24ae63d63df71997ea021494068cef2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag MultiLineComment False Passed
82017e2a537d5755cc3bfb5bc6ac2388821d8250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Let True Passed
9d140248eed73d823c3dc23106c159ed3b2ce0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Let False Passed
91a891720047ae04952f72f7b92ac6b938fbad61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Choose True Passed
fcd1f18de62b358efe7e7c41855e5b8795315256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Choose False Passed
678b03cfd2daa22e04faec6f1d07267112bf62f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag FunApp True Passed
35487b574f4d1e37e00241464bd9ab27a786e6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag FunApp False Passed
6b7768a593b4ad2fa34594ddc9be21c20a55d3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Prime True Passed
e8a3bc06fd6a01a60f8f9759da87c95ce5f5ddaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Prime False Passed
e8277f3f07c560eaef033edf5e6614c079fba2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def0 True Passed
c31bc833a294430c97a8a76b363fbbc8317f8715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def0 False Passed
b3a8aa10a61b23e0b3ad940bc816520fc67c1628 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef0 True Passed
5398f26ade66965a2062c17fcfe2e0f1fc087174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef0 False Passed
889059818ea6cb579915861a583d07ab37f47522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1 True Passed
058bedba9bd11ec64bdad664e80a474d718d9c27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1 False Passed
d9b68c2837436e17b7ee049de67c2648df54d2fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef1 True Passed
44de03b27a0504540f1cefbd94533f8fc40fa9ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef1 False Passed
f143b48afef8c31fa7356297a0197a44efe08a71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def2 True Passed
4bccc196c492a6780fd6c8782cf9821accd69d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def2 False Passed
9932d5c3468024bfa116e030f1d7de92469bd8de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef2 True Passed
2efe86542c7501ecee98b64e8455440a9b76fca3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef2 False Passed
a52145df96ff4ce7dcaf0b1c89ac5b535d04040b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1Recursive True Passed
6081aa58563e7f54549f8dc77ceea43be0336135 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1Recursive False Passed
0b02bd95078ec341f2368ee010abbcc052ee1c64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef1Recursive True Passed
d0b3a21bab01b5f0a467a8f4d8ec91d210ebc724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag LetDef1Recursive False Passed
f05943feea7a231a535b1468fa5f0b4461036772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Extends True Passed
da735add4adc1d12633f641e9590c734477fd0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Extends False Passed
c2be461f1e981ea6040463123d959eba699b890a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder True Passed
f755a4939089cc43dfc39b8cc8b56a2c6ca6ecca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder False Passed
40fc286620fab0712096e5066bb4920617c207da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Variable True Passed
c068e759c6068ce268a797e23fb17fc2e580c500 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Variable False Passed
854d8beda16f873709b9dfef0a56e76ebda06620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Constant True Passed
badfaf3ae1ecafa9f6386c350477f254446fb8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Constant False Passed
07f7431b2ebf2ec4fe6b34a6c1b6d19727cd7c22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 True Passed
1694d49c690ec85ee9eca6b387816e5108ae04cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 False Passed
35117be95b7def0298f52ad815ef8f83bfb517f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Instance True Passed
177c55d6151ab966aa7f27741b495012e4991613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Instance False Passed
5a90e21dcfe492d7a79a2233c2ee80ddb814a646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWith True Passed
1d1f373ce36658a4ca53591c6a8df4a1ac49cb59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWith False Passed
375db50a78078de6eea39084874eb69cde12b330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamed True Passed
e5c4736b30a459dd7c54d1a5700c6734fda24a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamed False Passed
21616c11c5d8d7643514b3f47ac0cfea20d0a483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith True Passed
57b4b02f2a162fb20549e76e86203d34c7d4fc0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith False Passed
3f1bb32b4952be70c5ed6d9b6c365654c420b1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder True Passed
c66e87f13bf6d1b005f580821922ae96e88c07e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder False Passed
b09a9b54793a012cc905cab980c37c4625dc259e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder True Passed
8c8104942566eaa71be1f7bf218066346ade97ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceWithInFolder False Passed
b0732ba57f15a8e6123993ee9fd6f06bd665b4ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder True Passed
6f3057cf958fdc0d2c5f9c1e01d689df70d5aab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder False Passed
c78a92b3a1010e3873964312a8afae67521d694f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder True Passed
cf1fe76fcfaa96bc517062f2a758dfc9446fb982 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWithInFolder False Passed
4d0b5af3b7da9f5ba8d72d935e44f9a1e6842751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfCond True Passed
1b59aa01f8f4dfa2ca50489d16200317418a3a2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfCond False Passed
c5f738d1f80b9e0e896a89cace0761493d862ddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfThen True Passed
f271a2199338dbf380ca5ae274a100d57f2a6af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfThen False Passed
5fb41c89749d674c680fbded5cb30ca63f052325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfElse True Passed
25e19a480f6d61438b4edf4a4de9741ffd5ad7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfElse False Passed
ccb8f524b455d672a21fc3af2a56d43350e99e4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag TlcEval True Passed
064fb14a2f487a621188ef34c9cb9b621d9833c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag TlcEval False Passed
80f03b04dc7a0cc3c235ec34cf2c7ade1b5215c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagSetToBag True Passed
21fa03f79c4811cb1b10762bb38212fe3cb155d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagSetToBag False Passed
75e3706ff0ddfc802b58d0a49c40359a309f37ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag True Passed
faa78280c86d0c2b0aa712b47af4870c0796982f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagEmptyBag False Passed
fb05fcdee571f151755f010e5e69540c98883d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagAddBag True Passed
1ac81f349ea2f1d93967bd9c1f730d0be3f9e108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagAddBag False Passed
5feff07b341cb779a36b21b63ec9684f7ef04304 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagSub True Passed
6284cfdfeb67994945f975e7fdca5e5a51585927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagSub False Passed
e077d1b5a76b9f6f441ed0c94005d2e18f496261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagUnion True Passed
9c4460da67f4289ff825f7af63b3e92e2f56a3f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagUnion False Passed
4abda54d7c0142ec6193b58b8551751c0ca98959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll True Passed
0f2b27951b2f135d577bbedf42a7b672c3043f6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag BagBagOfAll False Passed
70fc6f5245260440f21d09cf2eee9163a087ba40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag SeqHead True Passed
1f84d4f9aab33e54147184e3833264043b386757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag SeqHead False Passed