Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
eee37370361fd7675fc2e81c150cd5d4dc212afb TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: Replace spec with the same without comments
Or OneLineComment True Passed
195f4c9e747a861a6d87c987e67188c4e51a66aa TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: Replace spec with the same without comments
Or OneLineComment False Passed
acb013fe86ec0cfbe481a434fe37c4414114b5e3 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: Replace spec with the same without comments
Or MultiLineComment True Passed
56a0e6b9ad27889105cf0328e6da0d880ebddf37 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: Replace spec with the same without comments
Or MultiLineComment False Passed
13904e5919ea449bcdf39c0d6d70cc34200289a2 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BoolTrue True Passed
038bdddf073429ab769747efde35cb8cbbbfd4a6 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BoolTrue False Passed
1e98021b5e0897ca3087f314c0470d7e8f32e721 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BoolFalse True Passed
bf57281e7131775bc3b08eb9a9ca9123dae625cb TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BoolFalse False Passed
76a649ed1a43817fff112b17a5739a6477fbdb80 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or And True Passed
1be54779a56284ed80b1a7e7cad9e6e00b6b2393 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or And False Passed
7a685404f5ebce0603bb3ff4f5baed5d1576f802 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature:
    /\ A
    /\ B
    == (A /\ B)
Or AndMultiLine True Passed
7151ea0fa4a2d1c8100c68c751dce5e63bf1551e TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature:
    /\ A
    /\ B
    == (A /\ B)
Or AndMultiLine False Passed
3c4b20adea599e7e82fcbfebcfd3aef390f85cd7 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Imply True Passed
f60686cbb137bbc807b28e41e2446c0298e72299 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Imply False Passed
72343bdf1061d442c715969692a4a49b39b482f7 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Not True Passed
f34111f8e99d4837785a0424248967de04251179 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Not False Passed
01976cfc6a9b5e104eff71a7dc16c17ca9c77ec9 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: A \/ B == ~(~A /\ ~B)
Or Or True Passed
660a001197641b245568dd1d40587825dfaaaa8a TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: A \/ B == ~(~A /\ ~B)
Or Or False Passed
a2d294b5a6588ed709097b012d604d546316608f TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature:
    \/ A
    \/ B
    == (A \/ B)
Or OrMultiLine True Passed
4a09a83a091675244bcc0ae9f67fae6a67affa4d TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature:
    \/ A
    \/ B
    == (A \/ B)
