Index

Skipped feature combinations by case feature BoolFalse

Id Case Feature Plug Feature Skip Reason
20de40e81997aa6a6d1c5e21b36b432a84aefcc1 BoolFalse OneLineComment CanNotBeCase
9627f4efdf4c1f9f71ea11b98c086493c2b0ffa8 BoolFalse OneLineComment CanNotBeCase
4200fe39d057a379dd89f032e69a79bf0d17bbf9 BoolFalse MultiLineComment CanNotBeCase
9ea1a8b547c9bf3705adbcd3f783c47976997fff BoolFalse MultiLineComment CanNotBeCase
a896d8761cc2311f03649767142635f70b59c934 BoolFalse BoolTrue CanNotBeCase
25fb865a42220f78f7f9f569176d34f07b635ed8 BoolFalse BoolTrue CanNotBeCase
1eb3a7d1e200e96fd410098507dd9d6a72c57616 BoolFalse BoolFalse CanNotBeCase
5827cf5eda4a40d71991de6ebc5ecbe535706fe3 BoolFalse BoolFalse CanNotBeCase
965cf5d94e6a00f4d139d3d69e44580168a81965 BoolFalse BoolSet TypeMismatch
30186a1f8c071382aabf5989cfc0830998145f58 BoolFalse BoolSet TypeMismatch
a462bc5e45d585e0293dcbad39acaaa56051681e BoolFalse And CanNotBeCase
bb2c645824b8045d1601535dc3b15a8f466b2341 BoolFalse And CanNotBeCase
565f3a7597d8b3cee2e43977708a84f5a12e1729 BoolFalse AndMultiLine CanNotBeCase
d512bbb333dd084a5bdf1b60bbc2ee8ca4db1c02 BoolFalse AndMultiLine CanNotBeCase
0fc0ed9604747da99b3e57e5bd817903e83588b6 BoolFalse Imply CanNotBeCase
bfa16e587ff68e60296c2c77800b6eb1875c86dd BoolFalse Imply CanNotBeCase
1cfdebeac76cc49377f57dfd389d91c82bd316e2 BoolFalse Not CanNotBeCase
49f4985ced80a04d73072a5304758b2d9d0a16c7 BoolFalse Not CanNotBeCase
4f9d2ba79d27fe306ccc60903e19830d0b52fa0e BoolFalse Or CanNotBeCase
4f875cc9ba9cd642409b851d2e7c39841ac2e7a8 BoolFalse Or CanNotBeCase
97801744c27aa27078297e0641a70398444fea2a BoolFalse OrMultiLine CanNotBeCase
3d1041fbb0fad476a7f6738907e6766d94217b76 BoolFalse OrMultiLine CanNotBeCase
9e0e5075467e1954aba29b276d87e5e085c78dcc BoolFalse AndProp KindMismatch
6bcf69e48ac0146f0f75aec89e7004c9afcae4d0 BoolFalse AndProp KindMismatch
3d9206bbc29706423c8d317fc88fd0adc0ab2f48 BoolFalse Boxed KindMismatch
d3f44fd9bfba10d07bdd3037e73e2ef5544c198e BoolFalse Boxed KindMismatch
cadfc006b063bbf0bd20c76f7f25df13b022c206 BoolFalse Eq CanNotBeCase
1319e2ec9cfa85ddd2dab23fddafa72672c53e3d BoolFalse Eq CanNotBeCase
35fc2a281e182b4695cb1f9e5904a8a30e1a9d5d BoolFalse Ne CanNotBeCase
e0954b5ce85207c243239e2d4e24a38335121197 BoolFalse Ne CanNotBeCase
9a5db43bee392bc5a0597da4dac942b663ed71f7 BoolFalse Let CanNotBeCase
e2169b21b2e6dc2467358e931e6986437e96905a BoolFalse Let CanNotBeCase
0ebcc6e9d7ba06158b40ce96bf0d9b04ee55606b BoolFalse SetEmpty TypeMismatch
6a19afa919fb43a71accbc8adfb28bd07c066d81 BoolFalse SetEmpty TypeMismatch
00b0aec6202c4d2652015524e82e2af88f663197 BoolFalse Set0 TypeMismatch
6b004de2b43b93b7dd45bb86ddaf7461f4f6b0d8 BoolFalse Set0 TypeMismatch
299087f4a27385de453685e555e5fe9fd00ba8ad BoolFalse Set1 TypeMismatch
ce50a9b96ce618dda7723fa029066e435c64bb22 BoolFalse Set1 TypeMismatch
1bec4069efd5fa8476384327b5ea6bcfc320967f BoolFalse Set2 TypeMismatch
6858f13ec676f6e29ee676fae1148ab4b39ff6dc BoolFalse Set2 TypeMismatch
b44cf4b44c4efff0b4a51601bcbef6f2d6df1d0d BoolFalse Set1InDef AlreadyCombined
0a91b43c1044b2b0c4a9b00c03ddfe0a5b1a4fef BoolFalse Set1InDef AlreadyCombined
81afd3d690035b25d8de7bb49342ca96c3723df7 BoolFalse Set2InDef AlreadyCombined
304c2bea3c09912f5fd7899dba3a49c0d2232b99 BoolFalse Set2InDef AlreadyCombined
e4e2247e81aab654947e725e468d0157ddd1a87d BoolFalse InDef0 TypeMismatch
7b606fbaba84ce80c4829a7f884e5741f54afee1 BoolFalse InDef0 TypeMismatch
173e463ccc5140b1db291cdd520f8231fb9db87b BoolFalse InDef1 TypeMismatch
bb89be2a5480eeab26ae7c083d13ec735cf749b5 BoolFalse InDef1 TypeMismatch
4b73cd7ae8bff143a3f9073ed9f12638fa400e55 BoolFalse InDef2 TypeMismatch
8bb33a596be7b817948e30a109576566f55bc181 BoolFalse InDef2 TypeMismatch
946b074e49a98181ef4bbf06957bfbef09990627 BoolFalse Fun TypeMismatch
31b04606f6157fe9f59dc968f857261128c51f8e BoolFalse Fun TypeMismatch
bfbbc757db773be6c9fdda8410bfa5ec7d75037a BoolFalse FunInDef AlreadyCombined
2af44a4a1e0a29ed89e0dd453e9fd514cff80dc0 BoolFalse FunInDef AlreadyCombined
8e53930db48347c0d284c901860d27e390e6aed5 BoolFalse In CanNotBeCase
2dc486f861b7f6ebe144c8e368f800790142c624 BoolFalse In CanNotBeCase
a5fa9a289a2c1ef37001aa012ec75a44b42301f7 BoolFalse NotIn CanNotBeCase
7899fa180f059b0000107cfa4480af02d04d09ba BoolFalse NotIn CanNotBeCase
1cd808d91052672a848c26400ed4aa208114c66d BoolFalse Exists CanNotBeCase
a53622bfde948cf7b72626c60fe3491a95c618af BoolFalse Exists CanNotBeCase
98195f50917b083651df7d797b0d196abf642ba8 BoolFalse Forall CanNotBeCase
b802f8c385a19aad3e1cde25780075f3610b0f09 BoolFalse Forall CanNotBeCase
9c91b8708c37a3928c8c3e2610c082e65758d242 BoolFalse ExistsInDef AlreadyCombined
315887f1a08cc10547112d4322f5526d76ae435f BoolFalse ExistsInDef AlreadyCombined
e502c012a0bd76599d656de0d3418c44a92a76fa BoolFalse ForallInDef AlreadyCombined
ae947fdf147d228ae58b788b099ab93aada8739e BoolFalse ForallInDef AlreadyCombined
ba3627a5aaa17def9339ad0c27e54f9535469152 BoolFalse Choose CanNotBeCase
caec2a93ca3114b4c70eb629405173b4d01b384d BoolFalse Choose CanNotBeCase
4b55b6043164691c0304aa21f186fc2a0da48264 BoolFalse ChooseInDef AlreadyCombined
76756347c489e505c1fdec1bae16e954e298fcc0 BoolFalse ChooseInDef AlreadyCombined
f70788055a7d9606140908bbb743c542101f41a6 BoolFalse Record TypeMismatch
8d4ec86f2e09b5295d2e0a6618311e3c4088b84d BoolFalse Record TypeMismatch
39df9bb188dc58338aaa7e3b63c6b84c85640591 BoolFalse Tuple TypeMismatch
4e3ffa1b2154aa7ef4633e5e7fb0cbbc13205732 BoolFalse Tuple TypeMismatch
7eeceb9b8a8b70a3a690ff0e0668656eb98d4865 BoolFalse TupleEmpty TypeMismatch
35c93d43ab37dbf2bc555f758e63aa370518a18a BoolFalse TupleEmpty TypeMismatch
e1b8fdb5df0ae7f0b928c263d45755152231184b BoolFalse FunApp CanNotBeCase
970a1c15d95447fe3ab5f7b6096df68e2316ed2b BoolFalse FunApp CanNotBeCase
d3988e50057206e928136e85a9b75116e2983ec9 BoolFalse Except0 CanNotBePlug
1387e978613f4279d53ea2c1aa829022e91b5f37 BoolFalse Except0 CanNotBePlug
f1cb4c516ba1500dfe9f2733db78a08661461288 BoolFalse Except1Fun CanNotBePlug
b008183557e9ea9d41ffd3eed04b9346c8bb7d54 BoolFalse Except1Fun CanNotBePlug
37a9bf2edb74eec7c4dae538e6b42ef595f03e9a BoolFalse Except1FunWithAt CanNotBePlug
925477e88c1bd5e8fab41526c73479eb10134c38 BoolFalse Except1FunWithAt CanNotBePlug
a47bfd9a2e621947124c1c2d6d7a8594214529df BoolFalse Except1Rec CanNotBePlug
f785d984186a067f035d9ac0a88693f7479451a1 BoolFalse Except1Rec CanNotBePlug
c6e96f80fc87399de371ee08ea19a7fcc8a0f303 BoolFalse Except1RecWithAt CanNotBePlug
5259eca0b5dad35c5c1a996942b104ef20f0ac1a BoolFalse Except1RecWithAt CanNotBePlug
5c9043d8c54a13cf6810e54191e3069a72dcfd3b BoolFalse Except2Fun CanNotBePlug
40c3a835bc74916eec181c758e3b82e0fa8f12de BoolFalse Except2Fun CanNotBePlug
e46b2e55a47d2c6b61936cd2c3c95cefbe91b99c BoolFalse Except2FunTuple CanNotBePlug
32ebe4d26b736c0219135cd27487fcc6b73b4064 BoolFalse Except2FunTuple CanNotBePlug
a5bf0917399ac6efd7d1b77e78bd3645960b39ec BoolFalse Prime CanNotBeCase
85975ba6c55b52f7c97b0d2fdaa9e0571a5d7d51 BoolFalse Prime CanNotBeCase
6e13aa01e2f6f9ace736c338d55714a699aa4563 BoolFalse NumZero TypeMismatch
f17cfed962ac485189437cc10cabc43b5067dbf7 BoolFalse NumZero TypeMismatch
7386c94f49c6b989950f320643f1c0942314e1f6 BoolFalse NumOne TypeMismatch
9a66104e34be653aac863ffd5e530511a3b15db0 BoolFalse NumOne TypeMismatch
111c3e3b436d6cdb05f78a36f6b354f6fcde1ab8 BoolFalse NumMaxInt TypeMismatch
ae77e0967dbe157871a209176dfa56c833299bf0 BoolFalse NumMaxInt TypeMismatch
0d24e7c91e28e172c90cfad61101af7a57a512b8 BoolFalse NumUnaryMinus TypeMismatch
064d8009045f290f41e282055db9f9fa6cdbd163 BoolFalse NumUnaryMinus TypeMismatch
7cea0150eaa2622c730ab9a0ec457abdf7315436 BoolFalse NumPlus TypeMismatch
dcd961df2b6baee90234529339819b157d9320e4 BoolFalse NumPlus TypeMismatch
bf9e07b40cd623cf7890c49c59f586154ae57374 BoolFalse NumMinus TypeMismatch
c7b73f2f719b2604e9bf16347e3329167e5f2e4e BoolFalse NumMinus TypeMismatch
1db4227c1e84dce2f853b7b5ac8778a5235fb586 BoolFalse NumMul TypeMismatch
8260be5c336ab612df90392ecf46a0b600b31aba BoolFalse NumMul TypeMismatch
214fde7338f22b639d499495be3ee27aa0f0f3b4 BoolFalse NumDiv TypeMismatch
494ab41ec91a9b50375fd7c832b48809d94fbdcc BoolFalse NumDiv TypeMismatch
139e2a27cd2722117c64dd11447eeb445238aaf3 BoolFalse NumMod TypeMismatch
50e5b2b22f20e14e215f3982b880d82495bd635f BoolFalse NumMod TypeMismatch
ec225d94e05f68a2c032c8ed6fbfbdf50d67ce6b BoolFalse NumPow TypeMismatch
3c2dff4104b4e1c491865c80ede47886fa2df34e BoolFalse NumPow TypeMismatch
caf301c5aa5a4f8d8011cc025170fc36f87723a6 BoolFalse NumGt CanNotBeCase
f9dc998d9641247a24919f1678b979e54834e331 BoolFalse NumGt CanNotBeCase
73ba019d219a765071f195d7b29d0892a375be48 BoolFalse NumGe CanNotBeCase
cbd473d50f7fec226fd7d583f3ee419241a25431 BoolFalse NumGe CanNotBeCase
9ea092db44982d63fc67e815d4139a7df2ec9fb9 BoolFalse NumLt CanNotBeCase
07d1d4eb2185e4fc552ae0c5af817d14187a1773 BoolFalse NumLt CanNotBeCase
c0dc27f68b3c7eb8811f99e07d8d17733f7e9267 BoolFalse NumLe CanNotBeCase
ea05e7c8df48efe654a467d9588fb7b1695b2077 BoolFalse NumLe CanNotBeCase
9f9d96c1c92c87664d564acecb319c2627e0a0b4 BoolFalse DefFun TypeMismatch
47b2cf3457141ed88dec0d6a1660b4e5358c253b BoolFalse DefFun TypeMismatch
bb25ac8c247d3112a03d70cebab554342d5a2fc8 BoolFalse LetDefFun TypeMismatch
4b45b134676b8d14c91fdae092a45e23e7c00dc8 BoolFalse LetDefFun TypeMismatch
bc68cfd9aa8ea4d057e25ca3fb23efabc037515b BoolFalse DefFunRecursive TypeMismatch
72e56df16c8b993f5c46b0090807d4d6c77d5832 BoolFalse DefFunRecursive TypeMismatch
123bb7c91edccba528b0a4eaf508e886a2b8db44 BoolFalse LetDefFunRecursive TypeMismatch
1f7c5c730c2a99672639853ce07666e010e4fa6e BoolFalse LetDefFunRecursive TypeMismatch
8ecb0c57c78e03501b2d1053dcbe11a8fb1d1f54 BoolFalse DefFunInDef AlreadyCombined
1c78c9af0595dca596872ca549e626ce19583b51 BoolFalse DefFunInDef AlreadyCombined
5ad3f817622affebe7d26ed161c172086d5a6163 BoolFalse LetDefFunInDef AlreadyCombined
3af53b4a63c98f898aa4c343cce74e12510ee7ec BoolFalse LetDefFunInDef AlreadyCombined
30706b25597c5b69aa3cd9691017018b93e08347 BoolFalse Def0 CanNotBeCase
82338adcf81bf56e7666cb5ca67a0537efa09d83 BoolFalse Def0 CanNotBeCase
272baffcd419c790b284a3fe4c65f0f5ebfa4afd BoolFalse LetDef0 CanNotBeCase
e456720b12eaaab96a3a2ad75137310cf7b60f96 BoolFalse LetDef0 CanNotBeCase
7fbf4a7b67fde8f7587739e20f0e4980661d140a BoolFalse Def1 CanNotBeCase
d2fbe624f5f0df0a9d1214269a802f49780c6b7f BoolFalse Def1 CanNotBeCase
431283cc1ac7b216fd29e316aa19fd27faaea526 BoolFalse LetDef1 CanNotBeCase
1c7bcc77e6deeccfc9dd25542c953fed59ad0182 BoolFalse LetDef1 CanNotBeCase
e2038227e1d30ba8e0d930f3fef9be113120ddb1 BoolFalse Def2 CanNotBeCase
66be2eac20decc682a404579c3326da332208038 BoolFalse Def2 CanNotBeCase
1fe9ba262594a07d6138bae10b06049ec702610a BoolFalse LetDef2 CanNotBeCase
d1f68768d329937555e20b677a2834fae52c1477 BoolFalse LetDef2 CanNotBeCase
ada9ee1d4edafa2d2bf785e96fa910ebbe4c79c6 BoolFalse Def1Recursive CanNotBeCase
0133c5e39916b452eed4d00689ee9ab012d3c3fc BoolFalse Def1Recursive CanNotBeCase
168466daefe713436b64f55c5ca613bdd7c4a002 BoolFalse LetDef1Recursive CanNotBeCase
c05b2ad387c92da0beb534e8cada726c9c5afe63 BoolFalse LetDef1Recursive CanNotBeCase
e7c01bfe9ea2b93847d7c39ae7870e95f2591af0 BoolFalse Extends CanNotBeCase
9284ec089cfc9716408b7caec1ac80feb00bb2d2 BoolFalse Extends CanNotBeCase
7916710119d6cc51f0ba5412ac7fb08bc091bb3d BoolFalse ExtendsInDifferentFolder CanNotBeCase
b3e5ef1188d1fded7534df8f8fff5360efcd9467 BoolFalse ExtendsInDifferentFolder CanNotBeCase
2fb387bdc9f6e6e624f070354690bed16bfd9e7c BoolFalse Variable CanNotBeCase
c434e9ccb6e09cf40e42cde76f22a141a90220eb BoolFalse Variable CanNotBeCase
df370c749b7cd87ba5e968efeb316f83eeae31d9 BoolFalse VariableViewExclude VariableExcludedFromView
a42759679b439a1163d9e09a921326bf3aa9e666 BoolFalse VariableViewExclude VariableExcludedFromView
528f8aa5ff078b6389477422ab2c8bf4f62ea7dc BoolFalse Constant CanNotBeCase
778411fee77ca3bc5289b35184b726162d3676f3 BoolFalse Constant CanNotBeCase
3d15864a10523fc9a62ea9747e48115c3526611f BoolFalse ConstantModelValue ModelValueCanNotBeUsed
104214d6307e98bfbca57d50293a3bc177a4b3bc BoolFalse ConstantModelValue ModelValueCanNotBeUsed
e75d742ea9c9cd8b2255efbbfab6dd5a6cf2b199 BoolFalse ConstantRank1 CanNotBeCase
1d44e72388d052183883a6a52486976de925a3cb BoolFalse ConstantRank1 CanNotBeCase
e64ba41ca754a75b0f4105322bd3a049e770c721 BoolFalse Instance CanNotBeCase
ce4a05d73d20471e15c3b83fd29b4018297a8eb2 BoolFalse Instance CanNotBeCase
96ef5ae044d0fe8fe43e1f7ad00678d8b1c18a98 BoolFalse InstanceWith CanNotBeCase
25defc9a35dc9b365b08ede46f1cc2f3df220505 BoolFalse InstanceWith CanNotBeCase
6c8d3097ea83a2234dc58182eba2107cfd407c21 BoolFalse InstanceNamed CanNotBeCase
59512a2ecb497a70361830be3dd55454a0fae1c4 BoolFalse InstanceNamed CanNotBeCase
107fc977255f6da5c05e05e881edf10814973802 BoolFalse InstanceNamedWith CanNotBeCase
1c845d1876de8aba8fc5b91c435727219a2f5c81 BoolFalse InstanceNamedWith CanNotBeCase
1ffbe2f9c93eed811467da36dd99117520a99361 BoolFalse InstanceInFolder CanNotBeCase
181b7db6d54e9688fb7cbdade2a12c2379c1b015 BoolFalse InstanceInFolder CanNotBeCase
a515a490d133563a7f4bf9884b4f63b82470a375 BoolFalse InstanceWithInFolder CanNotBeCase
7ae29212ceb4bf6aed7faa4a94aa545e93bf6da4 BoolFalse InstanceWithInFolder CanNotBeCase
8b4b56f1ffaf3bc4720cfc285a7e9da21a13f6a0 BoolFalse InstanceNamedInFolder CanNotBeCase
cb0df19c40d0213f104dd822a36ee1f73e7da36a BoolFalse InstanceNamedInFolder CanNotBeCase
9c66fb00551ae721253a4f16dc99294d891b9944 BoolFalse InstanceNamedWithInFolder CanNotBeCase
9c0b4d513911cefd828def7d727a86feb5cb94e7 BoolFalse InstanceNamedWithInFolder CanNotBeCase
838c8fa1ef47ffeb7f9d82c81a26328c9846ae35 BoolFalse Enabled CanNotBeCase
dfe01a9aabd513de124ec4af3792c4c8a12e1101 BoolFalse Enabled CanNotBeCase
ec7e85a54c05bc07491b05d189cd738f28bbb423 BoolFalse Assume AssumeIsNotEmbeddable
dc8d2bfb9d87339e973a74c0f9f0e5753c6728b2 BoolFalse Assume AssumeIsNotEmbeddable
8ba300bb66f53922be3c594d21fd04b496595f00 BoolFalse AssumeNamed AssumeIsNotEmbeddable
b842beef6b7a7f84f1cb9d87b18b3ec804974d01 BoolFalse AssumeNamed AssumeIsNotEmbeddable
7f8d68b9a9c9405e6bd4cbeedc96999436b7aa6d BoolFalse Lambda TypeMismatch
696b56b5f9300a5e91852a267d41a3d609b31e0f BoolFalse Lambda TypeMismatch
ec1c74a70209c866543f03156e1c7e4f451f35ba BoolFalse Cross2 TypeMismatch
867cc115c52a36806dd013f53e885130e235c168 BoolFalse Cross2 TypeMismatch
f4847cd2c89acc4decadd4f0092e5c715631ea30 BoolFalse Cross3 TypeMismatch
305dd86a821d87d9916e256f342331b8f1355396 BoolFalse Cross3 TypeMismatch
c8e723710fa413c49050aa8863fb1fc3c3b2755e BoolFalse FunSet TypeMismatch
e6419f56aeeb4566e4454ca5150ea30835007f6b BoolFalse FunSet TypeMismatch
e511c8c16cd96344baa63a032317728d36f77538 BoolFalse RecordSet TypeMismatch
7983f66473b78ebd47b37e08ac7d35ed4aac9736 BoolFalse RecordSet TypeMismatch
801dd7b8403379fc50b6ede48c2620894a7b6a67 BoolFalse SetDiff TypeMismatch
3318fab37989eb2f1066b181e67621d9cc884a8f BoolFalse SetDiff TypeMismatch
38bc781e2828fadbd3dd1dd65f93c2c641dd36d4 BoolFalse SetUnion TypeMismatch
c886c7ba72747cc1a35962c0c0ad1d635bd3de80 BoolFalse SetUnion TypeMismatch
dccd2b5f23b054e31195638e133c85d3a57b20aa BoolFalse SetIntersect TypeMismatch
4793f837ba24b44b0e56ea85b0bc95590d1cb1b5 BoolFalse SetIntersect TypeMismatch
7b6f2c12af683f6ac7550cd7f0e57c70e020ddad BoolFalse SubsetEq CanNotBeCase
8496d26d7c037005e2f3c5a8f7fdd2fc8f7bb42c BoolFalse SubsetEq CanNotBeCase
393ff56c1bdb5752aadea41ec0465d30907bdc69 BoolFalse IfCond CanNotBeCase
2ad0d10f7410e81d6386f6bedd61f1ce695f45d9 BoolFalse IfCond CanNotBeCase
5cf87f7eecc1c3cc16b0673033a7749168766fe3 BoolFalse IfThen CanNotBeCase
31a404b7b3a589519c2928877c63ac8559e59216 BoolFalse IfThen CanNotBeCase
080f43f401e1dade0ec9014bd4ee8ebd0671d84f BoolFalse IfElse CanNotBeCase
d34ba6194eae683cdc1ac5e045fd5013d2c4cba8 BoolFalse IfElse CanNotBeCase
ab9a8a7437fb6b2f7f7c85b49a71a4b40d2b1507 BoolFalse Subset TypeMismatch
f001db69b28fc22a10c4cb11b1f02bc8808241f6 BoolFalse Subset TypeMismatch
a0093a3cfd7e1b1cb5bb537cb0a9f22932060370 BoolFalse Domain TypeMismatch
c01dda3fdc745da564afe1b828a0686d3eca4fd4 BoolFalse Domain TypeMismatch
b40f9ea68a91ed9f05bc6ba900d466ff437b13f4 BoolFalse Union TypeMismatch
37197837a5bf0591f4beab442f872e3053fdbb42 BoolFalse Union TypeMismatch
fc2cafb67a85c449034323e9927585b98588456b BoolFalse Unchanged CanNotBeCase
47ab42929e730f310be3b1383b7a13ef11b747d7 BoolFalse Unchanged CanNotBeCase
0fa47b550cd1acdabd0f7604118388e3a16f277a BoolFalse Equivalence CanNotBeCase
cba32f48b97536dfd49ea492492eced280d6e205 BoolFalse Equivalence CanNotBeCase
b1de9ff8363f6c09eaec99e5f9d1b7c3a843142f BoolFalse StringEmpty TypeMismatch
6ec6abaf852052b4300c0ee34dacacec294a7bee BoolFalse StringEmpty TypeMismatch
cf3cb111813ddf88ce3ed4f8dab490146c25441b BoolFalse String TypeMismatch
97446b505ac6d706edc41c8d7a48b973676040df BoolFalse String TypeMismatch
5ca68ffa389fccb8353824b75f51318d51a19858 BoolFalse SeqLen TypeMismatch
856afa443d841107c0abe2b10e2aa852fbf01124 BoolFalse SeqLen TypeMismatch
9e712f83fd4d25966ff49e620eda7c6843288fa4 BoolFalse SeqConcat TypeMismatch
0ab02c7fa252e41d5397689948e5fd2ce9acf650 BoolFalse SeqConcat TypeMismatch
7a550b8412089613ffcd24bde1c53f8901daecfa BoolFalse SeqSeq TypeMismatch
5ba1a928699571933bf23ba44bbdeff01531a809 BoolFalse SeqSeq TypeMismatch
69cb3e35ad02a8c2d09bc1307f4be60feed0bf97 BoolFalse NatSet TypeMismatch
6ed7d0fa7d9b4c80dddb277d7579b672abae1194 BoolFalse NatSet TypeMismatch
6e495c46d8fd567876415ad6adfa8fcfdbc6e640 BoolFalse IntSet TypeMismatch
438b25e4e08fa770ee0795ef29f6137d64e9518d BoolFalse IntSet TypeMismatch
64fd5bf7bd73068b6fff68da6318add8ab279606 BoolFalse StringSet TypeMismatch
4d79c6b0d827758109efc93d473bc4f5945663db BoolFalse StringSet TypeMismatch
7d1e03e9f997981e542a72cf4891d69849bc45e7 BoolFalse SeqSelectSeq TypeMismatch
5b9f5b5da8cece2fe26f684787aaebb0509e4a63 BoolFalse SeqSelectSeq TypeMismatch
e0fca9c135f0065e1bb31bb63119fb3f139625c8 BoolFalse SeqSubSeq TypeMismatch
54c0d08d8bcab8883ea1656d507ce1175f6f50ad BoolFalse SeqSubSeq TypeMismatch
1e813a547eee94c269f3e3ef6f06a00ff781a7c7 BoolFalse NumRange TypeMismatch
ac9cb531a2db6a4051fe143a8281864778eac57a BoolFalse NumRange TypeMismatch
8e21e8a95159b51a5db632d4a9e63d796a35163a BoolFalse TlcSingletonFun TypeMismatch
5e921b0b6eb3ce7c338c2a4baa160f22cc1907b2 BoolFalse TlcSingletonFun TypeMismatch
5d831ec337328ff0a6b72204c7fca1c47a1576dc BoolFalse TlcExtendFun TypeMismatch
a428bf2fcb696dc4ed453df6bc0f0f03c071bdfe BoolFalse TlcExtendFun TypeMismatch
430ced5eaf3cb7a0763558c2b97aa552518818ff BoolFalse TlcPermuteFun TypeMismatch
9ef9a89e43ba0e0a10679adb0ba26f79cdd97a60 BoolFalse TlcPermuteFun TypeMismatch
69818b98170cdb2c299be97fbc8aba896a6adb11 BoolFalse TlcSortSeq TypeMismatch
3a4263d8e4bbec3dcd19b23575e5ea48a491c298 BoolFalse TlcSortSeq TypeMismatch
ca7a2ed3173af6a6d3c0182914846a916786d8f7 BoolFalse TlcEval CanNotBeCase
60f080b356476c23676e82294f328762846ac80a BoolFalse TlcEval CanNotBeCase
bce1af5a1cff1d54daeeaa2581f599cecf7a1491 BoolFalse BagBagToSet TypeMismatch
bf1b6b58f2dc9826bbbac431d70ef842aae9ded9 BoolFalse BagBagToSet TypeMismatch
60307dc5f643d943529f369661bf7fe1f4c17f68 BoolFalse BagSetToBag TypeMismatch
bba4b91cb20d91aea1029fdb54c977cdb967ee75 BoolFalse BagSetToBag TypeMismatch
69296facde27a861ae194a43180fd00a034fb001 BoolFalse BagBagIn CanNotBeCase
c064a1f456f6e2d70f4b8b466e316e5ea7b4e640 BoolFalse BagBagIn CanNotBeCase
dceeb624fc62c79e81cd82483e67400ebb735132 BoolFalse BagEmptyBag TypeMismatch
ccb59d8da9957ab8e8de607304cccbd571b318b4 BoolFalse BagEmptyBag TypeMismatch
47527874b9a6f3d8aa0dc616e20eb647ce405a81 BoolFalse BagAddBag TypeMismatch
66586d466dfc0ce8ec00a8efc446d4e3b2b88282 BoolFalse BagAddBag TypeMismatch
0306539a237e00db0664d0cf800ac325ba83e961 BoolFalse BagBagSub TypeMismatch
a1a399ff1be5689eded41266c2302070d5229105 BoolFalse BagBagSub TypeMismatch
7586fa479fa9dbea2817e73592722a257c6f502e BoolFalse BagCopiesIn TypeMismatch
9af15ce1e99edcff630c27872e587acddf72ccfe BoolFalse BagCopiesIn TypeMismatch
dac6286c4edb729f6f05129eab31939f94d4260f BoolFalse BagSubsetEqBag CanNotBeCase
da97dc50c3dff77576a9fcee3371d43f87281ffb BoolFalse BagSubsetEqBag CanNotBeCase
52d91f53419ce38fdf0ae005e2e7398156866d7d BoolFalse BagBagUnion TypeMismatch
3f28c7a09b489a081fff210ce536a6416637f719 BoolFalse BagBagUnion TypeMismatch
847b8aebe6f798e530c3c5c4bb20040e29b0fb15 BoolFalse BagBagCardinality TypeMismatch
24332b81e2a7ee122bd442b4eb32adb47a5c858e BoolFalse BagBagCardinality TypeMismatch
7a2d7a9ac01454a99446f43fd1d94c49185fc573 BoolFalse BagBagOfAll TypeMismatch
82a30bc7b25e6cea57bc9e3092fc5397130b762e BoolFalse BagBagOfAll TypeMismatch
b0c6a1193b536930d4b8f3c45501141a40c9deca BoolFalse BagSubBag TypeMismatch
1f2723bdf6e161333080f347a0ec01295629bad7 BoolFalse BagSubBag TypeMismatch
ef6e2b985a1b091e6803b3faf8d451184b8b0315 BoolFalse FiniteSetsIsFiniteSet CanNotBeCase
736561d4bc7c8528b471388bab0e5d48f3327b03 BoolFalse FiniteSetsIsFiniteSet CanNotBeCase
bf3b18c280cb6e3860387bd25a5e90a08265a9ff BoolFalse FiniteSetsCardinality TypeMismatch
7342de3dbdc7481ba15eabd20f7e41fa86e8d9df BoolFalse FiniteSetsCardinality TypeMismatch
b012028155a80db08153192226581dcfeee2d3d8 BoolFalse SeqHead CanNotBeCase
5ae76c5c709cac60ccad85ce5839d58c74c484df BoolFalse SeqHead CanNotBeCase
f7834db5e1a9476e2b12536858779ae0de58da46 BoolFalse SeqTail TypeMismatch
a660c228a338ce7f21b74d7349a9483f1c5e9bf8 BoolFalse SeqTail TypeMismatch
8e37281ce37f0a80fcb1fe35f4b1c5c3be086765 BoolFalse SeqAppend TypeMismatch
9649264e4add82ba9f0ef48e1910a3d1a7665095 BoolFalse SeqAppend TypeMismatch