Index
Introduction
Skipped feature combinations
Failed test cases
Tests by feature combinations
SYMMETRY
tests
Tests under anomalous conditions
Tests by feature combinations:
-workers 2
SYMMETRY
tests:
-workers 2
Tests by feature combinations:
-workers auto
SYMMETRY
tests:
-workers auto
Skipped feature combinations by case feature
InDef0
Id
Case Feature
Plug Feature
Skip Reason
440b0edc2468683ea365119ccae27f58a59a27b5
InDef0
OneLineComment
CanNotBeCase
4403a172317f4f56b1d050b19bd99b8b94f4898c
InDef0
OneLineComment
CanNotBeCase
7ece77a11c2f0cca624708e54763690b80c2ccea
InDef0
MultiLineComment
CanNotBeCase
9d4b5c193cbebb484ba27d10ecb69ed3cfeb8f8a
InDef0
MultiLineComment
CanNotBeCase
ec2950989f061fdcf18b6fe29684e63b6e971e66
InDef0
BoolTrue
CanNotBeCase
d5aad10bec30951b0b604eefc39cefa22da42e5a
InDef0
BoolTrue
CanNotBeCase
f5ffeb36ffec1123a5536b3f46bf7632e83fa6e5
InDef0
BoolFalse
CanNotBeCase
7d7c8aa54a2c8d0c87923cb754c2a5936e7ba781
InDef0
BoolFalse
CanNotBeCase
7d932c29bd0bcc696cb5d29724b892159fe9f01a
InDef0
BoolSet
CanNotBeCase
9729be83c6dc0fcc2e67289cbd43ece57d20e997
InDef0
BoolSet
CanNotBeCase
59f767dcdf95ac3f1974cbacc44e8fc1b4d2b1dc
InDef0
And
CanNotBeCase
8658211e980bb89383dea8acdd712f32f0ddf8a8
InDef0
And
CanNotBeCase
469beffff6491b8d962408685df52b2d955c231a
InDef0
AndMultiLine
CanNotBeCase
e7ae34a8c1391b696bef0681422659e8093cc51c
InDef0
AndMultiLine
CanNotBeCase
158469d58716b03e428baa814a3a0de514655476
InDef0
Imply
CanNotBeCase
63beaffe4cc5dfad258e1d6f0daf929ca3b99811
InDef0
Imply
CanNotBeCase
ed20f829aaf221ec663ca0d53daebb078667f354
InDef0
Not
CanNotBeCase
6903c28ba00507bf1458ee13cd0519c1d2cca65e
InDef0
Not
CanNotBeCase
8667fda149f9f1b0fb8828d4b25cad2c9e89270b
InDef0
Or
CanNotBeCase
1f9dfa8b938ae300a3e69481c1e7d7eb2426fdaf
InDef0
Or
CanNotBeCase
38925f8cff21f6c54ef52864502d741ffc228a7e
InDef0
OrMultiLine
CanNotBeCase
efceefaa917d1c84ec0db39b23b49760a0187138
InDef0
OrMultiLine
CanNotBeCase
e6102190589b25bf88cf8146f8a251742fc02344
InDef0
AndProp
KindMismatch
c6828740e70eb7c40f78fbe88676130794ebe203
InDef0
AndProp
KindMismatch
57662f88e836148f2d9ff2940e12729cf555b16e
InDef0
Boxed
KindMismatch
8096ff0969df5bba82908b6dd5d78b6d89f3098a
InDef0
Boxed
KindMismatch
c49748e455d49d4dcc0d46a30e7c8972ad4a8fde
InDef0
Eq
CanNotBeCase
f43ea2b440fb0b40c223f3080d6ed6d10ee54d97
InDef0
Eq
CanNotBeCase
486beb6d5de388d6da46560b95eb2967332a3912
InDef0
Ne
CanNotBeCase
0ecd4cb09c0616b9b0e08c6e02c9630883856608
InDef0
Ne
CanNotBeCase
cdd1fed81099b9daf1a3319bffbe5758806aaa1c
InDef0
Let
CanNotBeCase
f9a9341871ae97e477a256e67fa998b541e5cc58
InDef0
Let
CanNotBeCase
13f7072d90e81bd29d129a912780e4a4ac2ea5ad
InDef0
SetEmpty
CanNotBeCase
3f122feffb59351f4a6dd9431536ee34d2f58956
InDef0
SetEmpty
CanNotBeCase
c5a147fc196eeee1ed26abf4654ba0bd0de64c16
InDef0
Set0
CanNotBeCase
f431282e7c82aa4073cff426c939ceac9679dbd3
InDef0
Set0
CanNotBeCase
1ed6dc9972bf354488271976625d8ae2e0c8a6a1
InDef0
Set1
CanNotBeCase
7f96e40ce17d79bdda10e0d0de69492a67b81db9
InDef0
Set1
CanNotBeCase
94327ce5bd122978097f27ba1c01ee9637569328
InDef0
Set2
CanNotBeCase
dc9b2644b9923762bbeba94c65e42365a70c7044
InDef0
Set2
CanNotBeCase
b12c49c913bdd5763473d851b2ca75087fb5ea92
InDef0
Set1InDef
AlreadyCombined
1cd7a271e672b01329f0c920bbb0e27c19f98759
InDef0
Set1InDef
AlreadyCombined
73dddc8bda551bfb8daa2161295dd646b1fe5d35
InDef0
Set2InDef
AlreadyCombined
a0ec514b3a1c53c6840b98e9a6ea21c15a8532af
InDef0
Set2InDef
AlreadyCombined
cdd10e9f5fee93b805cee28ca6be9f909056f803
InDef0
InDef0
TypeMismatch
cbd9242756a618ad2f222579ffac7d68c0780226
InDef0
InDef0
TypeMismatch
ca4209d813245ef28c4a964f3960966e14a8be31
InDef0
InDef1
TypeMismatch
13b0716da32615b5aa7f048fc3082e18dc6402ae
InDef0
InDef1
TypeMismatch
5bec08bf69813b5fd072164ce4776bb3ea6c2765
InDef0
InDef2
TypeMismatch
45ac951a1453dfa086669d4619486befbb3eea13
InDef0
InDef2
TypeMismatch
08d31c244eae9b72fbd1b0ce434c487d3962a5bb
InDef0
Fun
CanNotBeCase
9a225d68e7d3dcd97e3225f91a45d87965fbd085
InDef0
Fun
CanNotBeCase
aa43a9e6b4ab00ec4dcdfd47b561f5d6e83367bd
InDef0
FunInDef
AlreadyCombined
0f6d0b95bfbe6d48f5d991968333371beaa298af
InDef0
FunInDef
AlreadyCombined
0bcd01d00cf42cfac58d0d7122a43b8254da643f
InDef0
In
CanNotBeCase
30a568e60f2f9054fbc66f66655cc48f3fb75239
InDef0
In
CanNotBeCase
1893e220c406358a03d73c20db94369029893a94
InDef0
NotIn
CanNotBeCase
a28b84118ef3735db7ef077c5186ff7d00704f1e
InDef0
NotIn
CanNotBeCase
ab1d441f4da4280b1e7fba3d6b5cf3f81b777c6f
InDef0
Exists
CanNotBeCase
45eb30a067cc0bfd3865948cbb4eba59d6924970
InDef0
Exists
CanNotBeCase
efafec875a417d5f65fd835b42dd5cdd72c664e1
InDef0
Forall
CanNotBeCase
4e360ccee427b857002cb3a19b0c69e880c55a77
InDef0
Forall
CanNotBeCase
aa83bf31a91ca46ae08c1658f6af650e61603b18
InDef0
ExistsInDef
AlreadyCombined
2e69ccb16e85181ec73c3b5e9a60b20a74af8111
InDef0
ExistsInDef
AlreadyCombined
bc54cb3055d075c185dd23b3c61801c4301a158f
InDef0
ForallInDef
AlreadyCombined
5734570335ac2053abf5186037d64f2ea50831fc
InDef0
ForallInDef
AlreadyCombined
93522c8758df1f984b923e1f6c32b271b9dbdcb4
InDef0
Choose
CanNotBeCase
5ad1a97175150a1fce8a2f9e9b9c9b7fe5edd1a4
InDef0
Choose
CanNotBeCase
f722374cb62bb6876ee695a3807ecf767708cd09
InDef0
ChooseInDef
AlreadyCombined
eb744ed7cdc3c341def11e0d71783c34c7e1d804
InDef0
ChooseInDef
AlreadyCombined
add29d12186d4829aed1eec74377108e5992565f
InDef0
Record
CanNotBeCase
ecc0ac210c6941ff95d6dfa6012c93403b096683
InDef0
Record
CanNotBeCase
33d365ab6190dd57e793f7d2e0ad11a449b77166
InDef0
Tuple
CanNotBeCase
ed25047f36942d01d52c0afc7a45e1d51097222f
InDef0
Tuple
CanNotBeCase
2d523a6142af56f90679da8e2a6e0011c016db68
InDef0
TupleEmpty
CanNotBeCase
3b006e102b90a3c6b98162099a0fa212cf119ae6
InDef0
TupleEmpty
CanNotBeCase
8ca780270d861b3b639f1f893287d815f0855ba6
InDef0
FunApp
CanNotBeCase
b7dd2ddb99c24466501be61efe068c003216db0c
InDef0
FunApp
CanNotBeCase
dd9c99b787a95fb5f3cf643cb3cd9a21fb69f29d
InDef0
Except0
CanNotBePlug
feb2352a5417976dff954b3f863e70394ddcf971
InDef0
Except0
CanNotBePlug
6e461a05759fad769a2fe06b50ab2aa415fad80e
InDef0
Except1Fun
CanNotBePlug
050340f36a8a82a9a7a406184ada80eec4604da9
InDef0
Except1Fun
CanNotBePlug
372198bac8a383347953e98923e4366463fa0635
InDef0
Except1FunWithAt
CanNotBePlug
7ee02c0d13a5cd94dfc1ca13fec1314225cf0c34
InDef0
Except1FunWithAt
CanNotBePlug
c42859ce286a3c640bfec3c9e5ca894df0e1f5ae
InDef0
Except1Rec
CanNotBePlug
fb6e44d24f2ad04117d3e515aa1dedaa0b6b0f69
InDef0
Except1Rec
CanNotBePlug
623405e6f975c9f02575a76633ad287a6ce5fcc5
InDef0
Except1RecWithAt
CanNotBePlug
cb9cf2a67728ad3a865ec27f36617cfabef26e90
InDef0
Except1RecWithAt
CanNotBePlug
9dc0a1f2b981c94f231ffe729acd08abd615998a
InDef0
Except2Fun
CanNotBePlug
bb0d8686fd470a16c8c393eed3bc6f0d22e7c93b
InDef0
Except2Fun
CanNotBePlug
0bb8aa3abf46761e62f1bf13dce462f8cc35bfc9
InDef0
Except2FunTuple
CanNotBePlug
cfc666bfe06c08a22418029ab9daf8b0f6adf226
InDef0
Except2FunTuple
CanNotBePlug
41b4154e4c902ea4a6ba5d2b8ee667906eefa6d0
InDef0
Prime
KindMismatch
2e404fb152083428280bd136123c36fd295dd50d
InDef0
Prime
KindMismatch
f71c88ce72a1476c125a0e1bf3a5f2a5fe5f6971
InDef0
NumZero
CanNotBeCase
545dc01e3f49edf40569657584eb2583fe1fd788
InDef0
NumZero
CanNotBeCase
5190809bf7418dbf4a3486a1c8d6149ff7d27610
InDef0
NumOne
CanNotBeCase
f68fbc5d24bb8e81eeb5bac90da70ee7c691e82c
InDef0
NumOne
CanNotBeCase
2b74a4facdeafd37e348c25549677955a2954209
InDef0
NumMaxInt
CanNotBeCase
6833a7e16d7987c06fce06ff936daa45653cf559
InDef0
NumMaxInt
CanNotBeCase
43f6272a5485631a70a1c3f887c78529cb1d921e
InDef0
NumUnaryMinus
CanNotBeCase
ae4f3efbf8e6bc1a445c60d4b2657a51a20c1e3e
InDef0
NumUnaryMinus
CanNotBeCase
250ab5407c3246b4e652987830956afd0d155ce1
InDef0
NumPlus
CanNotBeCase
fd7aca90abbf68a4fdd3177d8f04d4d73dfa98b9
InDef0
NumPlus
CanNotBeCase
d6f40f05bac0ddf185cf985bf2f096524edb513d
InDef0
NumMinus
CanNotBeCase
5f7d5fed81f6bf560294956ee9052569a24d91c0
InDef0
NumMinus
CanNotBeCase
a783cb7def0d719555434b41a6400e8b8740bcf3
InDef0
NumMul
CanNotBeCase
197ec12dcf47e9e348ecfd5da71107d6c64564f3
InDef0
NumMul
CanNotBeCase
cc891f8449dd0303abb7d332d9c355aaed3ee477
InDef0
NumDiv
CanNotBeCase
cf15f61e583dc9be6d1e88f1b324bae814be3c10
InDef0
NumDiv
CanNotBeCase
8b3e3a1dcfacecb94231b81361d9a269cc700da3
InDef0
NumMod
CanNotBeCase
129e9278345ac4d53ee55affbec0398938f734a5
InDef0
NumMod
CanNotBeCase
9d2683b58aaa62331984e71dc526db1feda1b00e
InDef0
NumPow
CanNotBeCase
d672b19f52f39c698821ebe67928be4c30491155
InDef0
NumPow
CanNotBeCase
edef02547d10fc870a5c33148396e9a905dcf2d8
InDef0
NumGt
CanNotBeCase
3739e12aa1776715e86431085a3f00711ee2021e
InDef0
NumGt
CanNotBeCase
dd9fdfcd796a42bfbd38f3a0b15af96c593c6a85
InDef0
NumGe
CanNotBeCase
c73cf6ee3b5f1c40342be0174d51b3571058e6f4
InDef0
NumGe
CanNotBeCase
535302adb73fae19540b134b04629711c267d99c
InDef0
NumLt
CanNotBeCase
be59b4646cca44be841b9f3470e27448a802455a
InDef0
NumLt
CanNotBeCase
1584ea65e7fca85ce54f7637edc2044a797723fb
InDef0
NumLe
CanNotBeCase
b19931f7d6cd090d94679230a9cc20a66f49186d
InDef0
NumLe
CanNotBeCase
396a071318ae9b9a98030a5cab34e04a326ff026
InDef0
DefFun
CanNotBeCase
e62dcf1c21fb63ae42da852905861eccaf65afe6
InDef0
DefFun
CanNotBeCase
a829c0cf7b97e9caecee2d968383be7e1d5c1efd
InDef0
LetDefFun
CanNotBeCase
f7786dc51fd747a56215f00a661ecc0d12ae0780
InDef0
LetDefFun
CanNotBeCase
f8b1b49546c5ab817e080accc936ee715d95dc24
InDef0
DefFunRecursive
CanNotBeCase
165e05de89e2cc863e39afeed30acb839e1c2c16
InDef0
DefFunRecursive
CanNotBeCase
06dcf06160efa28667de4da0b971812cf55ebd3d
InDef0
LetDefFunRecursive
CanNotBeCase
06119a09c2083eef38c506f6e2b395f50ea4f105
InDef0
LetDefFunRecursive
CanNotBeCase
24ce7e620766ef1d3163d4e5a93626576fb99b1f
InDef0
DefFunInDef
AlreadyCombined
11d966cbca491eeca2eca01ebcb7bf7c09197900
InDef0
DefFunInDef
AlreadyCombined
d89c8778ef0d87424e5444baf31a9f3a2ae6b679
InDef0
LetDefFunInDef
AlreadyCombined
032038d661df396b6bb797680620d3a15eaa5132
InDef0
LetDefFunInDef
AlreadyCombined
2be6d19845b624b4c3547e8eea06779326c12e59
InDef0
Def0
CanNotBeCase
e396dda80fc8f6b1595e545fbe0b2a8bb7ea49cd
InDef0
Def0
CanNotBeCase
f0252f22271e0c53dc7fadd0e6d26f621320b7aa
InDef0
LetDef0
CanNotBeCase
3818bfc75bb6a534a682c2ffaa5d0f13a0c4deb8
InDef0
LetDef0
CanNotBeCase
94804d25a94934587a8a0cc09b234e541ac4e2d2
InDef0
Def1
CanNotBeCase
e8f3813de33b275811327b2385c75875f58ef7b2
InDef0
Def1
CanNotBeCase
0321c362394832cf571931985a78b0bc296ce972
InDef0
LetDef1
CanNotBeCase
16aeb4a0486f31b7983a8bd6d1c971167eac41e5
InDef0
LetDef1
CanNotBeCase
3611fc017e18b46cda910122197628b51446a2f8
InDef0
Def2
CanNotBeCase
70c3a9e589083a6da007def18039d422d1191319
InDef0
Def2
CanNotBeCase
4814a27b1c9c9c34edc0bfa9d47514d642bd2437
InDef0
LetDef2
CanNotBeCase
4daa4889a89bb01f9009fe8aa39e2ed07e729d04
InDef0
LetDef2
CanNotBeCase
9e685ed5ac6a4c0384bd1423509c41bf97d698d5
InDef0
Def1Recursive
CanNotBeCase
513e6c450eceb3e2447ac0f39fe1b7a43d7cdd19
InDef0
Def1Recursive
CanNotBeCase
2a8fa3fda1cb73918e5db96339f9c67b4db4d6cf
InDef0
LetDef1Recursive
CanNotBeCase
808291ec85d3b2f4a2d22ad17281b2f99e1051fc
InDef0
LetDef1Recursive
CanNotBeCase
612ecc4fb6b980348dfe971207932fbc371e52d6
InDef0
Extends
CanNotBeCase
f5d5398d6bdca860dda28ce75b465ef3a080055b
InDef0
Extends
CanNotBeCase
ac123a88831b0736bbe136477edb2dbe8b4cde03
InDef0
ExtendsInDifferentFolder
CanNotBeCase
01794497910aa130e7e7938c33ab358b263718ec
InDef0
ExtendsInDifferentFolder
CanNotBeCase
62a88ad1c32c19f65b3dd37c1678a7c6bda480f4
InDef0
Variable
KindMismatch
4c5b6d852a3d285299757cc41a6b49086cb9aff7
InDef0
Variable
KindMismatch
5ae9db917d6539e8895f78030ffb01f3efd9ccb8
InDef0
VariableViewExclude
VariableExcludedFromView
ca29637b1c29fc9c07a1d62bddb1707e5f7f6600
InDef0
VariableViewExclude
VariableExcludedFromView
a4cb1ef310bf6de8ce9404b35bbcad141e10ac7b
InDef0
Constant
KindMismatch
d70a0406e4f78e0997c9d40c36ff1112f6d92a8b
InDef0
Constant
KindMismatch
24521fd40c020181e2d17aa967b471e50a26a990
InDef0
ConstantModelValue
ModelValueCanNotBeUsed
1d7550acbad08b6cfaf9b00ecc85ffbae7658e51
InDef0
ConstantModelValue
ModelValueCanNotBeUsed
4cd3774407a982cfd946a276ba61900f2825c051
InDef0
ConstantRank1
KindMismatch
4e0b7b77a25760bd1d7b677acfbcead48b8091b0
InDef0
ConstantRank1
KindMismatch
23a8fa504a982c86ce9db7581c9c94056edf62e3
InDef0
Instance
CanNotBeCase
88e373e1ac400942ba1f2322bbf84cc30a568fea
InDef0
Instance
CanNotBeCase
597d6b201524a0487a29cc8d57f0e0d9481f7172
InDef0
InstanceWith
CanNotBeCase
6948f0226b86b1d0a0daaf9f14dbdd3d854420a0
InDef0
InstanceWith
CanNotBeCase
771277dfac8ffc5fa7f9e2b19e2c7e099eb0bc53
InDef0
InstanceNamed
CanNotBeCase
11f9f72f6ab4a2d0468e37782cf803a80f1b7c89
InDef0
InstanceNamed
CanNotBeCase
5799ede50b27265439d92e2e7d36d0ce921e2eb8
InDef0
InstanceNamedWith
CanNotBeCase
2089fde41f7197cf870d26b683dd9f085a4cc852
InDef0
InstanceNamedWith
CanNotBeCase
e47cd9b476f3dc2c8eb36375991f77316c2c990e
InDef0
InstanceInFolder
CanNotBeCase
45602e626ad116fbcef1247ef2e7d999580626ad
InDef0
InstanceInFolder
CanNotBeCase
ba6f3427637b7ff421e45e2b0e4366dd822ac579
InDef0
InstanceWithInFolder
CanNotBeCase
0c1a3eaf5c3097a437cde3a1d8c5a5c49bcdb66b
InDef0
InstanceWithInFolder
CanNotBeCase
964d0faa8fab39b398a18d8008461e2684267075
InDef0
InstanceNamedInFolder
CanNotBeCase
50d9a24e1ac167c6e84e1a5930c81cf766a5fefd
InDef0
InstanceNamedInFolder
CanNotBeCase
90a35016f7afcfc5cc1c25a62c31f7ceb6c85163
InDef0
InstanceNamedWithInFolder
CanNotBeCase
cc5be1548df88d834824bd82a667f87e26ac3ac0
InDef0
InstanceNamedWithInFolder
CanNotBeCase
7fabbdef68b8a292c9f75f5e066668408cf1e3af
InDef0
Enabled
CanNotBeCase
ec5e60a6b79dbaefe0416a8f38aaf1685a7c5318
InDef0
Enabled
CanNotBeCase
624861ba665894197e1ba052b61e35eaebf04b50
InDef0
Assume
AssumeIsNotEmbeddable
24a662256cb074cce0f1b9faaf876775f79a608b
InDef0
Assume
AssumeIsNotEmbeddable
35fd59c265ee4d6599a632bc8a5b5111798cde17
InDef0
AssumeNamed
AssumeIsNotEmbeddable
6753965dcc4b966859b97c16e58b5b280d4b199b
InDef0
AssumeNamed
AssumeIsNotEmbeddable
a12dce38e7906039f706934d4431c6307c3bba79
InDef0
Lambda
TypeMismatch
aa944500b1eb4f4e9aa145b9647b112bf17d4dcc
InDef0
Lambda
TypeMismatch
d72f1883d1a8c76cad8d3881cedc8125fbbd7d1e
InDef0
Cross2
CanNotBeCase
701d9b53be13961507358038aaeb625e23c4bdc7
InDef0
Cross2
CanNotBeCase
2eb58ba66b5242c63e7cfafbf80f7cd6f8a30815
InDef0
Cross3
CanNotBeCase
3ccc482fb7d5c44bae537545e2591783a417d69c
InDef0
Cross3
CanNotBeCase
224b544567fbfd3b2c00d3409dda6905a8ddb7a0
InDef0
FunSet
CanNotBeCase
058d160982b0eeea99a5bb0afa5b75e2ec14ea8d
InDef0
FunSet
CanNotBeCase
a75f0541c1909cde5897c1ec2531efc3cc3b6665
InDef0
RecordSet
CanNotBeCase
70f14dc18980f7031548a176167a08134d7a1aef
InDef0
RecordSet
CanNotBeCase
20653aa8b16b2d83a731f5d6b3c41c5827846e96
InDef0
SetDiff
CanNotBeCase
e4984e5dafa554782b726e8f8612a57abae597dd
InDef0
SetDiff
CanNotBeCase
67ed4563cc927eb71f02ce364690720deeb36dce
InDef0
SetUnion
CanNotBeCase
d9c256eb1932f15fadec5c2ed30f2600571012bf
InDef0
SetUnion
CanNotBeCase
7e36e9a8ce6568cae794bdd1ae07a9ef5e7b5ac9
InDef0
SetIntersect
CanNotBeCase
0db947501dede4d29ef5e0158422efe1a3275ce5
InDef0
SetIntersect
CanNotBeCase
567d2c9da6349c8f045f4a6f94bca08fc4fcebb7
InDef0
SubsetEq
CanNotBeCase
02ac18414e25a27d5690c667007ff55b150d7c10
InDef0
SubsetEq
CanNotBeCase
8de8e23c812226dd80129bed407ad6fe521051a4
InDef0
IfCond
CanNotBeCase
a97027834f45337f0af37da51325aec9ac8057d5
InDef0
IfCond
CanNotBeCase
dd3ec591ac9ba4be912be8c6bcb109780a28768c
InDef0
IfThen
CanNotBeCase
470ecc74c5e9878dd620f2304423dfc9623640ed
InDef0
IfThen
CanNotBeCase
be97c304a142413ab1283a1f215c44288a067193
InDef0
IfElse
CanNotBeCase
f8ea93bb5a29fc11b18259f1e49ec503044c27b4
InDef0
IfElse
CanNotBeCase
13df65bd0db5fa475efed93f42369187f2a5bfd0
InDef0
Subset
CanNotBeCase
19c9fd5c624995471968e3011494cf4a6bb2e0db
InDef0
Subset
CanNotBeCase
264b581fecfcc29dd6b952277b82216aee0d2228
InDef0
Domain
CanNotBeCase
4942edeb1d1d04d65ffc086a19977aed15cb3289
InDef0
Domain
CanNotBeCase
c58882b813131db0532f98e9e2d4906e0b1336bd
InDef0
Union
CanNotBeCase
da6104dca351cce0d7c568f35b8d15c5885de619
InDef0
Union
CanNotBeCase
2c9e93e7f5ab6e6b81590aad127b62d9dff000c1
InDef0
Unchanged
KindMismatch
30d5415d9f3afb4dcec85bb40e9659e7c6556a47
InDef0
Unchanged
KindMismatch
5196d84fa55367aacf6651ace4dc371548f319e0
InDef0
Equivalence
CanNotBeCase
112f3183b4950d4c9d98cf6357ddce79b3dfe0b3
InDef0
Equivalence
CanNotBeCase
f28d652e9794419b53b6ace3cb3d9fb77c666e98
InDef0
StringEmpty
CanNotBeCase
fe8a89b7b09e52ba5bd72c3a8fdf0963f6279dd8
InDef0
StringEmpty
CanNotBeCase
0af3fb24386e7cee6a0aa36576d5a37c99578513
InDef0
String
CanNotBeCase
e09b05a0990bf49e0a8422e11bd51e13a7bcac00
InDef0
String
CanNotBeCase
3e4125130601d005b5cceff0cab1fda4c318115e
InDef0
SeqLen
CanNotBeCase
0435d6ab84985423c38290bead7aa89e203ff057
InDef0
SeqLen
CanNotBeCase
ca157ddeb098a7c41bd4f0b91992720911b080a9
InDef0
SeqConcat
CanNotBeCase
945e42a4a3e9d93d7bbf895fb48774bae7646e5e
InDef0
SeqConcat
CanNotBeCase
fd64078218873731c250f45565eb7f77ffc0150e
InDef0
SeqSeq
TypeMismatch
fb8562b0afd2b7201b356dfe19296fe2ef6f9ed6
InDef0
SeqSeq
TypeMismatch
d2bc447f04e452957d94f32f17b3facf161013f4
InDef0
NatSet
TypeMismatch
a052b353fe4b059cd4e24c662b9e375ff8ab1c17
InDef0
NatSet
TypeMismatch
a5681e024c343341191f39740f01e727f32f16a1
InDef0
IntSet
TypeMismatch
afa3594c580ad38503327770598b94dc9c5ef51f
InDef0
IntSet
TypeMismatch
f4374270a5e1c069a5eb1e65df39564add0f5271
InDef0
StringSet
TypeMismatch
e41c0e740cd8d9dd3f6f38bca576fa7d034e5f32
InDef0
StringSet
TypeMismatch
f40516c32bf9f127d621f9b748a803b995dae7bc
InDef0
SeqSelectSeq
CanNotBeCase
eb616359809a0cda402e0b92d879d779447b1d5c
InDef0
SeqSelectSeq
CanNotBeCase
dde7a6e53e1ccf7fee5f1659994509cc1f02d179
InDef0
SeqSubSeq
CanNotBeCase
1bc9d9d0e54483f600c036b30ab3641e3fa95a06
InDef0
SeqSubSeq
CanNotBeCase
57a246a2a321c5974f297452d06e840938745e71
InDef0
NumRange
CanNotBeCase
693e6def891749b2b80d9b9f6369e7d81ddb5e79
InDef0
NumRange
CanNotBeCase
c659573302ad1591e146eada0f0a556158123dbe
InDef0
TlcSingletonFun
CanNotBeCase
f9b2032f03f2f5c6269b1aad3217089dc328474f
InDef0
TlcSingletonFun
CanNotBeCase
b881ea1fd753ea4186a9da1c282ad50e601c2e78
InDef0
TlcExtendFun
CanNotBeCase
938dc81778b68ea5de50d67e6aa1a848e89c261d
InDef0
TlcExtendFun
CanNotBeCase
b7507de6c7c143dfb93f3c3da11fb88bbee99207
InDef0
TlcPermuteFun
CanNotBeCase
63afc56d0a64d747aa2ab3503761e152c1b2f31e
InDef0
TlcPermuteFun
CanNotBeCase
e2076dcd37fc11915c592f3b37bb0495c42a732b
InDef0
TlcSortSeq
CanNotBeCase
85fa258ab8b82a825770ca49ff69f836ab0b3e1c
InDef0
TlcSortSeq
CanNotBeCase
86c5f89f3c0419c4605207040f78a529be46e1ef
InDef0
TlcEval
CanNotBeCase
93a3e7041e3c1298829068490761d9e43bb08d30
InDef0
TlcEval
CanNotBeCase
f17d2281466b046e1c27d0f3c6d42e640f8465e1
InDef0
BagBagToSet
CanNotBeCase
8253b4e0f24ac4d59a21c65a4b65c3bfe090d2df
InDef0
BagBagToSet
CanNotBeCase
3eecfd0bc95de4f3b16b2907bb340a3e350da0cc
InDef0
BagSetToBag
CanNotBeCase
2b831c400d29b8015de4bcabd6c187d427634e68
InDef0
BagSetToBag
CanNotBeCase
4a0015b016d4b2097a2bd86325a5554d1e6bd5a8
InDef0
BagBagIn
CanNotBeCase
043cf537f9a7c9cc0ea25324414e02539a09087c
InDef0
BagBagIn
CanNotBeCase
1662cf178af6dfe7d6a53d2920a6335362e0583d
InDef0
BagEmptyBag
CanNotBeCase
8d856fb02df0bcb38a7d59cbb0a5ef7fcda433a6
InDef0
BagEmptyBag
CanNotBeCase
83c8d1e4f0e05d30bfe6fd95c1a385f3ba170274
InDef0
BagAddBag
CanNotBeCase
909e122dab0d878a72f23dbc01ce0b3f1b189202
InDef0
BagAddBag
CanNotBeCase
27b5824a365d5b5e88faff3cafc3a6c7cc3b2457
InDef0
BagBagSub
CanNotBeCase
4a975e628519e7bb75252cc4c199695dc798ab2e
InDef0
BagBagSub
CanNotBeCase
3890c79015e26d3516d9d1ded47abb5044a12235
InDef0
BagCopiesIn
CanNotBeCase
037862a77cad6cdef33a2da800e6b86e0144cf6a
InDef0
BagCopiesIn
CanNotBeCase
57ce0115f36f6e2a886016f8b8e2468717bdab07
InDef0
BagSubsetEqBag
CanNotBeCase
4a30607e17485b55ce45fcbe185391272c774a03
InDef0
BagSubsetEqBag
CanNotBeCase
a0e26ed7a52add2e953ce0d9aed0ae3c97fce011
InDef0
BagBagUnion
CanNotBeCase
3af89301eb51b19255b61e73f79192da7e302f85
InDef0
BagBagUnion
CanNotBeCase
6bc230ae294f6c255dbf174f7daad2476ce91c7e
InDef0
BagBagCardinality
CanNotBeCase
270af2d5d8e6d2ce3519c083c24810989147c537
InDef0
BagBagCardinality
CanNotBeCase
4d4dffdc422b64d51b55c8c4488e8eb1b1e10772
InDef0
BagBagOfAll
CanNotBeCase
c15b06b93226dabe4b37f25d6e73260ad3a7c7f7
InDef0
BagBagOfAll
CanNotBeCase
0b3d8c377bc2326814f466a5e58930bfa593f6de
InDef0
BagSubBag
CanNotBeCase
2106041855ad9f39cb9f1d554829151a0aa5abf0
InDef0
BagSubBag
CanNotBeCase
729170a9fa134b353f09e5ee41371b6dbb9f937a
InDef0
FiniteSetsIsFiniteSet
CanNotBeCase
c79675a8447a3ba3d1e90db6efc48c6392fe2699
InDef0
FiniteSetsIsFiniteSet
CanNotBeCase
0d2401b7f21891b277d0d1388d200d31a7d7b53b
InDef0
FiniteSetsCardinality
CanNotBeCase
e9928bdb164d62199e74deba2bd969921c8a21bc
InDef0
FiniteSetsCardinality
CanNotBeCase
6617f4ed3fd0529fa2ada87444d4fedf36f13b79
InDef0
SeqHead
CanNotBeCase
00ad1f434f4796a4a20777916902267567f77592
InDef0
SeqHead
CanNotBeCase
da6e07d258d8fea9efd016e30bc28f400c66cd9b
InDef0
SeqTail
CanNotBeCase
c06724ffcaa1d2f0572074135d5a5362d7a73454
InDef0
SeqTail
CanNotBeCase
d86a2b48347b195f7b36a1a1c86185f5960ca9de
InDef0
SeqAppend
CanNotBeCase
5ee05ff84e1809338b8cd6ae0f57f036a63e31d9
InDef0
SeqAppend
CanNotBeCase