Or OrMultiLine False Passed
ad84d5ecc159c2c16f2678016b905e71bfd34604 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Eq True Passed
0f984746802ef92e6c06afdc7ffdabd200ed1799 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Eq False Passed
774e2fdae959345c2773d4779d7e9c34c1c79d50 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Ne True Passed
bab89e8db0070eed5292017d9688a7dd9ea67057 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Ne False Passed
43f8e8fee3a9d0eba39d7efa59eab937e8347c1f TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Let True Passed
9ec75f2964635eebf21ac5269a9342f9a541953b TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Let False Passed
31290e5539d0ca4dcc682fe486e57a9c16c504ff TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or In True Passed
01601f9f43cc5c3670b541df67dc530040b2091c TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or In False Passed
528c7c588dfe173dedece2024cb16e4477746ebc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NotIn True Passed
d289ff1ee67088335d0b372a94d21730d6dc67f6 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NotIn False Passed
22d496105213b93fca7cfc72f8eae2bbfcd479e3 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Exists True Passed
1a9678d8c80976a1195cfa53edab58d735e37fab TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Exists False Passed
2a52584bb27ade065a644f5dcff2a4aba55aea50 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Forall True Passed
098f0c7e748b9e1384f2eb80a2b247113ca27d25 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Forall False Passed
d1e6ba33ec21a819a6677048ac5cbc70e99d6f28 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Choose True Passed
6f333f8784ac0d311b21e7d021986cacac876b91 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Choose False Passed
a271dc27d29ae659a361845f72787f1eee68a87c TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or FunApp True Passed
89b0d45578fc1860c96ac0fc1d8e0d6b4ab97a04 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or FunApp False Passed
a1ed3bd37f329de61ecdc2bde84a143c79a074ba TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Prime True Passed
5b6eeb69c0b2c293230082e9dd54ebac6a2e3637 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Prime False Passed
bf39a52d93acd7f6ab0d8eac0d0acbcd23e61ec1 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumGt True Passed
bcd988fffa46b8024a89658421983d64ce8e129a TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumGt False Passed
c29d18d6596d10cd3a5351b619f3adcfafd07e44 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumGe True Passed
4506d05dbc8881127cf864fd4e491941f0fe098a TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumGe False Passed
3acdec195df2e6eccc6c309f999dd38e76c0faa3 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumLt True Passed
8f36d078950a43713af3de00916312cb0599bff1 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumLt False Passed
c3577a6f0bb9e94f6648972086b6eaccd608a189 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumLe True Passed
4f54472797ec39673049b08dd06366231b4e0fd2 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or NumLe False Passed
76f7ebe7321872009e49befff95a08c74d0dab05 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def0 True Passed
43ff5f615ed5396711b78b39f96e076e3f92719f TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def0 False Passed
cc2627a54912af0af2bd28e8222592729c3ebaac TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef0 True Passed
6e7ac9f7d923bd34ef17a6cf3a63a7ed2d7ccc91 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef0 False Passed
af3e878eb5789fe9b1fab78e5a3eee3eae858c20 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def1 True Passed
fb00e1911acbc36d80ba600195ae4afd6836e2fc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def1 False Passed
f11c43e7d6eb9f93e35552d61aeaef137caf0cfc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef1 True Passed
41b817083dceb03cb77137659b085cc9070d0a32 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef1 False Passed
e5aa0644c9a60bd1cfb588b2b006e6da18edcd77 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def2 True Passed
a4f53dc92debee69c5db09489274df8dd1e5f71e TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def2 False Passed
44fbddede86259c31107320933328008f86b8a4c TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef2 True Passed
9f0e57e720e4642c648fcbc653648774231a1767 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef2 False Passed
9a51755095fd6785d39d7f0afd523a37a1089ac2 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def1Recursive True Passed
afd190c177819ca9e70fd4543b87a18cb626e8cc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Def1Recursive False Passed
cb846d55b38685ef3bf8cc9ad319dfad1e249263 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef1Recursive True Passed
71fdb9fa3cdc1902bbc05840ce7aff485ab3cebc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: LET definitions are reduced to global definitions
Or LetDef1Recursive False Passed
0798bb209a85a00c4b4891301056ae31d131038d TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Extends True Passed
4784021ed9ef154892694d610d5e5f4aee9d52d2 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Extends False Passed
373608255dc986cebd2f7b6b8170e136668ff559 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or ExtendsInDifferentFolder True Passed
796ae86c0ecf2b055fa1c3214a94af4d36efe6e2 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or ExtendsInDifferentFolder False Passed
402251d65beee857135a7c54e829b8e73937b4ec TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Variable True Passed
ce8cfee34c714f661ff8a2dfd396b6fe78fd7919 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Variable False Passed
c7407fc893f6048d2d13e2fbab2e83aeb278958e TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Constant True Passed
4dcfd8745867d478288ee48fbd44c099664f3565 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Constant False Passed
1c64a448aad6acd9b89836504cbb62aad65e99cb TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or ConstantRank1 True Passed
9fe0fe1f6c218b528a515ec10bb2e3f84523183f TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or ConstantRank1 False Passed
ee288f344f568b39c574de611680a4bd29d19580 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Instance True Passed
2c1325b77794080dc3c3d2df48f019e3209d0bed TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Instance False Passed
225b0c1f3ceaa2cfa32dd9da26bdb64073ef4935 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceWith True Passed
30b89ddcf11c1bfdd1ec7c581e3b18636480d19b TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceWith False Passed
535ada481246c7084dc6cd45ef5201872387069f TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamed True Passed
b9237548e1562bbda52dda2c0e502acb38675d45 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamed False Passed
505ac40b6fe79bc9a7f8be0ad91d95c9f4185c49 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamedWith True Passed
5941323127f8972cee49d1aa6c3f8b3ddc624d0c TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamedWith False Passed
21f26e0588f13b00d940eaa178113359c7b7a375 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceInFolder True Passed
e89a4574f6a79452dd289cf2b1dcfae043a61504 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceInFolder False Passed
fbfa4b730c2937ddfe0fab827aa288ba8cd3d376 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceWithInFolder True Passed
cc8312789ee2057b3393eb9d108797382cb7c49d TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceWithInFolder False Passed
1c220b2ddf71363e215001f93b04b1f76ccf4794 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamedInFolder True Passed
fbe6d0bf5f9c25d97944a5f92305599a89c1d9b4 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamedInFolder False Passed
4b6df82311c3e717d993ff10373c7ec4583bee93 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamedWithInFolder True Passed
fad0c81afb3afd56d84c91b3184d4ff749294edc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or InstanceNamedWithInFolder False Passed
ae714a2a3f0f43c002099348b0a5bba49b1a5711 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Enabled True Passed
304212b5ee732e7835aef1f291f5b2a65124ca46 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Enabled False Passed
4c28b26bcfff72b0a8e572b1cfbfdc66797d671f TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or SubsetEq True Passed
766f3dd1ab4e2ed643e6ec250be602bca89caa6c TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or SubsetEq False Passed
9daf2e036193f6ff03b91e26efcf243b54ea866e TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or IfCond True Passed
af7ab025746747e77896a20ddcb217f8af50fa95 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or IfCond False Passed
f405d01b8a5fce7857a9305bccfa6e091d9e5f96 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or IfThen True Passed
44809be763ddc5f6417b4732cbfa394c59ade7dc TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or IfThen False Passed
7479924f5eab4d53c8be88aa7302416ea78996bd TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or IfElse True Passed
e5b2eb1b52af0e02bc5a50b54be3a9d28705f7c4 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or IfElse False Passed
5c8f9dc579c9a95a263ab2bd15c5b4e6ce0f6555 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Unchanged True Passed
648a27e63ec57c8aeb8b7eb07358fd0f6efd7f47 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Unchanged False Passed
137b4065f6e3767f9670cb36e9f5acef8d8e5b86 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Equivalence True Passed
b5ea1ac67d70e89561a3a8e6c3ca269b89fb1b16 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or Equivalence False Passed
d261caeebdbf12d9f2783fe3e86e531767511d36 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: TLCEval(expr) is reduced to just expr
Or TlcEval True Passed
b0cb26bff6d56332e762abe75b2ee9a822d5e18c TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
  • Plug Feature: TLCEval(expr) is reduced to just expr
Or TlcEval False Passed
3f696cb7c59ceed987daa7c25680806d5f7171f1 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BagBagIn True Passed
3b5f313fc3feb54eb6f219e64d104523aecc5406 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BagBagIn False Passed
41fe47e89f789b50fed0b29bacd18763fe1c62ac TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BagSubsetEqBag True Passed
06318d10e54f37f7ac0bd1f9326ce01ddad22bc1 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or BagSubsetEqBag False Passed
99dea58726e93363a58db69627fe35778d04fcf2 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)
Or FiniteSetsIsFiniteSet True Passed
cc55832eb7b1382523f5562d028034c3e5500cc1 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)
Or FiniteSetsIsFiniteSet False Passed
36512f46a98602696315a8030ca8f7b5a5fe48c6 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or SeqHead True Passed
0ac15a24f40fdfa8852322d1c6057cc0bfed73e6 TLC with reduction strategy:
  • Case Feature: A \/ B == ~(~A /\ ~B)
Or SeqHead False Passed