Index

Skipped feature combinations by case feature NumOne

Id Case Feature Plug Feature Skip Reason
ecfe3e2646a2d57f1eadc87c9d2f7a5fc9d0cb4c NumOne OneLineComment CanNotBeCase
8bddfceb1622a56cf8b85b9e54af59eff7a150c4 NumOne OneLineComment CanNotBeCase
400220bc3cb42a7ac294873239ed563333ec6722 NumOne MultiLineComment CanNotBeCase
299651202057b6337f5e16e3eaf6d149a77c9f58 NumOne MultiLineComment CanNotBeCase
ea3a05b47fc0c30e01b88fb47402965e9dd9ca4f NumOne BoolTrue TypeMismatch
0c8c2e9f5608c55d9cc9ea295f7b23b942306b73 NumOne BoolTrue TypeMismatch
37bd23239ddc77a17b9e2643c7fc44b0ca03e74b NumOne BoolFalse TypeMismatch
eff25e9d0e3a55f0338d14ca9c69a9cb4c06d119 NumOne BoolFalse TypeMismatch
a5f7fd2bdd82480bb1962c3bc0a65d337c356937 NumOne BoolSet TypeMismatch
902e3d74c5603018f8b236e4e7491e1e4a6a3135 NumOne BoolSet TypeMismatch
6dad08ab84313f4bac38e4e1a5eb4385fbc2a634 NumOne And TypeMismatch
d064fba9c88a135848089fb3c0e3171a6197a29d NumOne And TypeMismatch
152f619e8060c222777e7610677a05a2601133a7 NumOne AndMultiLine TypeMismatch
c04ec6b44009efc48e57041ca780f764cffc1894 NumOne AndMultiLine TypeMismatch
d2e130d1dbb2402af58ce57914acd87847d8cec9 NumOne Imply TypeMismatch
c9f893b9b8d7be92f833e68f0ef1347334a92529 NumOne Imply TypeMismatch
094bb4c9e01c346923c2ef387bfa508186b8ceca NumOne Not TypeMismatch
5488ba57f9132be1cd29e6a57e2298c2899a859c NumOne Not TypeMismatch
55c8b244b2489225c5817d532aab8ebb0b7d22d7 NumOne Or TypeMismatch
95f32e77aa5419c352c2731bf03a973d1d6ce904 NumOne Or TypeMismatch
579fb8efdcd7bf01f5907d7d1df3ce7abcfdc7fc NumOne OrMultiLine TypeMismatch
76dedc9f992f3ee492b602e56df9bb85644116e4 NumOne OrMultiLine TypeMismatch
4580f83d028eb7d4b84b1d23f3a97e557e4feb68 NumOne AndProp KindMismatch
9c3b4787fb4910a038c21455b54330e9ca9b726b NumOne AndProp KindMismatch
d5938c3e9c3cf8881decffbfcfe73e845d815a09 NumOne Boxed KindMismatch
8bb8ddc70edfc8c0d6bf65137ddc8750e997f70b NumOne Boxed KindMismatch
f27224b9c07eefb69da7e81c648c5519db1c2b86 NumOne Eq TypeMismatch
ec73769a27bb4cd6e88703e84344e860b3d9635c NumOne Eq TypeMismatch
d1fd82afaf7cc9640d64ff84d267b0819b274fa1 NumOne Ne TypeMismatch
6e9fb1cc71de6ce5f538c9f06eded9bc99311478 NumOne Ne TypeMismatch
4ab891c148010c2af975248a5061117c16e619ea NumOne Let CanNotBeCase
2eb66d163beb3bb706031b4810f3edb50e8909bd NumOne Let CanNotBeCase
34a2e07e40878a239bdbd0196d73ce6c9c73b90a NumOne SetEmpty TypeMismatch
7dfb5772616804c58b58fbfb2c275d9fa3663a42 NumOne SetEmpty TypeMismatch
684cba6d724e412a4810bc6a54a14ac112910e78 NumOne Set0 TypeMismatch
8a657ab62800300c2c3c72f1cd3ebf20e333aef9 NumOne Set0 TypeMismatch
d330b8e00c1ef0577cc4f4feac86fcc2e0a326b4 NumOne Set1 TypeMismatch
31c116294b93ac9ba937a0fb8eefdd0542008777 NumOne Set1 TypeMismatch
97ad47622084993f2fbe0d8f947876e1ceab1db5 NumOne Set2 TypeMismatch
aa8b16e64b9f7bb206f2d9d3892bdaed899b03a5 NumOne Set2 TypeMismatch
e26cc3f733e59fc11f2f1b6a697024cc13a59631 NumOne Set1InDef AlreadyCombined
d17f1cb03a734e03ce5dd8e134486ead8d01ca17 NumOne Set1InDef AlreadyCombined
b08d2ca76fb6f593bed0bc802fe7bdf88fa0f08b NumOne Set2InDef AlreadyCombined
a0c131034dfdd40d49eb2daea4b730fa21bdfbed NumOne Set2InDef AlreadyCombined
423e6ea3a061237b89e5a07a8651321947c43b39 NumOne InDef0 TypeMismatch
c975b71a33fe19cefbedbb4c04afbefe3c1bca25 NumOne InDef0 TypeMismatch
bafec84b33099580d736cb99a7461c17efc560cb NumOne InDef1 TypeMismatch
207670a4c81cf83de1dd14f8c82d8cc2ab38f8f0 NumOne InDef1 TypeMismatch
72b0365f1ace110dd83841057d4575a08992baa7 NumOne InDef2 TypeMismatch
5ad888ee86bb00e0e38f38142b457ba61ee03d59 NumOne InDef2 TypeMismatch
f09d87cb373ef3189235d48d708ee781f315dd15 NumOne Fun TypeMismatch
249aeb624ea993941257da497ad9b0855f6aee16 NumOne Fun TypeMismatch
a0ff3eca81020f5f471b394ff2872d961d30cb1b NumOne FunInDef AlreadyCombined
6e71b665cbe38aac223b5eaee44d9fd2ef9a0953 NumOne FunInDef AlreadyCombined
5fdf4db207f50ace58bb1233aba14e240967efa0 NumOne In TypeMismatch
21e9104d42152b597123d1263180afead0c5fc22 NumOne In TypeMismatch
33677ba6b06971cc35afbe3835703d5cff8e847c NumOne NotIn TypeMismatch
b6fa73ef6e7e7ee18329cd7569d0bd8779dcf017 NumOne NotIn TypeMismatch
7d9c33abcf5cb69e8b2f18498551c345367a194a NumOne Exists TypeMismatch
c8cbf2fe0a3bc2b5c2ec2892512f62707bdea24a NumOne Exists TypeMismatch
ac526d0af5e491369835b1e3e8a6684a8baae142 NumOne Forall TypeMismatch
eb53c0157b2552471a1d092e91cd7d5e5e44fdcd NumOne Forall TypeMismatch
29e347b070d13475838326eba68583644fbe394f NumOne ExistsInDef AlreadyCombined
97df94476a9003d101c77bb480dffaa45659367d NumOne ExistsInDef AlreadyCombined
14f43f6be6227527d19a94253098c717390033cc NumOne ForallInDef AlreadyCombined
763fb51941e42e5577a995ae5e896863a34c07df NumOne ForallInDef AlreadyCombined
493de2e2b64cd7a651f29e776d14c16077b670e2 NumOne Choose CanNotBeCase
3bcf6d31a8a7585a7ee771ea96b352d51c78d076 NumOne Choose CanNotBeCase
ddbb9a42d3f6b410f40242658e6e9d5590ffd4a7 NumOne ChooseInDef AlreadyCombined
c6ebf9a58860b4cd6acd53a2a23ce5e1fdbe06a7 NumOne ChooseInDef AlreadyCombined
879bda82ebd1e9664cf0ad4753a84a9b99ab59fe NumOne Record TypeMismatch
78d3b378ab9b150838bab2a4d5547a057af950f1 NumOne Record TypeMismatch
5932c54ed0261cfb116ca200ca7d7f99772738a4 NumOne Tuple TypeMismatch
5bd5446c365228e286052ecc683e80f6fdeb162e NumOne Tuple TypeMismatch
84b0c2e37033ca969a7a4529c54423a3ff6b496b NumOne TupleEmpty TypeMismatch
3a4e01ea046769905311ca2d37e1bea113811ed9 NumOne TupleEmpty TypeMismatch
f69cc7da39b4728bda8b8db2c75f4d735f846463 NumOne FunApp CanNotBeCase
11720e714cd9bdc379b82c4fe0b0923473d2a4ef NumOne FunApp CanNotBeCase
30fc2011e7327c1d2d0ecb077d6787dfcd5e4eb5 NumOne Except0 CanNotBePlug
3e5176bd2bdd099d7df9cf876e1271a609e4a043 NumOne Except0 CanNotBePlug
45c0506f4ed09287fb2791591662d92b60da75b8 NumOne Except1Fun CanNotBePlug
83f1ae804ee80ddc44d0739e4952e9743581eb0f NumOne Except1Fun CanNotBePlug
cbb3ee1085f842f4b7b8c0047bbe80a6eb884404 NumOne Except1FunWithAt CanNotBePlug
a3069b60889f79a5bf8ea31b537dccd2341b0237 NumOne Except1FunWithAt CanNotBePlug
a2e6ed9a1d35f56d562f05257db3b9fb79ead5b1 NumOne Except1Rec CanNotBePlug
cb10e27507b5011b3c4eb7e22932e3b8a5e5f19f NumOne Except1Rec CanNotBePlug
1c473cab973bbd78318c31df8ec8989a482bb95c NumOne Except1RecWithAt CanNotBePlug
c1e053139004a09586dac4727939288f9754a0b1 NumOne Except1RecWithAt CanNotBePlug
bf5b5ba0d3d7deffcc5f719e6507d9261c491de0 NumOne Except2Fun CanNotBePlug
8494f23984560d526926e40145958de9a86855bf NumOne Except2Fun CanNotBePlug
05931127f90aa2b0faef6e70bb98055cfd67656c NumOne Except2FunTuple CanNotBePlug
67721f21b1815756e38942c6240a2764403fe5a9 NumOne Except2FunTuple CanNotBePlug
d7b3cd356a6dd61b82f3b76639f156eefb540b73 NumOne Prime CanNotBeCase
d53eb132af177c23e7055213d7f94777dbc797ef NumOne Prime CanNotBeCase
287b50820d08f2de352417d1ee526d00231bd15f NumOne NumZero CanNotBeCase
86ba05d480ae694c267918d99f10cbfa2876b775 NumOne NumZero CanNotBeCase
943e84cbac563b86a260795311e2b10b726d0da4 NumOne NumOne CanNotBeCase
a82c9530b5cef498a78f240cc319c28a96c9c54c NumOne NumOne CanNotBeCase
f549c4ce7cdda781eeea1ba1e3527060de308109 NumOne NumMaxInt CanNotBeCase
f446d2ca3ab5da23418b811b8cfa1563b4a4400b NumOne NumMaxInt CanNotBeCase
94cf427d6b76b37ed9a5282836db5f621497083e NumOne NumUnaryMinus CanNotBeCase
a4f1c2a124b4f803ecfa776ef39f08a8b64cd931 NumOne NumUnaryMinus CanNotBeCase
5a3893645424646b7ef573f089b7ad98ed64d795 NumOne NumPlus CanNotBeCase
2d1403c5d4e98dafde91fc109c6048488fc62647 NumOne NumPlus CanNotBeCase
a8c72eeea8b40bea0b23a16b700f054a27733e9f NumOne NumMinus CanNotBeCase
a307137ad292e724d3862d3c64cd4547559e4b80 NumOne NumMinus CanNotBeCase
706292add762a8a0832db5b46222442d96a23911 NumOne NumMul CanNotBeCase
447c9cc2da0c4385df4de9c5f99d955d26498c4b NumOne NumMul CanNotBeCase
0670ee7b18caa4ccc742b72f91a73628a7ea6f42 NumOne NumDiv CanNotBeCase
a45457dcd0d9c7ef86359c3c4439f01702580360 NumOne NumDiv CanNotBeCase
9b2fb4aaa81f165de412fe11248339aa46969513 NumOne NumMod CanNotBeCase
eee1a43d1b68a7323393cbab47f14eaecbe998b3 NumOne NumMod CanNotBeCase
58258d70f84162ba963894336f74c60cd821c5b6 NumOne NumPow CanNotBeCase
6b606b0182dd9c62ca6def6889728288f7c1e7bd NumOne NumPow CanNotBeCase
677d79f82f78921cb3d852446a323f24c0cad604 NumOne NumGt TypeMismatch
1804d22b60a4d5870fe0ca8d8c464b961943bae3 NumOne NumGt TypeMismatch
2b269e71388dc2df98d1aaea422b918b45ab8db7 NumOne NumGe TypeMismatch
e9eca61516c499b2a8bd397875821e8cac921624 NumOne NumGe TypeMismatch
ad9ccf84f7357e4e117f4d4efb5854bc88524d52 NumOne NumLt TypeMismatch
7b692a72379195c9ac0d8af8520280071a0ece65 NumOne NumLt TypeMismatch
2431c00fd8661463142b589213b82c8a14e8ed26 NumOne NumLe TypeMismatch
12559021b724d6b254f91bd1c56d62746f28b625 NumOne NumLe TypeMismatch
5be4db3492851fa370a7b1210118c1d7be0c8006 NumOne DefFun TypeMismatch
32a1483943320ad69c041f014eef67205a32901d NumOne DefFun TypeMismatch
5008a3c795a6c85f6e3d1c241778ce0aef002630 NumOne LetDefFun TypeMismatch
212b4c4d8a3445a87becbef7144304d94d5569cf NumOne LetDefFun TypeMismatch
343c5f442626f41c16f359075a29dbd1045d5f16 NumOne DefFunRecursive TypeMismatch
75640afdd0529199e07759b313268338fd91843f NumOne DefFunRecursive TypeMismatch
064e7da728fddf4772852e3180ab4b562cc29d7c NumOne LetDefFunRecursive TypeMismatch
b4c4a8f1c8e7edabfc2de4a89872b0cc45007ab0 NumOne LetDefFunRecursive TypeMismatch
9ca00fbc8b61b4cd59072fd9de62e05edf6c2419 NumOne DefFunInDef AlreadyCombined
5549cf6b57b117e444ca282ae5a5e43991e5fe59 NumOne DefFunInDef AlreadyCombined
8d5df129eb34a639ef6f3d23fedda9004462be82 NumOne LetDefFunInDef AlreadyCombined
7753bffef10943442e1a0aba3cb0892bdbacdfef NumOne LetDefFunInDef AlreadyCombined
3b20625fe0cf41980031739dfbffc54fab0aaa06 NumOne Def0 CanNotBeCase
f573cfb01a3d3a8c1224e5412a364b6bf5a34579 NumOne Def0 CanNotBeCase
4372a6365902639afff70e2d1853b513ae2a5034 NumOne LetDef0 CanNotBeCase
102b88eae7d513d90583246edc76ae5adee45320 NumOne LetDef0 CanNotBeCase
651d01647f0b2b0a0e3905f45219a1c23ce09372 NumOne Def1 CanNotBeCase
1b2812d4ca8187f848d8d2361e430357abb97fa4 NumOne Def1 CanNotBeCase
a4358f86369a787824037708c276f608511c0cf1 NumOne LetDef1 CanNotBeCase
3b5f287370f2740560abc1c3c22d118d3c4ef423 NumOne LetDef1 CanNotBeCase
2b2c5249345837ee6d4f7f9143df3527d3657baa NumOne Def2 CanNotBeCase
9afa6e4b545b25be04ee65c17cac7f744764bde5 NumOne Def2 CanNotBeCase
78a0bd78c5c51efa200f412142dd0b694c44c21a NumOne LetDef2 CanNotBeCase
47981a0835b2b3777bb96372905c661e3142cad0 NumOne LetDef2 CanNotBeCase
601a4b00e54db9ba24a44a6cb045d78b87da6a53 NumOne Def1Recursive CanNotBeCase
f146d16d7ad4c160fe5e877beea57c00c350ca93 NumOne Def1Recursive CanNotBeCase
c6a37c7135632f13d0204a13321bc561280d2d42 NumOne LetDef1Recursive CanNotBeCase
a1173c31488e576423a5ac67f5788a7bca9d816d NumOne LetDef1Recursive CanNotBeCase
fec59d93391bc720bc68abba638e11c1c91eefa7 NumOne Extends CanNotBeCase
f560b0822b6f58432df38521408a11e0b2e98b39 NumOne Extends CanNotBeCase
9624f531df441cb60c9b790843786c396d395298 NumOne ExtendsInDifferentFolder CanNotBeCase
b1571b7d711cbfa022c3154753e4f94f71f1ddcb NumOne ExtendsInDifferentFolder CanNotBeCase
d21a8f66f42a106c37cbf77718cdc99272573614 NumOne Variable CanNotBeCase
ba84518dd971e3e8a728ec75fdf2c73f8fcdf0b9 NumOne Variable CanNotBeCase
304914d6a7c9682acc9fdadf96f63318a301f3a2 NumOne VariableViewExclude VariableExcludedFromView
5db84cc2b8b38eb123681b9f2ef856c982f181a7 NumOne VariableViewExclude VariableExcludedFromView
aea2751dbf62a979bc563b6bc4629d68672a232c NumOne Constant CanNotBeCase
b5013f03af1cdd69e3b6bf2b05e8449225c4e380 NumOne Constant CanNotBeCase
609aa18576240761af369693ecd0ca6b128c583b NumOne ConstantModelValue ModelValueCanNotBeUsed
32c9330ac8022a78b59edcd2ce426b65c036c4c1 NumOne ConstantModelValue ModelValueCanNotBeUsed
31b906eda7ce3b5e6791d20117136efe8f06544a NumOne ConstantRank1 CanNotBeCase
8ceae370708cb2b8b9eea4e6f8b22c90e2180936 NumOne ConstantRank1 CanNotBeCase
26bdaf893ab9624708bad3e6e4de2231d86c52bc NumOne Instance CanNotBeCase
bad63989e66461c96c82e157eeb17d3ff43178e0 NumOne Instance CanNotBeCase
6468a1218cfaca60a2069be1b4970a8c6dc43642 NumOne InstanceWith CanNotBeCase
4946ae0e0aa8f61bb74e179c0d50bd6d007519ae NumOne InstanceWith CanNotBeCase
e88e2accbd0ab17b35293f4d1ac99e43794e4843 NumOne InstanceNamed CanNotBeCase
061a642e76c167782b9779c23abcfe74a9b052b6 NumOne InstanceNamed CanNotBeCase
4a0560733513a4eceb5acbb2a41d23e5ddd33047 NumOne InstanceNamedWith CanNotBeCase
c258efe05b96255dcd148c51f2138d14b8384257 NumOne InstanceNamedWith CanNotBeCase
d2f0fa119ef394ad4969734b9bbddf8ec77c63e6 NumOne InstanceInFolder CanNotBeCase
a7a61e37a45f5965bfbf9373bd8b3033219d143f NumOne InstanceInFolder CanNotBeCase
5b7c5c2f4a58a07ef316151f053529ba125cb277 NumOne InstanceWithInFolder CanNotBeCase
c489ed40ce8bb41da885652367f5864bfd71a473 NumOne InstanceWithInFolder CanNotBeCase
808756438ba0661cf211608f0217b5e557228389 NumOne InstanceNamedInFolder CanNotBeCase
74cc6e1dadb29d9f208164ba8955ec6ec7050f57 NumOne InstanceNamedInFolder CanNotBeCase
b05c41f3cf4db44ae7027029222daf25c6c19500 NumOne InstanceNamedWithInFolder CanNotBeCase
d4824cfbfbc0990363af67255135036b5f26b199 NumOne InstanceNamedWithInFolder CanNotBeCase
95ad69d0eef736fd0789afb90191d0fd42023dc6 NumOne Enabled TypeMismatch
b29cce5c434a4c7f672ebd14fd071ccde1401efa NumOne Enabled TypeMismatch
3849d55da6ed0629d69ea8ad7e39799b67e09fe9 NumOne Assume AssumeIsNotEmbeddable
cf74dd162aae10e07cbb1625659b6371e46c45f8 NumOne Assume AssumeIsNotEmbeddable
e3c4e27b06eabb510e6dada73f30c76029d5dbd2 NumOne AssumeNamed AssumeIsNotEmbeddable
9401402973bfefde9dff4ac8f615602bbb34e305 NumOne AssumeNamed AssumeIsNotEmbeddable
9cead7296640ae34b6120fed4d9e121e9a7b0aef NumOne Lambda TypeMismatch
609198fdb629d7a2cc2f2e87ce3ba149c2cee1db NumOne Lambda TypeMismatch
99537fd2bd5fb43ba646581936fb09da7e981edf NumOne Cross2 TypeMismatch
eef0a1c7cf923d724738440fc5d0c2b6ed28cbdc NumOne Cross2 TypeMismatch
43b6d7f6dc91fd6adc946193dd813dfafa301ae3 NumOne Cross3 TypeMismatch
bcc89a02c19cf4553cddfba1b6aba7a64f76cf90 NumOne Cross3 TypeMismatch
31a013d2ffa01ece79eba5d38913ddfa0ee8e914 NumOne FunSet TypeMismatch
293711f2f81adcf662b017fc1c4d7ed6cdad80f3 NumOne FunSet TypeMismatch
a490f1293fae7ca55a2e0845a1d8227961475389 NumOne RecordSet TypeMismatch
933090eb3cdf0542270566a2beb94a991def0ca3 NumOne RecordSet TypeMismatch
d8c9aec2293b1e443ecf7b5f02aa4ff6908d09ab NumOne SetDiff TypeMismatch
2b1bc8c49f1256757c7ef5233a3e133031b94398 NumOne SetDiff TypeMismatch
db2350dfda26d7025e71edf9fe4d92bfa910aef0 NumOne SetUnion TypeMismatch
86f7ab414d52bf0ac2d6b9451db428b4f7310edf NumOne SetUnion TypeMismatch
a3042c5c73e3e4f3bdb36c41bf223148d800e4c6 NumOne SetIntersect TypeMismatch
ed61d44cb2b8038588a21136bbe951731e651a4d NumOne SetIntersect TypeMismatch
f8c08877541b9495401d833521ab2b4dd61a4f1f NumOne SubsetEq TypeMismatch
15bdf131ca5d12a753554a11ea65ed8c19fa90e0 NumOne SubsetEq TypeMismatch
1d6f71a8fb73a963ec6e92f73b48529633d37c5f NumOne IfCond CanNotBeCase
7d67354b12656a428effd8517607f28b71c28b6e NumOne IfCond CanNotBeCase
8cc59d556f41eae06e3a69f9be85023e387356ec NumOne IfThen CanNotBeCase
b78086d445c224c52de9af567faa4ef15a1a4e4a NumOne IfThen CanNotBeCase
55b18313c1329cdd766bb0a1b990e41f08d0ad52 NumOne IfElse CanNotBeCase
b34bb099697f729e7f792ec3ac0c4395fccaf6bc NumOne IfElse CanNotBeCase
470574e8dc7073c70a4d7330ee42b1a04ea54bc4 NumOne Subset TypeMismatch
295f86c7c0abee69d6f85d08ade9ee575d921027 NumOne Subset TypeMismatch
4407af23b1b61c79f6aca65eda01e037b638785c NumOne Domain TypeMismatch
2236110b9626c27b3cdff29f46b7d118062e83f9 NumOne Domain TypeMismatch
b4fb6c7eef518210d7a8eef7a0962d148c7abbde NumOne Union TypeMismatch
03d8ad3e06bc1dad2cd9c75ccc9cca22c6e24497 NumOne Union TypeMismatch
28a9d658831a5a6d10366823fe8d1f2dd365eb28 NumOne Unchanged TypeMismatch
e6b64bb9876eebba375dea854f1cbc3b66b89920 NumOne Unchanged TypeMismatch
fd1bad9c584979cc6f0d78b3550b87446149bf49 NumOne Equivalence TypeMismatch
772ee62ae7ff9ad597ae3f08120a576ff7442422 NumOne Equivalence TypeMismatch
5d8b696308fdca6a1b945d0476eec752359a4971 NumOne StringEmpty TypeMismatch
34c89d9c640dfe2ed571c13ab78448a2f1a9d799 NumOne StringEmpty TypeMismatch
4cfc74f4737906c8c1ea9cd7c2525c21e9bf62e4 NumOne String TypeMismatch
4ec6f6bccd00e27f9a82b11290af2559bce13217 NumOne String TypeMismatch
d6b7fe08f4f67392a7ebff44ec98c2c84fb0a725 NumOne SeqLen CanNotBeCase
b872e84c8718031dae246d0c7a16d539db027518 NumOne SeqLen CanNotBeCase
644de2008cf01b14f091dbd88cf1c510fa7e5729 NumOne SeqConcat TypeMismatch
fd6a3588de3cfe241ff5feaaefdd01bb9d091857 NumOne SeqConcat TypeMismatch
2e6c4c1dc93c215be85ed057ba45202d0c98c301 NumOne SeqSeq TypeMismatch
62f0505e7889badede5b1192f3ce958b22a01377 NumOne SeqSeq TypeMismatch
4bfb7b938ab4b4e0ac3468fa8d408df44f4e7c6d NumOne NatSet TypeMismatch
feb1de536526f01515603325fbaadeb3f9c19400 NumOne NatSet TypeMismatch
f3e6f855d33c277d6a99498adef4f443d3b6720d NumOne IntSet TypeMismatch
a0614e9f8692384c5af9042faea687da3a1103ad NumOne IntSet TypeMismatch
d1de6a8135e0a605ed409faf7cc91350d622de88 NumOne StringSet TypeMismatch
21cc6ab6233bbd76e07ccb7238d01ea981c833fb NumOne StringSet TypeMismatch
b2a658f60c338dc0379035061172e52a8d723f1a NumOne SeqSelectSeq TypeMismatch
a6aa3987c52db9997672b24b3a574c73732eac6a NumOne SeqSelectSeq TypeMismatch
8882393f26c00ac9f3ed4a4ec6efcac419770b11 NumOne SeqSubSeq TypeMismatch
790585f69b3bb8f84df18a436a7d86a33543892b NumOne SeqSubSeq TypeMismatch
c2641f56885e8c18e8682fabeaf2110afcc9c242 NumOne NumRange TypeMismatch
77f0647730e71c0d1c9a072a29d706e4ead0f82d NumOne NumRange TypeMismatch
f06afca0ed33b65459a2a657d02981b179e7da01 NumOne TlcSingletonFun TypeMismatch
cc95a3affb07d3254c9fa17192f5a2ebb406ce4b NumOne TlcSingletonFun TypeMismatch
be23a86ebc675f4c7abea4b6574f5a8b740af98d NumOne TlcExtendFun TypeMismatch
6b091a849de01e75b0d04d660bc1ec1c6ca39272 NumOne TlcExtendFun TypeMismatch
5aa62a2091cbfebef03748c2591198ea116de3c9 NumOne TlcPermuteFun TypeMismatch
d3d1dc7f116652441dfd26c94e97b0e37c0d666e NumOne TlcPermuteFun TypeMismatch
420c9b238bfb5dc51b3b8b78da4f47a5f90ffe1a NumOne TlcSortSeq TypeMismatch
9fc396a0e653690782d6488a4ccde4d3fa807851 NumOne TlcSortSeq TypeMismatch
69b9f0a39ec1cb620fa667e3c111aa16856cd728 NumOne TlcEval CanNotBeCase
1840a57cc450348aaaa1f59d133ced12d919ce19 NumOne TlcEval CanNotBeCase
df40078b76f7217c4511efa810e38d1d88f53333 NumOne BagBagToSet TypeMismatch
bc4a62868e240e63ca0a3f42aa777f02df2f3462 NumOne BagBagToSet TypeMismatch
8f95ab822a77e6aeae4a7dca82e548c181c20aa1 NumOne BagSetToBag TypeMismatch
4433cd02e7de7f524d6dec56ebe4c9a9d6e6438c NumOne BagSetToBag TypeMismatch
c5867305a9bf5272054c46e26020f6339bbbd4b2 NumOne BagBagIn TypeMismatch
431e4ef0993c329c06fff93d2a0999d63690a3c2 NumOne BagBagIn TypeMismatch
2c01acd9bbc2da772d00c6ab33f7cf0ab42a8b84 NumOne BagEmptyBag TypeMismatch
980351a05911e2b30df94bc9e67ad4af4e1a724a NumOne BagEmptyBag TypeMismatch
37c54b678591e5aee615a88e589d5ff63c17c4e4 NumOne BagAddBag TypeMismatch
0cadb1065a4fe5e8751fb74ebaae39ae10634235 NumOne BagAddBag TypeMismatch
aa11288d18e0b7a3f27f614bf02f7c895ce0888c NumOne BagBagSub TypeMismatch
d83d4bd2ee2b7333411c93237ddeab1dc367ce5a NumOne BagBagSub TypeMismatch
8360c53dd4433ddf64511c059f8d5d536b16b0dc NumOne BagCopiesIn CanNotBeCase
9833460bb86c9bc94eaf37345756a24645178ff2 NumOne BagCopiesIn CanNotBeCase
4ca276193c17159fcdd139e5690772ad4514411d NumOne BagSubsetEqBag TypeMismatch
cb37c93b2459eee1594a93a3dc3a76927ab60d4a NumOne BagSubsetEqBag TypeMismatch
309a1cacf8752ea6e4d4de21e69ed266e962f112 NumOne BagBagUnion TypeMismatch
38dbdd38d0b80f78ca229cd25db8e202333d2b12 NumOne BagBagUnion TypeMismatch
e7a82f81ec3f8049d15eec15cec552fbe15f2fce NumOne BagBagCardinality CanNotBeCase
463ae4d0fe708c7a663522ebcea3a6de19ca72b1 NumOne BagBagCardinality CanNotBeCase
0cc1a6744518bcba751417b8e6195d748f44d6da NumOne BagBagOfAll TypeMismatch
ebc059618444820137f40cd18855a719430ba824 NumOne BagBagOfAll TypeMismatch
a09fc81db6f29f70979e595e6fb196cd90985f90 NumOne BagSubBag TypeMismatch
148363960d6293e99a57df0ea06a0b0ae5fe5931 NumOne BagSubBag TypeMismatch
fbc166ca0448bed0016769304f1fc1a38d173dfd NumOne FiniteSetsIsFiniteSet TypeMismatch
9e9b856a977aeff07a9c5eb73dde6483c2959431 NumOne FiniteSetsIsFiniteSet TypeMismatch
dfc721a5751218060bb1ca6a630975d08c91de22 NumOne FiniteSetsCardinality CanNotBeCase
e461928378fbdc378278ac17dc31606239e76964 NumOne FiniteSetsCardinality CanNotBeCase
92c9c5ab66197cda72dfd9da518519bd85c5ed5f NumOne SeqHead CanNotBeCase
262faaf0031972cc321f19fd02b50928b9e5d91a NumOne SeqHead CanNotBeCase
9b2f4060b87e1ea832ad882845f2265a8e132c02 NumOne SeqTail TypeMismatch
82ca0cdf66d8625ecba0ff06a44388f32fd1445b NumOne SeqTail TypeMismatch
64046945a47c09c32e3cfd0e4fe5022407560010 NumOne SeqAppend TypeMismatch
3da53e75ec77eb8673e9dcb7f68feb5fed2514ad NumOne SeqAppend TypeMismatch