Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d339c58547ed40b7bf2c973553138ccd2dde2b0f TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: Replace spec with the same without comments
BagSubBag OneLineComment True Passed
f0859ee9860ea610af70d0e554d8a4dc9bd79460 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: Replace spec with the same without comments
BagSubBag OneLineComment False Passed
a2be6a3069153f78b23aaced27f9df33e83eb66d TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: Replace spec with the same without comments
BagSubBag MultiLineComment True Passed
9c2a7beac7bae8571c6aa2543eab1c6803f7dcc4 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: Replace spec with the same without comments
BagSubBag MultiLineComment False Passed
9b86abbe47542a7a2eebbf31eb6eb2e43e49c289 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Let True Passed
9104c0ca2640ce20760feb026aafbab9dca024df TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Let False Passed
2a1928fff27c85ab84ce7fd2b229c49e378284cd TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Choose True Passed
0ffa6e2829fdcd8ed2fea0718e747c10ce41b55b TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Choose False Passed
34f3b4446852c406a62f3f0742bd043bfcde7486 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag FunApp True Passed
6bb2c1830c5f5dd419c4da79d8a56e5dbb8360e8 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag FunApp False Passed
9e5db5dbe03b241b3fc2b38fdcf2ec6b92dd7a3b TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Prime True Passed
e7e497e3fd5a0cbfbbcf25992af5fe638d613af8 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Prime False Passed
f982d7399b599717fb70678f774063619923d1df TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def0 True Passed
e468cc790a68517ed03d858586bf2360923daa94 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def0 False Passed
d45d3088346380456a6d6eda83e19e8f07fd9637 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef0 True Passed
82edad8fd51cead3c57221751a99e3e6b82ae02a TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef0 False Passed
dc24aec9e2f3190651f0fd7b89fc07caa1844ced TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def1 True Passed
161e0d3d17bcdb81b4067ea11736ade0669d6b44 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def1 False Passed
73e6a2cc7134b505c307db8699c0453ac294d1d0 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef1 True Passed
cf4d820778094113cb9bb62096bd59a5f955e65a TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef1 False Passed
f301c5277dd714944eb349606f2fbbd7028e6177 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def2 True Passed
3139774c41d979a19fdb1a9cf2f9ff4ec59a9234 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def2 False Passed
7d0e7a73a067a4807f0683a4217ce5dfeff04267 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef2 True Passed
c7b0903eab88b51cf6a241b54a79708face847ca TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef2 False Passed
e0fa0ab8966ea7f249379f5e6e71837bd34c590e TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def1Recursive True Passed
66ccadb9ab2162d34d7b403c648d7defa0abd386 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Def1Recursive False Passed
ead35a576d8f8e584da99806de3472e2a1a0ed9f TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef1Recursive True Passed
a58d5e21ff2e1fc8dee02b222266cd67579b5cef TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: LET definitions are reduced to global definitions
BagSubBag LetDef1Recursive False Passed
2ea57f321c11cb30dfedd53b0c9af9838e981192 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Extends True Passed
a0321dad2794decb341917b51a031ace6e40ae6e TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Extends False Passed
bedefa37ff788e5340843499adcac42d5855487b TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag ExtendsInDifferentFolder True Passed
22bfc44805bdc1643f833e22677744232a6acaca TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag ExtendsInDifferentFolder False Passed
13b3411bab500cbda03f068408b364364ef48926 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Variable True Passed
03cd439d1612bc52a638501638e81bd53949ed8b TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Variable False Passed
d0fa4e771f861eee23d50ea0dfb48f4a95dce113 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Constant True Passed
fb2b9019b7b16ab601bb24e9fbdfe376c04db142 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Constant False Passed
37a2f36ae494b96c25f6184cca454e65c12d69ad TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag ConstantRank1 True Passed
ad60489f1a2097a15b633665d79950731f3a96a4 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag ConstantRank1 False Passed
cff815b56dee512244a5f6c4348239ba39e679b8 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Instance True Passed
85b8830d048eb3a18f353ebbea18ea46d5c79cb5 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag Instance False Passed
c7ad3a4b7fe8a0503e5795f3a9553d9d07ead091 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceWith True Passed
7beb547dbe57e43904c1e34a875a1fe84211bbfb TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceWith False Passed
5c3cb9b4ac612e920dafec21d7019e2ea488e6b0 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamed True Passed
63de49fc99e2563fb9dd3be63a58838e74d7f32e TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamed False Passed
bc80ea5de7d69d69d3b8f596e2c3cb8a4e2a96c9 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamedWith True Passed
42bfd393cb6c5291aa112af68a40bc36dacb714f TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamedWith False Passed
5baa905d3fca031a2a05033e6baa5f220bfaf835 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceInFolder True Passed
cd571e576d1286763abab2a32819320679d8bca6 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceInFolder False Passed
6cb0188531b1a7bcb2ef9d82ee7a49df003bc12a TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceWithInFolder True Passed
6d5fda2471532ec7ed7828bdfa5b7ba06bb90572 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceWithInFolder False Passed
9d7031b0c6bfca728d68c1a10d51e35849994ebd TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamedInFolder True Passed
b962eeb9e242ebe07f14ef8b6b7beae955b0bab9 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamedInFolder False Passed
9fddf1d939519405503afa84a36694fccfb6e4d0 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamedWithInFolder True Passed
3eb0f10cc637545eae52afb52f144a078f072115 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag InstanceNamedWithInFolder False Passed
1b0a8e81f85988a84525e287f8e304543eea49a0 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag IfCond True Passed
21476ef178c65982fc473274bcdb4d20e689650b TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag IfCond False Passed
7adc13e7f8da22e8b74cdef76934740f65109939 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag IfThen True Passed
13b01cf0f7b8b513c805f5e058cff6f1d70ca385 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag IfThen False Passed
6a06ca8023a45f8935b3b91bb8a4e7031230d627 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag IfElse True Passed
6b9a869f35387889ddac3510f7d0f1fd7dab6105 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag IfElse False Passed
af77a65333d25dfc851bfb9f1bc36f7e8edac680 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: TLCEval(expr) is reduced to just expr
BagSubBag TlcEval True Passed
5771b8317f5861fbbefaba248a1ff2374c068fd5 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
  • Plug Feature: TLCEval(expr) is reduced to just expr
