Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
15d266c087da23dbb2c2c16ee1f44ccbb1a47df6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag OneLineComment True Passed
5b2ba76a483a66a8550c79371f470729b2673872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag OneLineComment False Passed
de316ccc18fd605d9850955ae9422099795d2ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag MultiLineComment True Passed
29b8ff6f61abc5f317b6bc5e966dff1ce26408ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag MultiLineComment False Passed
8d13d8c52cacd7c0cdca2aff1c1ca3167dc524d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Let True Passed
6eb9d7e0769d93448c54d6d6989de0c946669c54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Let False Passed
f285c66de2f5588941cfe9f1a12eb9f89c6ad93e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Choose True Passed
3cd15be19f5cbd316f33c10c8e519ca32b8d7f2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Choose False Passed
8fc984503fb13b06b1884e9e7d206b9f8f98d922 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag FunApp True Passed
a6ec3f7d08efd21f7181647f6461bd250bbfa862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag FunApp False Passed
fbc28fff54c13a3e511cfee5e707b5e8cd23e297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Prime True Passed
c7559da405bf85003dbf929bccfade1acbf94374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Prime False Passed
07d0898f04bfe434ca701797a490f1fdb3a3e931 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def0 True Passed
ce46afe837fb321ec2cf750ed8c290b724ddf38a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def0 False Passed
6ffabf59c18add96342984879a451f4240ad2473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef0 True Passed
8fff02fa95f0d858c5e0cb9b577dae9442eb6c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef0 False Passed
e66daaf883474f54377b99b58aa48008cb266a95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1 True Passed
f8af129a647173f8e1f6f7508a5edb435a577800 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1 False Passed
51f5b7a9f7d0004be4d80d844fd368438bef6c5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef1 True Passed
9d5c5cc3d4c451ac59c4e711930e7cbb9d780453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef1 False Passed
c5ed806d3f325ad60912a46af3a59b65899ed154 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def2 True Passed
bb69b38d2778a695c74f2da3ea57c88734e6fc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def2 False Passed
624d9e694707d9c59bf627f1f6ee5e504bffbd10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef2 True Passed
fa98a2c79b7fe01413892219b09974ce8820cb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef2 False Passed
c4e1a283aaa2aa5e311fec2c9608c46608f9c1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1Recursive True Passed
a2e5a7234ff926a019af585c0e5a9577e2013cd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1Recursive False Passed
6a12e8712272d9957f19b4e7f537b7e00f5d1b69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef1Recursive True Passed
91bebddd3c987fb913be8182e73700393a176214 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag LetDef1Recursive False Passed
5ae97a13a7c4043efc6c2ec726d373ef4af7220f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Extends True Passed
7b766f70f1951907059163af7c76d72ef6aefa2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Extends False Passed
53f192daa2d5048dd75c470d08ba015211a31b29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder True Passed
5a2246e1a356f5144ffb0f0d47833a1272932087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder False Passed
f857991a66ff7c992f823fbe06b6756905ad250f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Variable True Passed
c687f7822448924c67a4d4679beab1152f09900a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Variable False Passed
80142be720e685b90a9ce86f6435316fd53f945a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Constant True Passed
40cff286f0eb1307d7139893078db38f63db3cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Constant False Passed
5baa7db396acaec42b23abde03b5ec93b24e729b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ConstantRank1 True Passed
56277bb9967042c37194507e333ce482b70fd02f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ConstantRank1 False Passed
e8aa21fb196afc839414bd58d88e1de4dfa2ed4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Instance True Passed
7e6e3f59f6d9c58fb2a3ed7824d60bc57fdad568 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Instance False Passed
1f1aa1b473e4c229cfb4e9024c84fb4668010233 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWith True Passed
c7d23bc6353134883049259e52b2c4d5c7aa850c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWith False Passed
ce6e741bc5be4daf5363e14d881ee4ba596e2061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamed True Passed
f1e3a33cb68f78f54412a6e79b82a93d143ff261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamed False Passed
10a8c3cc2b4c2adb1313f330bc0bea25b843079a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWith True Passed
fd40531ab98be911c8e0c173c3ccc85e88d4ce4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWith False Passed
d8d3108d7edef5574f0d79efb7136e66d361e5ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceInFolder True Passed
acd0d83f9b8ed5b12e4d4bffb6b1e9a6cddd1fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceInFolder False Passed
7e612eed7c00db80b0b57ecc09ff0199b9d983d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWithInFolder True Passed
10c07a70b8a58d6aa6d845f6808a3ba06ded9414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceWithInFolder False Passed
221b258a48a2bc36ff8d9b8292d9c7b864dcb41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedInFolder True Passed
238f58eb1e7c2fde6d15e55fb46936ade13d9a7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedInFolder False Passed
4bac8073ae3e9a6dfa5bbb6ce5ca3cd0e00f9ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder True Passed
c04588f3e50f47674d3926683e253d39cacc6c28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedWithInFolder False Passed
ed7fcf9e6378c832ab45311a2104e71429a7242f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfCond True Passed
673edba59011369118f3e999b9d16673ebd5e81f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfCond False Passed
219c86ce6b5e40a1fc755c1fc2afa6c860450cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfThen True Passed
e32d67bd204254b03696c7ac9976fbd95b7a95ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfThen False Passed
3c1fb5a4f18549007e6d89bcd468f17d2314f7cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfElse True Passed
a46ee685a3886d33b90dfb1f87cc63024d6b4d3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfElse False Passed
344dc2b1cb2171ca9b6d688b02e35d985aa47e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag TlcEval True Passed
c500520c53e2086bf806df626f1fd3b196c9fd16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag TlcEval False Passed
fdbff386ab5f45b2bd36ba8e26242cc0477c0141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagSetToBag True Passed
8b4d505c2be335f9fb4c646148934b4037536111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagSetToBag False Passed
8ca29571ea238e0c4095ddd4289aa8b1e7b63195 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagEmptyBag True Passed
ffd7b2ca844c63655eb925828a4eed9bd57391f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagEmptyBag False Passed
e5707634b52a3ea7db661eda482fd3883c22a65d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagAddBag True Passed
08e8ea5f7626255c41cbfd46c9f7e0419177ac32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagAddBag False Passed
2125825d646e41a0cfbb70d8a6900ac5a5455da9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagSub True Passed
f43267be8fb4e633a26a89f4e56b6ff368db67f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagSub False Passed
d6e543f5ed6c7c52a7b3f25891f698fca06c0832 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagUnion True Passed
0e0974e3836845070ff2db77896e1cb5fcf3857a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagUnion False Passed
b330308d9568c3088588c613aac7c0e589eede56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagOfAll True Passed
7e7b18899aee252f7465a330ba08d51ab6176e4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag BagBagOfAll False Passed
26a8dd50432f3fa33130c56bacef1e67d9d91114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag SeqHead True Passed
f541e2e7514942d93f1093a26551b9fd873af8b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag SeqHead False Passed