Index

Skipped feature combinations by case feature AndMultiLine

Id Case Feature Plug Feature Skip Reason
a841dabd33259095a526161249aa74724bf11a0c AndMultiLine BoolSet TypeMismatch
e3ae730bec98655a1e5345168c3b22c651c7bd07 AndMultiLine BoolSet TypeMismatch
0d44a4bfc42936066885eacd1cf4cb87cb198693 AndMultiLine AndProp KindMismatch
745e45e665f3a51bbb96e3a043bab1d79414abe9 AndMultiLine AndProp KindMismatch
2dae7a1c99ead73bbe2acaea6ffdb7287e38ca0c AndMultiLine Boxed KindMismatch
76b69185fe91ddae080a7a9b3114eb8790c6f6b7 AndMultiLine Boxed KindMismatch
f50ad70fb9e0fca56f00410eaa1c333926db90c1 AndMultiLine SetEmpty TypeMismatch
9f829e224ba1f53ad784519872a4a362471efb48 AndMultiLine SetEmpty TypeMismatch
e4dccd9b9f9668db5541f6709b4dbda704034935 AndMultiLine Set0 TypeMismatch
fc58fed46c6d4679097736f0a0486485c61f8d93 AndMultiLine Set0 TypeMismatch
6d5b8121fb7575b5ee23086c58a384b71af8f52b AndMultiLine Set1 TypeMismatch
cf400db6afd26036d00c5c7cd1ca66b31bc3e6fd AndMultiLine Set1 TypeMismatch
b7fe62dd8dc62a89213ec78e4e77a4e1bc0aebca AndMultiLine Set2 TypeMismatch
45a246d881357b02f76b6487a44c99acb45ddf91 AndMultiLine Set2 TypeMismatch
157a02411ffe3187b46a64d7acc633f6174960c7 AndMultiLine Set1InDef AlreadyCombined
c93423b6e98fc900a2fd3d4be7ea389e5bb9dfec AndMultiLine Set1InDef AlreadyCombined
66d52c817f4a1f63bf4b5fd4afda84509a26f831 AndMultiLine Set2InDef AlreadyCombined
0cc04e8e0d5444a38151ae3d53ba6ea7abc204f1 AndMultiLine Set2InDef AlreadyCombined
0a35d7efa43c3c99e0225b27484044f57734aab2 AndMultiLine InDef0 TypeMismatch
8329b21c41953f3baddc80ab4b770f31070ef6e7 AndMultiLine InDef0 TypeMismatch
a78d97f3b2cbfe437a920beb7512be333e8cf9df AndMultiLine InDef1 TypeMismatch
09f10113be75b6d4240127570dbfb074c4d68cf8 AndMultiLine InDef1 TypeMismatch
4f1c4df0a04b255eb77c00d79851de0fdba326c5 AndMultiLine InDef2 TypeMismatch
782e35226b9ea7bd1a47dc4671fdb5357de2a82d AndMultiLine InDef2 TypeMismatch
d95308ce5070fe1431f15f18f143dbd18ebf6c4c AndMultiLine Fun TypeMismatch
31faed84c6f908c7af176d326ef03b489368a7b0 AndMultiLine Fun TypeMismatch
4bf1d4bfe15112498ec080b316b3e54b0df2c789 AndMultiLine FunInDef AlreadyCombined
80d63feae61d83a0ced72410dddca776b171059e AndMultiLine FunInDef AlreadyCombined
b6acf07a8589643a3814b6adb12d17a935756af6 AndMultiLine ExistsInDef AlreadyCombined
b114a4db334c8faab69f69e7458ffaed695793bb AndMultiLine ExistsInDef AlreadyCombined
d20a8a51a8f2828f5782ef621b3f710596674ba5 AndMultiLine ForallInDef AlreadyCombined
2274ce37662a7fc5f30a3075d54c451d817fb391 AndMultiLine ForallInDef AlreadyCombined
dc782627e1861fccfed33967020fb52cebfbfede AndMultiLine ChooseInDef AlreadyCombined
ec81c627e735288525138300dcda4d43fe7d68ea AndMultiLine ChooseInDef AlreadyCombined
853f172f2b44bf2b16766397995d65d3b78d2261 AndMultiLine Record TypeMismatch
340d6aa6a94f27bb22d1d59b65ecc98df373e62e AndMultiLine Record TypeMismatch
f83e1dd5da1c2eae9d5619915d56b2ef95599ed2 AndMultiLine Tuple TypeMismatch
baa03c1e7204c20afd305d67f3b2293b43843cc2 AndMultiLine Tuple TypeMismatch
fd2e3262a4a36d881833f8993992fc5070148a55 AndMultiLine TupleEmpty TypeMismatch
40c5c40601c6836b0f3d9c5cca139d60270efc19 AndMultiLine TupleEmpty TypeMismatch
1aad69bba9ab8cba52b54b94b992ee6c1a1f24c7 AndMultiLine Except0 CanNotBePlug
98ced98b242aa7e9fcdf37cfbda7212fc53f5d65 AndMultiLine Except0 CanNotBePlug
0ddb74544fe76fc5f61060261e237f3998d2075f AndMultiLine Except1Fun CanNotBePlug
ab186ebc1660d11bf6292cc65c8404895311cca2 AndMultiLine Except1Fun CanNotBePlug
6027d9d77d5ac2a29e4e82020a0e51e355449229 AndMultiLine Except1FunWithAt CanNotBePlug
ffefb80af0050f684fa691d606f2e5035407874e AndMultiLine Except1FunWithAt CanNotBePlug
0ada8a4aed958c6379c5d1718ec396666d46461e AndMultiLine Except1Rec CanNotBePlug
ffb1440b725c7a87019edbdee5e51f1f463270cb AndMultiLine Except1Rec CanNotBePlug
ec387a6ea8f3b9fd9037ed3a22a6ada3cbdfeb1a AndMultiLine Except1RecWithAt CanNotBePlug
60fb53a345d99745c6a844c936a88890d9813cde AndMultiLine Except1RecWithAt CanNotBePlug
55e19f4e8dd553c5cb96f629f055ceb9f84314c6 AndMultiLine Except2Fun CanNotBePlug
11444f295bf2a43baf7997ef3ab3ec0df0547f34 AndMultiLine Except2Fun CanNotBePlug
15cd3a3340f7a5b0e90d7416f5fe9d9de4f91852 AndMultiLine Except2FunTuple CanNotBePlug
7d62e95b97ccfaa74a534772c4839d08ce7da09a AndMultiLine Except2FunTuple CanNotBePlug
d9d8b22d32982fea7e3885588688f9277a7096b7 AndMultiLine NumZero TypeMismatch
76b8968886b57861f7547dd60562602d2675a3a8 AndMultiLine NumZero TypeMismatch
084899d16ea8bc2e3cbfbe03f5f014b961e0b7ab AndMultiLine NumOne TypeMismatch
9f6ac2633759099ee7b391b304c437323a65fbdf AndMultiLine NumOne TypeMismatch
4238df5cb97eeb7f36170b1c9b470208dc5afea2 AndMultiLine NumMaxInt TypeMismatch
2ebc8ea87d5d7f546dfa3f45ff2bfa5b850f2835 AndMultiLine NumMaxInt TypeMismatch
b1dcadf3f4e526767bd3ad08781a5f3059437c4b AndMultiLine NumUnaryMinus TypeMismatch
b0af00efe3346d921bf315437521f0cf186dc0e1 AndMultiLine NumUnaryMinus TypeMismatch
a4e2d3d8df7720c73db262a4d84c103876fae7a9 AndMultiLine NumPlus TypeMismatch
ff389b6d87ee870cea12dd4f61f3fa22d023d08b AndMultiLine NumPlus TypeMismatch
343e9dc2a972b2e97c99057e4164e1d8c3cec96b AndMultiLine NumMinus TypeMismatch
0c76a6e3f5c9fbdc1a69fb5a32038c8b89ac2695 AndMultiLine NumMinus TypeMismatch
69cc02c1214e9422ca17297f1c3b52cb673bd7d9 AndMultiLine NumMul TypeMismatch
805b306491049be8f043f1d0a87f29a1667e4a51 AndMultiLine NumMul TypeMismatch
0891f1d9e99b0898ac8914b289cf39c40109bb4a AndMultiLine NumDiv TypeMismatch
116f695af679b4081ffc80e9fbcdf0a0554f1975 AndMultiLine NumDiv TypeMismatch
a94958ba5ab4a20fb704806ff9fbc5a9f34d5c57 AndMultiLine NumMod TypeMismatch
c98f5fc388c963453c75bb2c4978f0a12ecad61b AndMultiLine NumMod TypeMismatch
1e92be9f85d60c6c9473dcbc85edd8d00233e8c4 AndMultiLine NumPow TypeMismatch
4cf16727df8b7f1984e8e3b1f4448e125966cbfd AndMultiLine NumPow TypeMismatch
0c4d022b270b7b8e93a146b5efe191fd7e31ae35 AndMultiLine DefFun TypeMismatch
a78fde128fda45a18424774383e30c10f1f0c06b AndMultiLine DefFun TypeMismatch
c39d57a378fe5fe56c7db12649341e805c33cf61 AndMultiLine LetDefFun TypeMismatch
1d286bed5a6dc555b8470eaf6b40673c6abe2787 AndMultiLine LetDefFun TypeMismatch
e9f8f4d8d96640c24b2a4ad3c7dd43dc175373fd AndMultiLine DefFunRecursive TypeMismatch
df16e96443406bf8de14d1fc1a1a01615c1480a9 AndMultiLine DefFunRecursive TypeMismatch
6d0d1ed9e60cafef383de3e8441387b17fd42cb7 AndMultiLine LetDefFunRecursive TypeMismatch
63d777e454984c71ab24c48b8f52dc57f8f5820b AndMultiLine LetDefFunRecursive TypeMismatch
68e9ca3147496951f9f20645c33e3c46ca3d55b7 AndMultiLine DefFunInDef AlreadyCombined
20c9c91f4d5fc545408b14cf85c1da56809d3d73 AndMultiLine DefFunInDef AlreadyCombined
89a95929fd425af5b35e48e552be3415654f4b95 AndMultiLine LetDefFunInDef AlreadyCombined
38fea138cc154359246e4d0bb2c4d0551e19754d AndMultiLine LetDefFunInDef AlreadyCombined
333b271a4a27a2c709f29e7aba02c6672bfcf8b0 AndMultiLine VariableViewExclude VariableExcludedFromView
cd10363e091d439ed32a51202dc4ce2f63c53be8 AndMultiLine VariableViewExclude VariableExcludedFromView
1a20eae5387be9c4638e9063fc65a9837d9fa7c5 AndMultiLine ConstantModelValue ModelValueCanNotBeUsed
bfc22ab156ee60db5ab932965c0949e0a6b949b6 AndMultiLine ConstantModelValue ModelValueCanNotBeUsed
52dd6c65ea8e8107dc78b91001755a78dccd9d37 AndMultiLine Assume AssumeIsNotEmbeddable
7b92506369f24aa04ffdb71634c88341a10c2eb8 AndMultiLine Assume AssumeIsNotEmbeddable
41c8095ec263d6bf47fb3d524f15c4231d13420a AndMultiLine AssumeNamed AssumeIsNotEmbeddable
550990087da0991ac4b13d0c849c3625351ace38 AndMultiLine AssumeNamed AssumeIsNotEmbeddable
221bca555728ff4cf7726780dcb98185c352b152 AndMultiLine Lambda TypeMismatch
a690d9fb1854628ff638bf78e02d2e9e28a8890c AndMultiLine Lambda TypeMismatch
93ca3cf72c360f2f6a8d86c33e36048d9318c7b1 AndMultiLine Cross2 TypeMismatch
52109f903815e9a8ded7c4b660b0caf11447f102 AndMultiLine Cross2 TypeMismatch
a7fff71294909bae972c9af1804ca73fb3cf70e6 AndMultiLine Cross3 TypeMismatch
b131d6badcc1c5a6c94195339ff53a39c31a9039 AndMultiLine Cross3 TypeMismatch
0b768a31c396f4b7ddb71726ab7f692067eb091d AndMultiLine FunSet TypeMismatch
f3d05c38f0713f8d6aa0af27b41cf6844dd8779c AndMultiLine FunSet TypeMismatch
cd20d82e7200fd3e3ae4d7a9cfd1d2fd628bfb64 AndMultiLine RecordSet TypeMismatch
a66dd9ece89d01c59a0eb53ff8fa2cf218f97523 AndMultiLine RecordSet TypeMismatch
c1a2fa266316fa9f12f70da51b5678d54a8e5f24 AndMultiLine SetDiff TypeMismatch
b04988dad6d05f96bb35cc65782ae1b96b270a53 AndMultiLine SetDiff TypeMismatch
85bba435e2fb4bdb2cb81ed4e63a8312e440696e AndMultiLine SetUnion TypeMismatch
eeb308d7f89dde23c70cf55617de56fde5cb5102 AndMultiLine SetUnion TypeMismatch
382c8026d3aa2699b339d220cea394a6e1f3484e AndMultiLine SetIntersect TypeMismatch
95ba9cb0c395cdf3daa885a6851fed965811028b AndMultiLine SetIntersect TypeMismatch
be209d8a03ee1fcd5613b545ac9ac869d672fd0f AndMultiLine Subset TypeMismatch
4df15f871fbda06b2792299b76230305c16f6e41 AndMultiLine Subset TypeMismatch
e3344c9ba63b773206a3c98bda1781ff68341c3e AndMultiLine Domain TypeMismatch
77175810c17b4128ef739888f819782d0f98a81a AndMultiLine Domain TypeMismatch
3257501366c6189e5d405806c15f9408963da46b AndMultiLine Union TypeMismatch
bf7bd80b824e7ec6cf88923a58c46d7f2c0221a6 AndMultiLine Union TypeMismatch
8fd704cc42bd7917cee0c015de16aacb5aa9a0ef AndMultiLine StringEmpty TypeMismatch
06393eeee7ff466472fcc7008fabe5803026b011 AndMultiLine StringEmpty TypeMismatch
1e35fb07b4a37b41377c7abb33d6ce72dfb21e84 AndMultiLine String TypeMismatch
58afeab1e5828b608208dfe9e6aaee7d71173002 AndMultiLine String TypeMismatch
0c28e34461a11d26cb7b8f40b9c53fd239c8faab AndMultiLine SeqLen TypeMismatch
74a6ba7a45d10cf3ff86afac1886ea7a40564a9c AndMultiLine SeqLen TypeMismatch
e442993d7fe0c48c1a86ec1700a0a33e405feeda AndMultiLine SeqConcat TypeMismatch
00a9a6db9592aefb8e83a57133294bf7ecfc4237 AndMultiLine SeqConcat TypeMismatch
8f36edb92cd2111c385dc2af808dc1c9dd354027 AndMultiLine SeqSeq TypeMismatch
b00407675c2ab33e2ff2e501c81b3389c2890388 AndMultiLine SeqSeq TypeMismatch
bf8990a7d988858b083ae88d9296b7b14db609cc AndMultiLine NatSet TypeMismatch
1b407e6b2267ae843c673d6dcd9cc52b0b78b740 AndMultiLine NatSet TypeMismatch
672f4be1ccde93e8dd4d32e819119a0d17e8f276 AndMultiLine IntSet TypeMismatch
a952b5ea5dbc146f294ee9f97b6cc2bd1b949423 AndMultiLine IntSet TypeMismatch
a8947deb60dd7963f2b43286e36ab0d1f926c615 AndMultiLine StringSet TypeMismatch
ac7b970fce750c05375f90bd41a9931531f5edc1 AndMultiLine StringSet TypeMismatch
e2f0cc1152efb5bc6f99956232be203b3df75a80 AndMultiLine SeqSelectSeq TypeMismatch
beb169c4bf0f0e32dc42d978776c6bdbef1d66b1 AndMultiLine SeqSelectSeq TypeMismatch
4b5e998f85ceaa00217e3719ffa788be07cb3d3c AndMultiLine SeqSubSeq TypeMismatch
caad50cf8c9ee44bc343243524275996ae581f14 AndMultiLine SeqSubSeq TypeMismatch
a380cb1fdbb5e5d3e88be410ef13740de64b030e AndMultiLine NumRange TypeMismatch
7254d3645d38fb743620f5091c4e179a58a0155a AndMultiLine NumRange TypeMismatch
a9a9b26b0050fcc44563f25619baa50940f59cad AndMultiLine TlcSingletonFun TypeMismatch
2cfd91753e5e530cd5dfc3f81ad00a61ca0f2b4a AndMultiLine TlcSingletonFun TypeMismatch
a06bb45be43f6f5e5c7dce5af6ca4c0b062f3469 AndMultiLine TlcExtendFun TypeMismatch
835814b9ab1e581b0db81560af19c9a77da348e9 AndMultiLine TlcExtendFun TypeMismatch
30f665918b2e476dc85425ae733e0a763afc479e AndMultiLine TlcPermuteFun TypeMismatch
9739dbdc4ea4b7b9e3e80779f6000195e44fe719 AndMultiLine TlcPermuteFun TypeMismatch
09b25aec328828e351bd88c32dddaba2e87fbb24 AndMultiLine TlcSortSeq TypeMismatch
c5abf17d62e224aeb3fec603902e95353249c2d1 AndMultiLine TlcSortSeq TypeMismatch
ebbc511fa04c11e4558152124b8549d9ce37e376 AndMultiLine BagBagToSet TypeMismatch
1a3b76e27ac63269461c7d730c24772135e2fd5a AndMultiLine BagBagToSet TypeMismatch
1f7d74f3f4b98c6826a857634e76dfacb5a0ea0e AndMultiLine BagSetToBag TypeMismatch
b56a0ecc170fa4d49edad09975067c9c292797e1 AndMultiLine BagSetToBag TypeMismatch
c2a4a972a9a5621b730bcb2c8736a867b7804840 AndMultiLine BagEmptyBag TypeMismatch
507d0bdd4045c1721c2003e35edf39e942b36ff8 AndMultiLine BagEmptyBag TypeMismatch
08d53d4443b9aa40bd90d367d94ce61efb4fa031 AndMultiLine BagAddBag TypeMismatch
e0aa492ee65da9eda82eafac0b7478de772ef0b0 AndMultiLine BagAddBag TypeMismatch
39444f4d511afeb38c226e78653074ac08b13066 AndMultiLine BagBagSub TypeMismatch
3f9271a9ac845f8967d356541d26b5f2a5bf5817 AndMultiLine BagBagSub TypeMismatch
50c224cfc75492f36ced6f7d531ea93cd08ad448 AndMultiLine BagCopiesIn TypeMismatch
9bb76fac52ec92f44f4d6c9fa4c8ac610866477e AndMultiLine BagCopiesIn TypeMismatch
0d635ef7b3892c3c7def3b387a3164021d2ff83a AndMultiLine BagBagUnion TypeMismatch
0698530cdf860ef68b086f595bf9116182954616 AndMultiLine BagBagUnion TypeMismatch
e17d57416a38ed1cbd78057cc099a8b8827480fb AndMultiLine BagBagCardinality TypeMismatch
f18115bd2592f00d986005edfdfaf030e4fa5037 AndMultiLine BagBagCardinality TypeMismatch
884c373141434f973af00a0b320e4062ce414421 AndMultiLine BagBagOfAll TypeMismatch
7eb59665486de8fa56f209eb1a7831c693d35cc7 AndMultiLine BagBagOfAll TypeMismatch
03ed377db6f8ac961539faf6af393009fd33549e AndMultiLine BagSubBag TypeMismatch
37a9d9d97860cd754bd5030a9a30988d86d111d0 AndMultiLine BagSubBag TypeMismatch
c644ab7f19e8736ba3052c47c96d7089603c517e AndMultiLine FiniteSetsCardinality TypeMismatch
a198a1de823d72f5fe15c6dbdd171f67f3c0f6b7 AndMultiLine FiniteSetsCardinality TypeMismatch
cf79e3ae912182bf579c49a45344ba61db3c4df1 AndMultiLine SeqTail TypeMismatch
7f7e8d412f5e1868f28c3ba9d7b500c738260732 AndMultiLine SeqTail TypeMismatch
e2177b81248bc5fad26d1730e56fe332acd3be54 AndMultiLine SeqAppend TypeMismatch
ac623067c70902ad1a9149c55d6dd3336e679a9a AndMultiLine SeqAppend TypeMismatch