Index

Skipped feature combinations by case feature NumZero

Id Case Feature Plug Feature Skip Reason
768e0fa81063d1f0061065ac875de7c550c60538 NumZero OneLineComment CanNotBeCase
36ca1b867fa701984fe67e1c568e3b68f113613f NumZero OneLineComment CanNotBeCase
165b8b872402b4f1a939130772a1db1a3cfd6437 NumZero MultiLineComment CanNotBeCase
7e859df89dd751766b8d16aedaef9d1e7c4dcb17 NumZero MultiLineComment CanNotBeCase
6973d9720c466a0b8c6121a22ed6605639b24867 NumZero BoolTrue TypeMismatch
a76f54440a92499cdc4c4feef90cd27d97e53b6d NumZero BoolTrue TypeMismatch
dc60e7ce774a96968cff56a9c89bb2c85963a63d NumZero BoolFalse TypeMismatch
340314613deef4269fd3913321f38a1da24d2bf8 NumZero BoolFalse TypeMismatch
90632717a8ec9a09902446000601dcbfaff062bf NumZero BoolSet TypeMismatch
cb4b9c5bbda9a88b1971486178f663c10a709cc1 NumZero BoolSet TypeMismatch
03ee9da0da441f2caaf7b5325f6d0cc82ea01ba5 NumZero And TypeMismatch
5113e346429e8aa3f64026f4e977ad30ea1ddeed NumZero And TypeMismatch
a7c533b5cd4ab143a3f62d79f48f02a1c48d7b5b NumZero AndMultiLine TypeMismatch
aceece37c7e48dac5d4bdbbd2569b2197d09e8d4 NumZero AndMultiLine TypeMismatch
1e0de72f3702ba908a9c2de400ff17fa89259a03 NumZero Imply TypeMismatch
8607701f7f1929d2980197c0b6e7366470817c4a NumZero Imply TypeMismatch
cdd134d6c8529906346c74b8f2ed65d65429bd9f NumZero Not TypeMismatch
9d1edb1a838b0948f2ec5751fd19d27d449040f7 NumZero Not TypeMismatch
d6cd7cbaca4149d215a4652a02e7f1863dac210e NumZero Or TypeMismatch
72bdb7243802b11869c4cd097f4cb1918bf1bab3 NumZero Or TypeMismatch
bc90916314652a16dce5c8ba7bfe8989376ad9cb NumZero OrMultiLine TypeMismatch
0e64aff0072eb6f4622d382113ece36bc4589739 NumZero OrMultiLine TypeMismatch
1966baa6909dbd8a5e810a07b58ce3cce4009b07 NumZero AndProp KindMismatch
23621a1cc8e7e601ddfd94e2b457cf840e96c633 NumZero AndProp KindMismatch
19cf31790c640c1d0495d54bf32eb14d0bd6aa47 NumZero Boxed KindMismatch
ab2e25956b597a0cb381b9b4c387d62495287516 NumZero Boxed KindMismatch
0c6b3329bea4dbaa8de20d197ed426f5aaa2b320 NumZero Eq TypeMismatch
0315600b03dff6d4c92f774f8cdb5b77ad1ba372 NumZero Eq TypeMismatch
cb44405420dd20caa7144aa202ca92591c8a8b48 NumZero Ne TypeMismatch
01bf522c775930c6471bc28cc1429922066ff825 NumZero Ne TypeMismatch
34b253c0b8b71f26e0d978a2e143c835ee50575b NumZero Let CanNotBeCase
c9ceb6a3c0e27e16674bad601e48a6eb0405fd4f NumZero Let CanNotBeCase
a12118c52f695ecc88b82497893cd060b871b17b NumZero SetEmpty TypeMismatch
3dd138638b915f68b241f81310655731c11278ad NumZero SetEmpty TypeMismatch
7697b73c9a070a1309f441fff8d0c46ffc9a52a4 NumZero Set0 TypeMismatch
9a64aafdc4cae27702792c53ee0cc78a12d7d67f NumZero Set0 TypeMismatch
23ab80e9a4b7426e33bc22cba88bb4c63df1b403 NumZero Set1 TypeMismatch
02c24017f13ef8df32c5bb44b151917652c7eb6e NumZero Set1 TypeMismatch
37b5ecb70747abee96ee604d1a867104520eb8fd NumZero Set2 TypeMismatch
9c5fb085ce1f5cc5b6dbb666980b8b21d90d5b7d NumZero Set2 TypeMismatch
2e4fe1d65dbefe8198e3ce3265f6fd54cb905d24 NumZero Set1InDef AlreadyCombined
36d5a3aef6b25f97a19a731e8ecd78b024cc30dc NumZero Set1InDef AlreadyCombined
608873f7f2e3ba797d869446e437257c972118c0 NumZero Set2InDef AlreadyCombined
fa1c7f366fc2be15574a3d642b0818e4f1b565a8 NumZero Set2InDef AlreadyCombined
5de1ccef57e50c4e37283691b351c5d8c89e0cb8 NumZero InDef0 TypeMismatch
468c9dc9ca4ad905da0c767688c60b24b8d0ab47 NumZero InDef0 TypeMismatch
7e998abe8a9f923c931879c9fa15570fe59ffbc8 NumZero InDef1 TypeMismatch
5c4cf0f0007b4994283b3e2fdf477677d3e07475 NumZero InDef1 TypeMismatch
7753237c18462eaeda3fa23751aacd6238bb7865 NumZero InDef2 TypeMismatch
2623707801779fa74512141593660022daf38fae NumZero InDef2 TypeMismatch
a38301f9522e5584215e46c82abc2c28426a10e4 NumZero Fun TypeMismatch
57f29f5551b77dbc891709910503ff8ce06db92e NumZero Fun TypeMismatch
deaa14764813ced5572fb52e165e68219fa3c435 NumZero FunInDef AlreadyCombined
f92cfd0cabfe7829c887d0e8b0ad144b8e32e9a3 NumZero FunInDef AlreadyCombined
563c1c6ed4628f5bcc91499b3b5e022c8aa32509 NumZero In TypeMismatch
7938545e282609cdfba46772c26a0874a784d633 NumZero In TypeMismatch
ee1fa854954ae92f00883ee2c9b7aeeec51e16ca NumZero NotIn TypeMismatch
1b61eb692e3cce1f1e89f2660d86e9587dee4687 NumZero NotIn TypeMismatch
633d7c528d98e1efb54c954f000f334bafc93168 NumZero Exists TypeMismatch
fb76055e2eb25704d770ae3736d2c158ce7edf9a NumZero Exists TypeMismatch
fffa7524fcf7346ce295f03d0107d36f04c80578 NumZero Forall TypeMismatch
e275626039ac7e30b2d93d3d836096bfabf6077c NumZero Forall TypeMismatch
5fcf43c08282f2cd9d362e8f9ef9df352bdeb83c NumZero ExistsInDef AlreadyCombined
9a8fef91ea149c3cadf542767f97ec1100325621 NumZero ExistsInDef AlreadyCombined
0dcbb767fbd8baf7644ccb3de2cd4b690402f03e NumZero ForallInDef AlreadyCombined
9d339bf0d49d7c76ef2694bcf9510f7b7f6beb46 NumZero ForallInDef AlreadyCombined
09a18bcac064db92112c7f8d3c91b0ba5a47fd7e NumZero Choose CanNotBeCase
aa0bc581ff266f9333e6c89d3b1e52752f8b06d3 NumZero Choose CanNotBeCase
bccf07bb1c8c7a5fe4b57f56af22777dc9c6873b NumZero ChooseInDef AlreadyCombined
144f954d668bc72a210af00a4e012efbe6959f33 NumZero ChooseInDef AlreadyCombined
e79efef6ddf06c11497a6b7d09d20aad438f392b NumZero Record TypeMismatch
010a9b3c413f888a46ba92897dd36646c1f174ca NumZero Record TypeMismatch
cd68ef6d214c0f3b76cdbfe10fd54dff1ccdcd47 NumZero Tuple TypeMismatch
53f7b7a2c1db6359514eb3cd0bd02de138873c65 NumZero Tuple TypeMismatch
1d3c5b5c03ccda56c99724b94320ffd15a97d92b NumZero TupleEmpty TypeMismatch
a3faee00f8abace6072c53c5235a6af1bea8b4d9 NumZero TupleEmpty TypeMismatch
29bd53795c60655fb860d9b1aec66bbec9b000cc NumZero FunApp CanNotBeCase
acde85092aaad2758e438faff445383df6a1cd29 NumZero FunApp CanNotBeCase
16dac19fa8e7c203a944992cf7849a3c9a74b106 NumZero Except0 CanNotBePlug
7a533aed45e005e2de6f7a894d9cf0402cf2c306 NumZero Except0 CanNotBePlug
ad92bb8ac7d8000ec42189e5b927fb40e60ae883 NumZero Except1Fun CanNotBePlug
ef9f2782ce37423910fbc909537df89e0409cd9c NumZero Except1Fun CanNotBePlug
6a6996b4a83da1751f26e337cfa26139ebfcc381 NumZero Except1FunWithAt CanNotBePlug
8eab00938a7cea3fdebd053f636c943f03221407 NumZero Except1FunWithAt CanNotBePlug
ba32cc4c08353a7b7bd06856c5b68e0ce6a41ce0 NumZero Except1Rec CanNotBePlug
1e7bc2d55ebdde32da070e317424d10898c3a1fc NumZero Except1Rec CanNotBePlug
4a64fc208b1581723ad191d61d76f69dc546ca70 NumZero Except1RecWithAt CanNotBePlug
cb8e534cd639c2cb4508f536af4503849c0b1bb1 NumZero Except1RecWithAt CanNotBePlug
bb0f8331af334ccb4903bd43fa1f2a35cba3ff9c NumZero Except2Fun CanNotBePlug
0ab2a58496e91437311f476d8f57b7ee3086028e NumZero Except2Fun CanNotBePlug
08d485174a74df337a03369af1a1c2443c5581c4 NumZero Except2FunTuple CanNotBePlug
b3b6638339e971940633e29207dc877c9e87b508 NumZero Except2FunTuple CanNotBePlug
0a1de014135fea0579f7d4e84c1deca8cbc51448 NumZero Prime CanNotBeCase
a5973e930d8e791461b0332e72756613660ffd59 NumZero Prime CanNotBeCase
4104fbab7c7ddc3bc5d6de943950471ac1652720 NumZero NumZero CanNotBeCase
ce1595a5067c3b8f6fcaf178b9065e3558f55b65 NumZero NumZero CanNotBeCase
6761cd5ead29de832f1223923ff671bae5c87418 NumZero NumOne CanNotBeCase
11956228421814a1a23b58c76d7f08e5d06ee7ab NumZero NumOne CanNotBeCase
a15ee467959c573542502a6d2b535029556ab268 NumZero NumMaxInt CanNotBeCase
040936164d5c367cfe62c84c6814889d00b6d513 NumZero NumMaxInt CanNotBeCase
fea1967db802adac25ed1b9f791faa86f786fb08 NumZero NumUnaryMinus CanNotBeCase
737c1286b08c70d2d0fe6e7536de050902363bff NumZero NumUnaryMinus CanNotBeCase
60631d64aadbe834b9b58cfe800fa0a2681cc740 NumZero NumPlus CanNotBeCase
661be68553f6f8f45dd1f4d5b1b513c1460b53a4 NumZero NumPlus CanNotBeCase
9f1c0c1345a5d291e0353ce5b3ffd8b32e9080dc NumZero NumMinus CanNotBeCase
2fbd65b7e2753bcf86533bf004b9f0ef6473ee15 NumZero NumMinus CanNotBeCase
6d351b5c113f48dc6bc84bcc944209a73e16ccd0 NumZero NumMul CanNotBeCase
5252f4a336990755807f115306b368d91d04b706 NumZero NumMul CanNotBeCase
80fc33fe25ba637ec65a07733e6274d64331c0d1 NumZero NumDiv CanNotBeCase
fad05622d99303be162638d7d014d9f08d3754fe NumZero NumDiv CanNotBeCase
3848bb8e56719c1bb3ac20c5cfe81d8c19ffe31b NumZero NumMod CanNotBeCase
a12734bd8550df6709aed43d6935fba2cfed82ff NumZero NumMod CanNotBeCase
4c2e139789a494d45e9bbbf1dd85f3afdb130c1d NumZero NumPow CanNotBeCase
2175991c23496a6f9c6a040d066939ba213f5ef5 NumZero NumPow CanNotBeCase
c77797cfa12cf54729680d33ecc66fe4256a280c NumZero NumGt TypeMismatch
a3c99c02fb758d419af1d308e982c5983a5742f0 NumZero NumGt TypeMismatch
0f3271c215b0f95a400c69ca0189327b37a97621 NumZero NumGe TypeMismatch
48bf65094a8580fdd25808910eadf35d91c52320 NumZero NumGe TypeMismatch
ffc700636c79d569e0f530e4252f21b0900abcb8 NumZero NumLt TypeMismatch
9083ddf7a35289a43bfb2e5d53b324c82cf89cde NumZero NumLt TypeMismatch
b201e8a64ce13354b0b623f20f41a9ba3002966e NumZero NumLe TypeMismatch
0dfc0ed51d4fa872fcbd8ce436ad796a596d5b53 NumZero NumLe TypeMismatch
341a537c2a1c8b845e58b584f97c6ce65c1df776 NumZero DefFun TypeMismatch
a869137092c2aba592d935b17887a1f9774ca981 NumZero DefFun TypeMismatch
fe03e8a2cc70ab8ddb8d48ffe06d7222f0788012 NumZero LetDefFun TypeMismatch
5a103317fdfc834ae9aad283375bcd13f609c318 NumZero LetDefFun TypeMismatch
4949272e7e419056e5f92b2c96a35db0bfe4bbce NumZero DefFunRecursive TypeMismatch
21c14aeec2f34a09e05f726db9c7896a55d538c2 NumZero DefFunRecursive TypeMismatch
a27eed2e392afd83634cf93c9fd47c132e3aed84 NumZero LetDefFunRecursive TypeMismatch
ed9512d9b3513acbdf1896c55727a7a568edbdaa NumZero LetDefFunRecursive TypeMismatch
1079f55fd06407482c57b305aadbd69cd1bb37c0 NumZero DefFunInDef AlreadyCombined
0449aab26c0cc46d9b48994b45622717e94af2bb NumZero DefFunInDef AlreadyCombined
ad8b9cdbd871602dc67233b0021cf070fd2cfdeb NumZero LetDefFunInDef AlreadyCombined
a744f2e91accbe3d251e09e0790d512babd86b08 NumZero LetDefFunInDef AlreadyCombined
b98064886ff4cab63d9a7e9d39fb9d4fbd24aaad NumZero Def0 CanNotBeCase
1a8882d4ad5acf84ff463a0f59f830f7e3b04948 NumZero Def0 CanNotBeCase
9b8378444e21642663343c63ca14c87223d532ca NumZero LetDef0 CanNotBeCase
8ab602fd18913821c4465fa292a5eab5e3f9a0dd NumZero LetDef0 CanNotBeCase
26e8b5c28016101e83f71fd0fdea6b328e4113a1 NumZero Def1 CanNotBeCase
463bcebc168917efcd8b77bd89ad27ce183a4dd7 NumZero Def1 CanNotBeCase
7a06c61aa7134556fe9dd621f1f46c1765a9724d NumZero LetDef1 CanNotBeCase
24f4c39a110dc0b7476991e85b890b7919b7e451 NumZero LetDef1 CanNotBeCase
9bb402f8cfe6e541458953d55ef469e26bc042f0 NumZero Def2 CanNotBeCase
0df3bbc6fca443477384ded59d9d801e0e986f35 NumZero Def2 CanNotBeCase
77a931bc9f14bd3db02c65e4e65cdc87f2772584 NumZero LetDef2 CanNotBeCase
d07f3acbb4635c07e9a6617d56a725df2e802775 NumZero LetDef2 CanNotBeCase
2c48c497cf3ec45679fd7e3043a59bdba89829d2 NumZero Def1Recursive CanNotBeCase
0dc0074b1a5daf9189e60415f11aaa277093b4fb NumZero Def1Recursive CanNotBeCase
70b9d50b5ce9164afca7c9e60f6a3a2b18f9a3e2 NumZero LetDef1Recursive CanNotBeCase
8a2316fb35b52166f6ef459d169d820579f950ca NumZero LetDef1Recursive CanNotBeCase
92fe9fe123e9b1544b33be669fd3039612a46272 NumZero Extends CanNotBeCase
04ccd9a2a23bd30ffa00d2b7fa74d57a77ee4a27 NumZero Extends CanNotBeCase
1c1d8df8817331306c957db768ccc3a2718a4021 NumZero ExtendsInDifferentFolder CanNotBeCase
f3ef7a7ea653120fefa372bec2b6c57700de8d85 NumZero ExtendsInDifferentFolder CanNotBeCase
f000919fe7d1b05359ca0dc08356b7f5634b1ce5 NumZero Variable CanNotBeCase
44fdd629913dfe3f032005caa076ca8e3a0a5af0 NumZero Variable CanNotBeCase
bf1bb26a523355404cdfe9f3782ba0893194c2e2 NumZero VariableViewExclude VariableExcludedFromView
565abc9a1c277943fe819786caaafec5dbae94a1 NumZero VariableViewExclude VariableExcludedFromView
75c63cccc9fe6c613b208b53ad8b4008b2fd94ac NumZero Constant CanNotBeCase
7811f3218d644d6c4f853f4bff071f2f3ea538f5 NumZero Constant CanNotBeCase
b2e3ee15dbacb2d58a4f05f2c458de8001f71c90 NumZero ConstantModelValue ModelValueCanNotBeUsed
88df32ad8359868ff1b610e615effb3cea60e9ee NumZero ConstantModelValue ModelValueCanNotBeUsed
f7398a57b352a0cb09060d53e80419a6a70b82cb NumZero ConstantRank1 CanNotBeCase
84b77cdf4ed9e16da9d32ab77df38839b15b7c17 NumZero ConstantRank1 CanNotBeCase
00ed23bd88875ad43dc516c1793e26603310a03e NumZero Instance CanNotBeCase
5688936462b4c28e4c8cfdace047c17306870866 NumZero Instance CanNotBeCase
323f43b41031ce45663bdccfaf4a5bd94dbe9ef4 NumZero InstanceWith CanNotBeCase
ae35d379ad237e96896d4cd71e4461c4f1da61ba NumZero InstanceWith CanNotBeCase
0ee0229e76e9e3d521d123663851230bee90a8fb NumZero InstanceNamed CanNotBeCase
9e97a4a5171616f65042a1631c3f62a0e18864cb NumZero InstanceNamed CanNotBeCase
4812b71b11d55147030ca2cb8e7e36b8b65222c5 NumZero InstanceNamedWith CanNotBeCase
18674ef696531212e96a83823fec1575b9f4f73c NumZero InstanceNamedWith CanNotBeCase
d2daa662db6e8fcbd10821116ea5dcb1e451eb5c NumZero InstanceInFolder CanNotBeCase
943adc382e45d24eb364314540905374ed2ee32c NumZero InstanceInFolder CanNotBeCase
d0c036740d9502fc6dd311064c3a2874772683dc NumZero InstanceWithInFolder CanNotBeCase
af2c03b49f4b85d367fd537b0623093cb8b5827f NumZero InstanceWithInFolder CanNotBeCase
1f000d8e443796c09ef0bc1aea4742e2b86fce6b NumZero InstanceNamedInFolder CanNotBeCase
a455154a45aa8aa9adce301488b5c586093c0eef NumZero InstanceNamedInFolder CanNotBeCase
8bb2af6d7f98968c732fdd6e9b2cdf174f50a355 NumZero InstanceNamedWithInFolder CanNotBeCase
1e3a5ce23a8e686f3419879dc1cdb2aadac49c68 NumZero InstanceNamedWithInFolder CanNotBeCase
8f06c16c9c5f692218fad278968d63965901d389 NumZero Enabled TypeMismatch
785f0cd4126578f950066d0133640146c3ff58be NumZero Enabled TypeMismatch
8a83b70ac90bddf983b7790cdd4d718a334003ae NumZero Assume AssumeIsNotEmbeddable
82edc19d63401e2bb00d76b5bd25d841344f29d6 NumZero Assume AssumeIsNotEmbeddable
5ef0fb6c854f7a3e30c692c8c45596234d574f92 NumZero AssumeNamed AssumeIsNotEmbeddable
38e0a38bfdd1967792206e6429f4f1acafb87856 NumZero AssumeNamed AssumeIsNotEmbeddable
3845b464a967be9b0b2bef3b20fd810f8ac98ffd NumZero Lambda TypeMismatch
a7246ac38725288a1c2e5082361c974aebd0716e NumZero Lambda TypeMismatch
439cf80618d330da50515b914394c2d8af11ba45 NumZero Cross2 TypeMismatch
c353d3a651d3c91a5154c92086ec2fa701dc63df NumZero Cross2 TypeMismatch
2e68ca937834febdede59d09fb5abc39e7b7a072 NumZero Cross3 TypeMismatch
71a7c6f59d9db97c9e5a234bac29ed8d744aa5d4 NumZero Cross3 TypeMismatch
1c08b8b8fa3bb1f519a1b0b874573e86bbe8941f NumZero FunSet TypeMismatch
cd3e2fdbb7463066aec7ae7c0c7f2986a4c295ef NumZero FunSet TypeMismatch
86717b3a5ceeca1bc17a64676c3a7a23c2c51c37 NumZero RecordSet TypeMismatch
9b6f177f65c6accc310760b3ac2d09a823daea4d NumZero RecordSet TypeMismatch
a3a0b808b3a6f204f63d8dfc74a22c6e84f9d6f7 NumZero SetDiff TypeMismatch
711fd008b2f10603f4844dda6b387fda5cac92e1 NumZero SetDiff TypeMismatch
ffc5d1b379f7894f7f803078e74c73eb5f5e28f7 NumZero SetUnion TypeMismatch
ded82032c1e8e9e041649862c308260c13c436c1 NumZero SetUnion TypeMismatch
9fffe96e4536690c71fd316d7e247f941df7a9df NumZero SetIntersect TypeMismatch
5aefd893d6748259ea9ba95d5c6f3ac7b4a947d7 NumZero SetIntersect TypeMismatch
7513b3e4d456e92edff4a44460a19050ca59ea6a NumZero SubsetEq TypeMismatch
1a1711222962cd6a46787af9dec147e9c480acdf NumZero SubsetEq TypeMismatch
f65cb031edb68e7cd09b7a7e3b55205c42570251 NumZero IfCond CanNotBeCase
e24fc1a6b6e8d864e4abf6c35280a62fa1a847d2 NumZero IfCond CanNotBeCase
bc7ce2c922ce3317da4127e2e6993493dfc1d627 NumZero IfThen CanNotBeCase
205b650888ae2a02ce0545a5f04768f3154a7f4d NumZero IfThen CanNotBeCase
5d17ff2bed81135bd365fa25026bb0fef4db71a0 NumZero IfElse CanNotBeCase
cbe839067e0a57d7f7dd590c75c514df32724415 NumZero IfElse CanNotBeCase
706fbc6a1330252c0c2b28a82e0372ec1af4d505 NumZero Subset TypeMismatch
9919c6eed7d1c6c66e9b9dc8f550042d078252b5 NumZero Subset TypeMismatch
a4550dd28209c4b1251a15bed04515cd5dc99d04 NumZero Domain TypeMismatch
34d56bdfc218841ccfa9964b9e2e35c58b30feb0 NumZero Domain TypeMismatch
e02e6221f482f760013f2606d25582f9ba8822e3 NumZero Union TypeMismatch
703291f667e99cffb8097f0f5d16b24f963904a7 NumZero Union TypeMismatch
721b2cc14e563b3753072a7445bd3a1627ab6afc NumZero Unchanged TypeMismatch
22731422569cb10e890f6c64b6d405e009ad9c4b NumZero Unchanged TypeMismatch
29a18c7ee30d2635208cbb8bb78cb064c3ed5a51 NumZero Equivalence TypeMismatch
88eef7943029a362bdd7991c1a979fdfcfe5b1dc NumZero Equivalence TypeMismatch
98e6c555a256ee4f3645c6fd15e74a47392f89dc NumZero StringEmpty TypeMismatch
16a826c53dc211955708293c83d371d956c387fe NumZero StringEmpty TypeMismatch
ee3ba331384309ae1be0dba69fc356cd241e6031 NumZero String TypeMismatch
7909f6d43615181d219f9ac15a0371bae5a62c1e NumZero String TypeMismatch
465ada0ee232b10e85e266a23efb10d53de7a59a NumZero SeqLen CanNotBeCase
7b6d4bec0786b8ab0ee255c9dcd407e75901f685 NumZero SeqLen CanNotBeCase
123507d12ee87ffd265788789229353b34693491 NumZero SeqConcat TypeMismatch
89ff77443b2982630b0012d190164451ace3d666 NumZero SeqConcat TypeMismatch
099a1b8e693ce3c3e627e1c406ebfb66c1e0b4bd NumZero SeqSeq TypeMismatch
99bbc87191629c9aef6421cf7d812f8eccc3a10a NumZero SeqSeq TypeMismatch
7a106a2f8d182eefb2462f584ff0b3fed548bb40 NumZero NatSet TypeMismatch
f110daa83a247e6cf4e97a18e31af15856329764 NumZero NatSet TypeMismatch
60347ea5bf0b93bd7bc6aafc6bdf609d792a73e9 NumZero IntSet TypeMismatch
20686aaa3a674fbce67c377931629ff1158215c8 NumZero IntSet TypeMismatch
09c5fd4f2f475e712c3ceeca7de7c2d740f3c12f NumZero StringSet TypeMismatch
c46821afffef3263292f1f82d6f8a86fc0a1b046 NumZero StringSet TypeMismatch
9ea3589611efcfb20d265eb2a0ce6b3eeb27500b NumZero SeqSelectSeq TypeMismatch
fd6eba04de69d9a287c0139c61fd489d8fab9cc3 NumZero SeqSelectSeq TypeMismatch
ca02040578234718d2c6f104a45e087791b1a116 NumZero SeqSubSeq TypeMismatch
7b9548ce1d8312511e01458f7bfda9c1f22933f4 NumZero SeqSubSeq TypeMismatch
c54ab659ac7999d180cbe84e6559c37568893c53 NumZero NumRange TypeMismatch
b66ba0a113893dafb6d8a97b68bb645a4d4cac15 NumZero NumRange TypeMismatch
4ab012febeb7b1669d4457da3331b6f7385db61f NumZero TlcSingletonFun TypeMismatch
53c3cc30e6e58ab5f5727049df87ca85b314a849 NumZero TlcSingletonFun TypeMismatch
15f644b054b192b887827285a1330590deef60f1 NumZero TlcExtendFun TypeMismatch
357f24dd9649ad456a4ba25b1d7a7166d73d1566 NumZero TlcExtendFun TypeMismatch
4829a8183c53bc9533dd34125275d0a113dae442 NumZero TlcPermuteFun TypeMismatch
bf39f906afc5a8556dd9155341cb597a3bf921f3 NumZero TlcPermuteFun TypeMismatch
c00224cb6889a098fc3aaa84cb749bb801fe563d NumZero TlcSortSeq TypeMismatch
092ca82a4bfc9733fbb94e057adc5213c924e9c8 NumZero TlcSortSeq TypeMismatch
f02f3b2dab3a5eeb028539ba730c682e21b5e830 NumZero TlcEval CanNotBeCase
f2f812e8ce0a6c8823d2c7ced9d40c189f39c461 NumZero TlcEval CanNotBeCase
53c3ae37af8705fb9bcc6c71b3259c4cdab4dc80 NumZero BagBagToSet TypeMismatch
36bd5e8f185f4aef5c849e0501fe4a4b113e721b NumZero BagBagToSet TypeMismatch
85047a81d8d4f1f7dd2b1efd874791d084b94587 NumZero BagSetToBag TypeMismatch
9c6a72c180a72a266524a436425d5fe10bdd1a5c NumZero BagSetToBag TypeMismatch
7f1e76827dce1976900da433d34a88a64314b39b NumZero BagBagIn TypeMismatch
73949f3f5fe7f5e282090baecdb2b908ecb4ed64 NumZero BagBagIn TypeMismatch
ade25119dbfcf6bf5aba171fbb86b099bc1c816e NumZero BagEmptyBag TypeMismatch
4ee784ae7ff78ce6e8b90935239b5f902bd1bd12 NumZero BagEmptyBag TypeMismatch
38e605ca6926f9c34cdcbd420e4fa49bfe9ade8c NumZero BagAddBag TypeMismatch
182c0e3561818b587d301d7f2a0d71ce6fd7f805 NumZero BagAddBag TypeMismatch
f1d0e41919d29f96a8b34042ed5d68a79dd44f9c NumZero BagBagSub TypeMismatch
e360e71733fe73787a76f309143da3f3d6b42f2f NumZero BagBagSub TypeMismatch
382517934283e5307b68aacc9e0010870a1c0c75 NumZero BagCopiesIn CanNotBeCase
1157f7f8a4b4a1561740f2cd3399f5412efa741a NumZero BagCopiesIn CanNotBeCase
f2ec43897e052aca33f3bc4630ffd5f59d70ac4d NumZero BagSubsetEqBag TypeMismatch
6ba7c44c8247cb8cccaa5ce7c63555c6d344457a NumZero BagSubsetEqBag TypeMismatch
4d44234fccbc259319ba51f5760ce3b2e0371ba2 NumZero BagBagUnion TypeMismatch
b8fffcaa4ce50d17f2137b5edc5fe26e55c71865 NumZero BagBagUnion TypeMismatch
bf85e1a87a24a4cf3cdaa6c2487d967c2fac51c9 NumZero BagBagCardinality CanNotBeCase
20f96cc9ae9e1b8923d33842a04fc8e47073312c NumZero BagBagCardinality CanNotBeCase
1c3dd540aa3182e61bd2110583e92661dff5e8ec NumZero BagBagOfAll TypeMismatch
03ac2c556b505ccc4fba21168518d41839212337 NumZero BagBagOfAll TypeMismatch
00d72782b3a8d954d6cb167718b267ef267685a5 NumZero BagSubBag TypeMismatch
43b7d288fafaf0dd696db72d6a877062f608c1bd NumZero BagSubBag TypeMismatch
c260bd31124a5595bab9cca1e0e5abe011553fae NumZero FiniteSetsIsFiniteSet TypeMismatch
d6ec36fc6f851f1a2fa559ba2ecc23f3b2b8b067 NumZero FiniteSetsIsFiniteSet TypeMismatch
336c7aebd5f776e0239354d425c07243dfaa1f44 NumZero FiniteSetsCardinality CanNotBeCase
af8a7b1505acba06da53880ddc050dfd0fb2422d NumZero FiniteSetsCardinality CanNotBeCase
150f1d49e648d3bd9295de88948ce1e63a460d97 NumZero SeqHead CanNotBeCase
62818d27e89ca0d623994cd9a6a9936686799a12 NumZero SeqHead CanNotBeCase
992021caf6f857417361ba63ef0cb4a4deb697da NumZero SeqTail TypeMismatch
59ad1df5337620158c0db4556bee54eb17cdcc0d NumZero SeqTail TypeMismatch
768c134d9850ab1e050e1fd108a764bda14f4808 NumZero SeqAppend TypeMismatch
1bc87a1f3d6053e917124ac37e08aca5c06ec254 NumZero SeqAppend TypeMismatch