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