Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1a000e2e3e3a08ce83fa4ef7503e63c31658de8a TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: Replace spec with the same without comments
OrMultiLine OneLineComment True Passed
59876e4c6891e2db54a37a92c51bbbab2ca762b2 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: Replace spec with the same without comments
OrMultiLine OneLineComment False Passed
8f3c961818b587a06d3853246f14b6a3b20d6287 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: Replace spec with the same without comments
OrMultiLine MultiLineComment True Passed
d9adaf21b2da5c01d3c67f70a88a9698fde9a886 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: Replace spec with the same without comments
OrMultiLine MultiLineComment False Passed
a2b6490420402df15404f4d13c3528d457744735 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BoolTrue True Passed
64a0e7c269e9ba4383eaa9b106264be025c1099d TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BoolTrue False Passed
42e0ca4efe72f99e6afc1b3b9cb699ebd1b90b69 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BoolFalse True Passed
3ee67d16cccef34bdc4094a040f9391c31f695b6 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BoolFalse False Passed
86d67e4ee5d86734c079c958addcb25e7f989e95 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine And True Passed
eeca228f1f6ad9e5ffc9af1fd9392729dbcbe5b7 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine And False Passed
01365742af7f3e843d23f99d8413235491a84d82 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature:
    /\ A
    /\ B
    == (A /\ B)
OrMultiLine AndMultiLine True Passed
71d313934a1443623bb8030395f5408d9ab7e9c8 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature:
    /\ A
    /\ B
    == (A /\ B)
