Index

Skipped feature combinations by case feature And

Id Case Feature Plug Feature Skip Reason
593e7c3a941aeb8175fe5bd69ffb9639f2f7c845 And BoolSet TypeMismatch
e204180a2178bbba150caf58d07a00d92e3dcbfd And BoolSet TypeMismatch
1cd8c96740cd54db885164752d1c8cbbb91b293d And AndProp KindMismatch
ced5d61922fa106fc4af1881abced3931ef955fe And AndProp KindMismatch
400f92b602ddde687af938501c3dc208bc32fa16 And Boxed KindMismatch
b8683e3145f9627148fab99e30ac015fada53041 And Boxed KindMismatch
569aafc1f2f3f77179af4537984f6cede2474549 And SetEmpty TypeMismatch
c0ebdb35f3a4967490504b3119e9a001ca48c4fb And SetEmpty TypeMismatch
b754068c32d9d6ec1f3d7bf56b52f17286d00f18 And Set0 TypeMismatch
eeaed9254d40aabed8ec446681c44459876b5dc3 And Set0 TypeMismatch
d57aecad8c63e3a031497d6ee265dbb9f9695888 And Set1 TypeMismatch
2ea40de540955fb41129d608c99f48b59ee5d027 And Set1 TypeMismatch
c2dd44ab6dc34e4a8950915c6fc77d6a5d63a8d7 And Set2 TypeMismatch
e44bf04c59a8aeda8f0b0b84c66be453d8086814 And Set2 TypeMismatch
a59762dc35d6d913a3ab07db70bd278014da12e3 And Set1InDef AlreadyCombined
2df86ad9ebf0474e67fc383f012bfb530e799c38 And Set1InDef AlreadyCombined
bd8f44e864bdff6b4e5d6cbf943c39fd34a35c94 And Set2InDef AlreadyCombined
9d70ee7eee8ee4fee545b6b38188340e1a6dda90 And Set2InDef AlreadyCombined
1fc4247158720dcb3f2596605f348c4bf6ac1707 And InDef0 TypeMismatch
ad9db1aa16bef253f18e8aa3fbd822abaa860073 And InDef0 TypeMismatch
07beb3740060d544dd73983a1496eec4a40d6b05 And InDef1 TypeMismatch
895e46cc62963d9b310b69657a3e629e25cae9f8 And InDef1 TypeMismatch
8e01d7e4d344715cb2f1671602de61381b572b55 And InDef2 TypeMismatch
caa4a9e0cb491a0abf43d8aa9885d6d9b132a9fc And InDef2 TypeMismatch
9306710e3f3b6a87ca44e8470c4f29ae843142aa And Fun TypeMismatch
33c88f77a395b498048ae2ea8ceac7846eab5a15 And Fun TypeMismatch
541859198743df29e463117e190988a776f7215c And FunInDef AlreadyCombined
972a56989535caf872d003ee8a9db6da5fbd2f22 And FunInDef AlreadyCombined
b4231137fa7374325d4f3a176872b8363928be0f And ExistsInDef AlreadyCombined
79e72bc5d51b05dbe107316426e6cfa450733261 And ExistsInDef AlreadyCombined
02752c7996bfce1678f11e4e36ea17a3716b5378 And ForallInDef AlreadyCombined
e90da160ab5de43d89055d1db5e121e17529dc94 And ForallInDef AlreadyCombined
b783859462117d7c99d4937b8bc7a819564eb470 And ChooseInDef AlreadyCombined
33c40a2112fbe71c62f86eace7612d6a2d1f554f And ChooseInDef AlreadyCombined
54b36e6c9616e9bcff2b11728f1764c48a781a1c And Record TypeMismatch
6ea3a1d96334e846d803e0ad61ab2432d227d4a1 And Record TypeMismatch
5f20c024fb380923765425860108fc35ccee44da And Tuple TypeMismatch
830651d4a545726d512423d4f46b2edf58a4fdfb And Tuple TypeMismatch
1435286454a354a47db49e85965ebf9e007a3e52 And TupleEmpty TypeMismatch
69bd41b968964f8f2c4602341e16e85ddd038dad And TupleEmpty TypeMismatch
39650dc8f1e822a71e0730c9ac3610057da255de And Except0 CanNotBePlug
c6c507655f212a4382196353ef5bffc02ef22ab6 And Except0 CanNotBePlug
1903b02e241f01dc096d636656b4efcb7b427f80 And Except1Fun CanNotBePlug
8e61f7933bfe08caed0f9c23a0b0837fd8461012 And Except1Fun CanNotBePlug
eff841a823b4f050294a5679a19ca6569c34e501 And Except1FunWithAt CanNotBePlug
a11c5a9e378b4eb0e3ae0441f5b4acaa4cf35252 And Except1FunWithAt CanNotBePlug
1d89e046e352a95abbf8311eaed53c1d6fd3f7ac And Except1Rec CanNotBePlug
247b4f0924ff1a52490ecb47cc01964fbfa03655 And Except1Rec CanNotBePlug
f6ee9e5a5ae720e3a05ef66dd2700e9db659a956 And Except1RecWithAt CanNotBePlug
a75dfda47c3fbf7273ea12545b1d7465504d3abb And Except1RecWithAt CanNotBePlug
9079106d78e10d64b6ac4990d2c32dc89957f2bc And Except2Fun CanNotBePlug
ea69386e8df6cb398fdac0c832b1bb1f6f2caff9 And Except2Fun CanNotBePlug
cb6b0b91254728ae89b4352bd0bba9cbbf2ac2e7 And Except2FunTuple CanNotBePlug
1456acfb3fc949e1c370346cc4f97d9b602c6962 And Except2FunTuple CanNotBePlug
e60ad86b6e56cb93fcef26a7d866b6656cdaf5fc And NumZero TypeMismatch
5e94cb6c44da56e89109cb5bb44bcec02e5e8851 And NumZero TypeMismatch
c3000008069a3c3d188a0abbc51f462a465dfe72 And NumOne TypeMismatch
e397be6bf3f389bb909ecf1185163ad571337f2d And NumOne TypeMismatch
745204fad036a3712598d5f013e0355537d77aa3 And NumMaxInt TypeMismatch
c9dd4b0fa829621a3dce16dcba9362ae041ee2d3 And NumMaxInt TypeMismatch
f1c6c4a000df38dd33c65e8d0e4d5691eac0d5c8 And NumUnaryMinus TypeMismatch
30627c2db68ceea861b5c22cf2c7f3c9c2306e48 And NumUnaryMinus TypeMismatch
a1ba9dd9dedaa4fbb5002b641f0cb7a111ac23d3 And NumPlus TypeMismatch
424783c95684060e4a8749159991c0db343a712b And NumPlus TypeMismatch
a695f878d14007b455efef7f95960f977f7a321d And NumMinus TypeMismatch
b6413d737c7a3cc397e9c8fe014f8b4cac8050b9 And NumMinus TypeMismatch
c34787e88a6d22887e714e02d84be1b02ffe3caf And NumMul TypeMismatch
da221b63df89e40a07288ad37422145b7d47a795 And NumMul TypeMismatch
57c3fe2d30adacbf66bc23c36864f253ff356c7b And NumDiv TypeMismatch
9cac9548cedab41f3078b91c984922d087d60559 And NumDiv TypeMismatch
9d5ab6aaba04d24f80dd3bb5f450c076e9168aed And NumMod TypeMismatch
68bb410671cd036f5b64089b0a5b5102b9c0352f And NumMod TypeMismatch
472a5711b63dd389268ede98478829ccc74979a6 And NumPow TypeMismatch
92a4dfe2c46071bd69d61d597efac2910bca606b And NumPow TypeMismatch
86b46ab119db4b7438c71e7fdf4a00ddeb0e207a And DefFun TypeMismatch
ca1ea3e3372204a9d192bbca0674732c9a0e5a2f And DefFun TypeMismatch
dc96863393284b4aad20377bf42d49f1181cb09a And LetDefFun TypeMismatch
f274aec8282e8f823094f707a8a7cff126c3bc5a And LetDefFun TypeMismatch
ddf787362f0f70a08cca31ac08fdd85ba0e18f0a And DefFunRecursive TypeMismatch
5d56f1846c95729bd8ab020b7ff40b515356e471 And DefFunRecursive TypeMismatch
4cce68195eb663cb59b73b6fe8a31871982d4599 And LetDefFunRecursive TypeMismatch
3019adfdae165e5c98c91b8bfc5bdb5efab1ce4d And LetDefFunRecursive TypeMismatch
a514821e3c574b0e3277bf52a7c79afee5db3719 And DefFunInDef AlreadyCombined
c1ee42cbd2f0ac0c3d1e8b8f62af68136528fc87 And DefFunInDef AlreadyCombined
f5685fda8250ca83ab702e5aeddb7e19ec202839 And LetDefFunInDef AlreadyCombined
b5468b4b60fb9baf7fd7775843fc3e9493f237d0 And LetDefFunInDef AlreadyCombined
78551e833554a608696c9664bc9c8c1c6a4c9e78 And VariableViewExclude VariableExcludedFromView
845a145885d6806e4485d66c380ef0e998869d67 And VariableViewExclude VariableExcludedFromView
6596a8c2ab8eb4915efeea5aa7216dcd316a4316 And ConstantModelValue ModelValueCanNotBeUsed
f364fbaf53e0aa030f19a2f57320bc73cb66a0e3 And ConstantModelValue ModelValueCanNotBeUsed
2e3c7a971f80cb4b1c4bd23e9f83594b2216d70d And Assume AssumeIsNotEmbeddable
16052b680a867e809f351ede2a916b7278ddbda5 And Assume AssumeIsNotEmbeddable
f0ee67c13598c2844237aaf865bd1aaff71a8866 And AssumeNamed AssumeIsNotEmbeddable
e799aade96415f719aff2ee3a6eb17dffbc5144a And AssumeNamed AssumeIsNotEmbeddable
d95e94313a0d125b318fa22914327fd5ddba1007 And Lambda TypeMismatch
3def62ef90cfe2ccc136d3d279f6b31b315e2bf2 And Lambda TypeMismatch
bdfc6e61c056a80a17d96bb8bedab6f7bc75b03f And Cross2 TypeMismatch
b78d0ec3e7f8d20e52900330bef35b8c7ebfdd7a And Cross2 TypeMismatch
e72a2880454be674cf6ae43a508eb7df1b56a9c1 And Cross3 TypeMismatch
4bc20955bc05eecadd83d2ec6a97b13229a6027a And Cross3 TypeMismatch
cece9607391c05402b80d35a8fa4847f06bf3c64 And FunSet TypeMismatch
c084922faf9f1afa0761d162181130ecf58a5152 And FunSet TypeMismatch
96dcb5f0d9edb76e3b9a5424b7ffca53b1f1ecce And RecordSet TypeMismatch
cc0a7cee5bde69a020aa0d6ce0887548339a17b2 And RecordSet TypeMismatch
1f60eb1f659d0f22a8b3a89bd8eff987d77536d4 And SetDiff TypeMismatch
771ada5cae2e2a914d16a7759ad577dc56056f49 And SetDiff TypeMismatch
270362e19d27cc128018c004e68d4545cc7fbc07 And SetUnion TypeMismatch
80f5ca6c514271215ea925de272a4d4deaef1ff6 And SetUnion TypeMismatch
1409e81865bbd6a9c50694b1e31b783147a678d7 And SetIntersect TypeMismatch
2415b6fe8a35fec6578ccd5ccd4434f3c3a1362b And SetIntersect TypeMismatch
f9d38d4e210017a89d1b4c3d0a4ef171b6e4158a And Subset TypeMismatch
5b74dd34128b7cebe1ba7a6dc5be0d2ad959305e And Subset TypeMismatch
4bd3ee4fb95fa767fb9eadaef2ac600926d1c958 And Domain TypeMismatch
52a4140b0edaf433f1563dd92e136b94e76a6615 And Domain TypeMismatch
2bfc0aa466a73643144a16adb26d4fae8107e855 And Union TypeMismatch
19bcdc3a7059db569ee6b7fa144c2932f16660ca And Union TypeMismatch
84fac294057cf993ede47caeb1902d06ddbf822e And StringEmpty TypeMismatch
ba78209523705ed3dd725a368b4a89636818dff7 And StringEmpty TypeMismatch
597192b78e3ccda4870265056f95dd42d2b57492 And String TypeMismatch
9c9c4067eae7038f2536465a3543912b385642a4 And String TypeMismatch
13b80141bd917ea355f8faceb0c2faf40dd62e2e And SeqLen TypeMismatch
d6a882c662f71adccbb02979b66b62254910705f And SeqLen TypeMismatch
ba2e80a42b97786720cc580522d0365e9841548a And SeqConcat TypeMismatch
e88f71231b86f0b485575198e97f0e68edc56b79 And SeqConcat TypeMismatch
0a4efe14c2adc29b50fae827540293d5b07feaf9 And SeqSeq TypeMismatch
8fdc9f1155c638d79fe2f19278d54aafd8b399ee And SeqSeq TypeMismatch
9169e5027870277059f4606bda2683579d0cfa9f And NatSet TypeMismatch
d7ec9ffacfe481e076472caa4f3d9a92f6343995 And NatSet TypeMismatch
5b880a33bcb5c01923ec3c5fcf556b99785fcebb And IntSet TypeMismatch
fea106154845f2d63adcff188f4f91b335fa5cf4 And IntSet TypeMismatch
c338aca51c942dd5708b9b8eea913b23defd81fa And StringSet TypeMismatch
5e8cddacbf125d15085950d150227c30c2474484 And StringSet TypeMismatch
a18338e688e68ab299f8de3d7ed9c46288429129 And SeqSelectSeq TypeMismatch
398e82a947e29bae4188afc760d71a59275b9758 And SeqSelectSeq TypeMismatch
6ddf92d2288a5fd3be07087ed0b01d6ada8914af And SeqSubSeq TypeMismatch
3a48890968a734f89b08faaaaf3f1bc1e8664814 And SeqSubSeq TypeMismatch
ac01ba80ba745ffdf1788e75f71e94fb673252fb And NumRange TypeMismatch
be44dfea9b78c33280e7637800a0b6c36b1c90c4 And NumRange TypeMismatch
9fef5a777f6d2014c896dde8e7a35e98cc9a6090 And TlcSingletonFun TypeMismatch
2b308a3b7bca71533ee6fd7cb2ee702ff1c065bf And TlcSingletonFun TypeMismatch
b2384a2570191ef0ebbcfcca2605898d0640dce9 And TlcExtendFun TypeMismatch
52bc33dc3f7be36850ea7147e854c484e8afe14a And TlcExtendFun TypeMismatch
e10c965093917c97552dc61de30ff46a5542c745 And TlcPermuteFun TypeMismatch
defee9299dedb02698f819f78f662e1c6bb8c32a And TlcPermuteFun TypeMismatch
b53fbb84e2c265a0c3fd14b44384d1cf4058924c And TlcSortSeq TypeMismatch
31935f2a78914465ef8250c66b06792c7de9cf71 And TlcSortSeq TypeMismatch
f7854a6d7be15b413f7abc17c535616288d66b19 And BagBagToSet TypeMismatch
801267c511f6efc8d21624fcf5efb6f1718e34b4 And BagBagToSet TypeMismatch
276adce0ad8b43a2c727fe43b8570fbce115a881 And BagSetToBag TypeMismatch
c96220cfd6b9d8e81c9df0b658098a12f6d969e9 And BagSetToBag TypeMismatch
c9bcadc8df96369c275078c96ee49bf42d9b5909 And BagEmptyBag TypeMismatch
575f6d9c94d468cd29d1a3269e6cd4fa0cb96a61 And BagEmptyBag TypeMismatch
de1009e85a9000b138c906f5c0882805695f3442 And BagAddBag TypeMismatch
4eae78e35fdecdb53c9255c2a970340c95e562ff And BagAddBag TypeMismatch
805a5bb14e53fb54e8c820ac1b89fd9d196d60de And BagBagSub TypeMismatch
14c2105126208a509cc087fa2ab41b9bd5827e76 And BagBagSub TypeMismatch
359829a5fe4e60c59d429044bcb079fdb3d651a3 And BagCopiesIn TypeMismatch
76d378352561ae68c86a27793d99a5161d9d650c And BagCopiesIn TypeMismatch
a9b629f9221b0918d12e9b01e9023fdd4b0de6c4 And BagBagUnion TypeMismatch
63350e45db92e708658584c3c440b5d673d03427 And BagBagUnion TypeMismatch
4da74ee38a285f1a0c4006395abe2a214592323b And BagBagCardinality TypeMismatch
d463377b80e319b84c54ae1fe851e8f135da965b And BagBagCardinality TypeMismatch
850410717a9bcbe9fb95b6a426b833183b0858e2 And BagBagOfAll TypeMismatch
1ef9337295978871e85f896c4a45addbdaece254 And BagBagOfAll TypeMismatch
82952dff09191e95dfadd5d060b31d2d9214ebcb And BagSubBag TypeMismatch
d6408f2efe5ab708a212cbbed8c374bc0279a34d And BagSubBag TypeMismatch
f6e7305535fe67baaa50486d4826349e36c2b75d And FiniteSetsCardinality TypeMismatch
d252dd89f2e9dba2afdbe2731446bf65ca136ae7 And FiniteSetsCardinality TypeMismatch
0b04111d70b0aa35a8687b134bbfab0a72f08e3c And SeqTail TypeMismatch
a81b076b4f5bad5fcd5e668c795a2a4bb59fdfdd And SeqTail TypeMismatch
9be5f6e561f9c25aad5ac73ad03707373718933d And SeqAppend TypeMismatch
a700ffff2259b4975822cdfb4dc378ba7d4b02c7 And SeqAppend TypeMismatch