BagSubBag TlcEval False Passed
7e4f53fe2bcf66f0f3f86c97aa4e3c800c6cb914 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagSetToBag True Passed
c26a762b5d7ce4ff54da336d27dfb4c7250c4a39 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagSetToBag False Passed
93ed4ac0946f7d5b178a1b650176f8f228cb71f4 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagEmptyBag True Passed
5238d0d971d968f6e53542a039206cdb0f36d808 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagEmptyBag False Passed
f1ef9749d53055f1aa137dacd4ea3ff10403e624 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagAddBag True Passed
e2e7fc38975fe77fac3fb0d09f1e78c7cf089d97 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagAddBag False Passed
43e902241af4098bb8773ab0ef2b5c6d427533d1 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagBagSub True Passed
a2d19e5ea63c4518c220001824d6fb60d4f30785 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagBagSub False Passed
073747c3d8c9241ec81cfe3284c59efece2ad1c6 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagBagUnion True Passed
be933bb3accf7a1dc7d0f356ea7aba3d8433d198 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagBagUnion False Passed
4ecb7664b8a3f668bde523bdd0ea273b05a6c729 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagBagOfAll True Passed
c50b784e4573c4ccc95cd64995492f198c1547eb TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag BagBagOfAll False Passed
8a1309d932c9f53322bb0c61125434c68967ba8f TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag SeqHead True Passed
e166c18829a13e6801100c1c8af6ef70e1385793 TLC with reduction strategy:
  • Case Feature: SubBag(B) is reduced to equivalent SubBagR implementation
BagSubBag SeqHead False Passed