OrMultiLine AndMultiLine False Passed
00c37b2495e1e5a5c6f1111f39bbcc68041e9298 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Imply True Passed
209273e308fa20e115a196713a07047a8e074d59 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Imply False Passed
a5aaa01ef26ef717e4e040efaab4474dba560b80 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Not True Passed
a23eccccd6e3104967cd1f5abe594f3f9111bfcc TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Not False Passed
74b6e2efe45ed02aa827b3a92a82ef655a233cb5 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: A \/ B == ~(~A /\ ~B)
OrMultiLine Or True Passed
75b62c24195b25e85fec34192f360e3b912d95dc TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: A \/ B == ~(~A /\ ~B)
OrMultiLine Or False Passed
347b7631a57a2bc6e189257fecbd06410bd038af TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine OrMultiLine True Passed
30e6a908ebdc5112f5ca3bde2882132546b6a55b TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine OrMultiLine False Passed
42e616b70214e817310cc38ffe786c41444a0ba0 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Eq True Passed
c6b2016b9c4867b16e8170c27716a92ded38f3c2 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Eq False Passed
eb2592d0e0382aaf13a8cd98555a832546b7e3ac TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Ne True Passed
a8ea7d51ce3d5f731cdb285ee0fe8a2e68a44bbd TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Ne False Passed
df3addd7cdc79524e8ca9cce9e37527cff50992a TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Let True Passed
489a67473641e0fe4f8646440bea8f7807c05d69 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Let False Passed
7b922fde50f8e61e1dff9afbb353b204a3faa1f2 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine In True Passed
737a4577f99665a2a50af9af0a95d6078dca96e2 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine In False Passed
f7ad3d51adb3cc4702e9bda74ef62a5fe34bd182 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NotIn True Passed
7d0b6168e27bac0c427cf8b4a1446e010562902e TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NotIn False Passed
5da6c7c7fbf113dadbb539e7b910db8f64372546 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Exists True Passed
500777f5405e429ff21fd24d57c2d3268a807c74 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Exists False Passed
df56caf92eaa75c35f256e7e534e6403fc47f46a TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Forall True Passed
f5da9eb3b5d868363b50bd89243b90622debbad9 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Forall False Passed
d7d661699062a82d90ef41a600d610f9bcb49ffa TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Choose True Passed
f8daba6aa387b8d36959b7a7d7878b4dd62d6023 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Choose False Passed
d094aa46382e2e8b1f4be7a19c5e20b17f65571c TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine FunApp True Passed
33aca9ff7b1ec74d66c50f18e602114f491b9bf8 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine FunApp False Passed
ca25533eeb4b38baa53643ac8668a0c87eebd509 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Prime True Passed
bec6bb483bbe3c2a535d67e5b94d64d384303240 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Prime False Passed
c15af449a8a4bb9320e9d223ce7d07c361af1b06 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumGt True Passed
9cd81e0dfc28f7b4a77e3f5981486c298faab739 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumGt False Passed
4baa5c992a74aaca5c0e08a446f3e83db5ff9c42 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumGe True Passed
9170f699e677a5b6ed68d3f20e18f9018aac1fe7 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumGe False Passed
118747476eeb3078e34b56164877a1338e6cc641 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumLt True Passed
946399894364c1a7440b8f672d7e23e82142f739 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumLt False Passed
4abc2066308d5ff6bfbcde2f1b25faffdb24ba7c TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumLe True Passed
6b3a55c0bd61f1fdaff7c0a5b4a697988388565d TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine NumLe False Passed
501ab6654546c5e331a9a75af3e2d4335cb9c59c TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def0 True Passed
03cc4dba90d702dbae131d0138e09d41918f320d TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def0 False Passed
3a20f62dc947b2a8815328a9e092cf1b1291eee3 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef0 True Passed
98dc6097adfa9de5b7e56fb1ef8f4ea5ee848656 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef0 False Passed
c1fdd4e43023b8710366467fd4988cdde3f9ba53 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def1 True Passed
1a417d0bca01a79a7695d1f645929bca5f287089 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def1 False Passed
1e33f0809ea7290bf7fda4f32c1bedc83f804bc0 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef1 True Passed
a6847a70fc5926d94b2e8d2c0914cac11abf246b TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef1 False Passed
97c04d1ddb54458a6470c50095a464ddb680e165 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def2 True Passed
e642337155564a7733ce21e4efc01d8085fd7a40 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def2 False Passed
d85978fc0ffa6d0d18e6c2a2aaeac9089d04a1c9 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef2 True Passed
d6d2d6ba1eb80440af30de17ca870bb3b29d8eb8 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef2 False Passed
01e44b7c85114262cd45c9ca1f38db7df353f2c1 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def1Recursive True Passed
3dcf011c8f9799f0562e7e5dcd78bdf05eb03a96 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Def1Recursive False Passed
2ac10ab021cad77847e839a688e6fd3ac9f1ca6f TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef1Recursive True Passed
1a675a014d2fad3baa3ea8c14bd5f0a93d9005af TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: LET definitions are reduced to global definitions
OrMultiLine LetDef1Recursive False Passed
db179f39245306288767cd1d669b93779bba09ef TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Extends True Passed
f04e61c5b616f4d7e4cfec2df92d947713bd84b9 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Extends False Passed
d4530816878a30861c4be905c79ab2c2f74d15ab TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine ExtendsInDifferentFolder True Passed
52760e1a4974917aeca12755bc25d08f35236254 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine ExtendsInDifferentFolder False Passed
00a6631623995adb7790bd61ae7f24ba15c2249f TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Variable True Passed
7b797796d1229775dac1de3fcf152e24437d133d TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Variable False Passed
cf5b8b10bc1469d4cfcb8c8ed0e3e3ba254c879f TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Constant True Passed
4a1e57a7509b64326916c3de8c479c50c68605fc TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Constant False Passed
fb86b646f57cc8c29aeb19bfff82083702516592 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine ConstantRank1 True Passed
ae50b32e3a27dc6683a28c202515c37e9964b61f TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine ConstantRank1 False Passed
edf1bb1fdb634e6f5dd2dc7fb4e1d0fbd712773c TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Instance True Passed
c7deeed7bc9a96f86eb9833f60dccc7ae3153bdc TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Instance False Passed
0510d47da398284ca5de23f93e29a4cf883a2529 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceWith True Passed
4033235bb507a835142803bbb20a5b92da70f2a6 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceWith False Passed
6008902672b113f7e1875c180e1f70b6b096bec2 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamed True Passed
5aa48973282d1612dfda572b7d6fa64800616817 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamed False Passed
010e316c9edc5110a46ac4898b611b09128ba376 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamedWith True Passed
e553fdd38fc601efa544a490e95a5b4c93f81950 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamedWith False Passed
d545605166f9ae2d82b724cd7ecb4f50fb9f1bf0 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceInFolder True Passed
c3a25e2909b68681299f1edb115c787556608f83 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceInFolder False Passed
e697e9ebe7c8ae356abdba9edb6eb05ff8a09d4c TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceWithInFolder True Passed
5a45f0039ce4bf479e7e6a14d142bada9b8a6ab8 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceWithInFolder False Passed
3aaf44a7cb6b35e42a006537325a38dbedccae7a TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamedInFolder True Passed
59f89ba922c32b0a23b4f954a9463b60bb1df3f6 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamedInFolder False Passed
93980caf1643ba378d14fd4f3b54c3094b4e7e6b TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamedWithInFolder True Passed
7438674fc9c578dd708330a32485bac10b22a41b TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine InstanceNamedWithInFolder False Passed
d260ceb756fac9d570ded23056fccc256bb00857 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Enabled True Passed
fcdfa7677d9742a0e9954eb30c663c1851b7e207 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Enabled False Passed
fa71cf9440a65578f75e936f08f2a70223c3af2e TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine SubsetEq True Passed
62b0d4c91c74a9f7b4f855b5d6d3210ab9da8363 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine SubsetEq False Passed
e37c00189accf2773067c485e5822de2c9ef9237 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine IfCond True Passed
0e02fd214ea6cd326a166606a87f98192363b5cd TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine IfCond False Passed
7c2ca8ece82ef0331ff441d40e80ea25a3e2eb06 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine IfThen True Passed
8aaf652d167237e544db4ce86a1410157b399cf7 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine IfThen False Passed
42bf5572d7972cda65b66c6a240fcf24e6324c28 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine IfElse True Passed
ce4757f17a188727c2aadca8274da1bda247511a TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine IfElse False Passed
3fa8f956012887cdbccd05489f954fbb675b2560 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Unchanged True Passed
9608f9399099770659f3424e3469a9aa22eefbe7 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Unchanged False Passed
b84f417edd0475071c63f4a71ee7950773fefd5f TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Equivalence True Passed
a4bcad62dfa55195b5aa6fa0dc1bcbe89d7eeca7 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine Equivalence False Passed
a756e910690676e1a205b4430f2a28538a877c65 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: TLCEval(expr) is reduced to just expr
OrMultiLine TlcEval True Passed
68a35d515cfac8943080d63081c4c3635f71f24a TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: TLCEval(expr) is reduced to just expr
OrMultiLine TlcEval False Passed
5ba49e659753a8f00d916352126eb2f003aac550 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BagBagIn True Passed
0b5d73c6a064cbab066109e6b317fbc8e21173a8 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BagBagIn False Passed
015518e8d8f3ecf0c5d4694d6b9c24300409185b TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BagSubsetEqBag True Passed
c59997a88e04978539189dacb2219eca89c6615c TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine BagSubsetEqBag False Passed
28d1f990569ab2bb2705879065f72a9b9f31b68f TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)
OrMultiLine FiniteSetsIsFiniteSet True Passed
9c76ba52dbb6b5be443c09eb641ac7021604e7ea TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
  • Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)
OrMultiLine FiniteSetsIsFiniteSet False Passed
4bd8640b446576bca9773d3b1153ea3e55cae561 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine SeqHead True Passed
345006ee1064b7b0872747829fba7ac8bfbcd242 TLC with reduction strategy:
  • Case Feature:
    \/ A
    \/ B
    == (A \/ B)
OrMultiLine SeqHead False Passed