Index

Skipped feature combinations by case feature Or

Id Case Feature Plug Feature Skip Reason
349fa1ca10c272e2424a85ab5f7e6448898495ae Or BoolSet TypeMismatch
5160cfbe4aef80f5fb919a95e816a1983cecab97 Or BoolSet TypeMismatch
8c54b1d3cdc9ba0ecc57a99e13f88259eaf10f4e Or AndProp KindMismatch
52330d283e974444a4a835aff0f861bd327335f4 Or AndProp KindMismatch
47ed40fdfa74974c11e5432c76c0b0171afc6efd Or Boxed KindMismatch
62c978da9fdb2edda4aa9a740591324437d0f5eb Or Boxed KindMismatch
cc2fc77eee2cbbe60bd0f856ea794bf6517cce80 Or SetEmpty TypeMismatch
015e1efb1b9b8317df7931e5b147a14f459af576 Or SetEmpty TypeMismatch
ebf5178436556c91c0ef245ec51f68706234af4d Or Set0 TypeMismatch
bb64cfaae17a6973dc064c92d4d3ccd5bea78ca7 Or Set0 TypeMismatch
c41014f56576608eebee2dd1bf3793c764189a4a Or Set1 TypeMismatch
5e57b6642b58b5db3e9fb13125b8c29019e05f72 Or Set1 TypeMismatch
43f0bd66ad5b23784056ccd6030b09c5814d4cd0 Or Set2 TypeMismatch
8d0005522e1f12dbb3f1ccb60220e37944fd6bea Or Set2 TypeMismatch
7126b2a6132c1370ef314de5d2edbc678b27b98e Or Set1InDef AlreadyCombined
6b7c4c824708c552929372fc908322301227fdeb Or Set1InDef AlreadyCombined
1ebfa40a659453212a10ba01bf1085ad82d0ab03 Or Set2InDef AlreadyCombined
69cd28478c3442c52486ece54ade8d2fec642539 Or Set2InDef AlreadyCombined
5db0d7f3a8b8428cbb6d96ba0556c142fe77005b Or InDef0 TypeMismatch
7536ffd867837c5c6328bd8dffe09e0132c80d04 Or InDef0 TypeMismatch
2c59d36719032c293ef3d3a6ef16ccbe550d19cb Or InDef1 TypeMismatch
da11dd14f664e10637cbfc709973728c5878065a Or InDef1 TypeMismatch
4039ae25132bb1dd08c2d9d6547f13aeeff3f875 Or InDef2 TypeMismatch
c042f6c233eb034a64efd3cfb569aa448a59071a Or InDef2 TypeMismatch
df2163637deee2580c3585110078de878ba70fef Or Fun TypeMismatch
601ec437707274218fd7f7673f8eb6d14d0367c9 Or Fun TypeMismatch
495a8488ce3a0c5a64dfc60e0eac80599dccae81 Or FunInDef AlreadyCombined
53fe0e3b2ebc133abf0536befe31c6a40bd4db3b Or FunInDef AlreadyCombined
f3425540e2850193a16c65677c6fa9bd7d057ffc Or ExistsInDef AlreadyCombined
3bb3025fc641a3aa98afd1905e01de6031cfaac4 Or ExistsInDef AlreadyCombined
438073042d7447ee8de53c34996aad180332f133 Or ForallInDef AlreadyCombined
ec5440a344228f1a44edeacb9b044dd379ec3ef6 Or ForallInDef AlreadyCombined
70dbf267919b3a713f3d7a5fbd6bd0b93b48d45d Or ChooseInDef AlreadyCombined
ed3820a6498aefff6bcf2b8d742d0b30039c4092 Or ChooseInDef AlreadyCombined
08aa96426599d90d5e4957a50dfe0009df6d056a Or Record TypeMismatch
41d7da93251c005e21cd96bbf4eaec19dcf634a1 Or Record TypeMismatch
ead180903ac5c42d897d6b49d92a53e4f825949e Or Tuple TypeMismatch
a30855f751042e4401a46271ce8d7354975e50df Or Tuple TypeMismatch
66fb579b1a3c96b47facbac488fc7d7fd779d425 Or TupleEmpty TypeMismatch
fb5c9a61adc487ebfc1859c961bb741686d9b580 Or TupleEmpty TypeMismatch
eab8c6f8e8d6a37ad705970d8e38dc2f6f482ff7 Or Except0 CanNotBePlug
15de7af2cf3c87c17208c4dffb38b22855449efc Or Except0 CanNotBePlug
5557a9892320d3d7f71f4a30808bd50052593db3 Or Except1Fun CanNotBePlug
bc6a72d2bbd20054c98fbe911a4646e42dc6f8b2 Or Except1Fun CanNotBePlug
664b9a21582b247568a86e3f1ba148141063ae09 Or Except1FunWithAt CanNotBePlug
638517d811caed4defcb59a55fc05c94232d3961 Or Except1FunWithAt CanNotBePlug
b183a287a5194e6e2082ba44e7b7f4e2ad0230e2 Or Except1Rec CanNotBePlug
1439d3faac816173f35a258ef5e7d03b4d8ec8d9 Or Except1Rec CanNotBePlug
3ae7dbfc2db26618be8d9537c5ddd5ec7cb46f82 Or Except1RecWithAt CanNotBePlug
037d944f4cce4b857d2d17d95749b0b84da2ad99 Or Except1RecWithAt CanNotBePlug
08c9562c9f1f94a0a02216f8a3238a8f312b2355 Or Except2Fun CanNotBePlug
ff4628233e8f71c629e159c1eac2798df7230311 Or Except2Fun CanNotBePlug
cdb234a9617a0560f855cf711461cc1ae6a8a852 Or Except2FunTuple CanNotBePlug
f600aec7fcdbd7b3862003ae3db264c4632b552c Or Except2FunTuple CanNotBePlug
c177040a508e48ecc0509e654b416d76ed50e6c7 Or NumZero TypeMismatch
efdf46b2c6d2e19bad186aae186328faeec5d558 Or NumZero TypeMismatch
3d823a9bb612e559fff95c9a9cf1e321d0d118fa Or NumOne TypeMismatch
d312c8e48a670b159a015a9e4132747c3008ba61 Or NumOne TypeMismatch
358b88d406a4f3ea4abff655c39c57790e10301c Or NumMaxInt TypeMismatch
05bc4a0f23b890fe4e46de54cc04e0263341a05e Or NumMaxInt TypeMismatch
d69c76539be7af0cb9ed09067807927e0150cc22 Or NumUnaryMinus TypeMismatch
27dd0b916d18fbd0f7a33daeee40bfc83edd2b82 Or NumUnaryMinus TypeMismatch
c5a58b2cac4af664fac839cea42cc0277c21c5f0 Or NumPlus TypeMismatch
7544148c3454699953e4c69b1779e7d93bb43979 Or NumPlus TypeMismatch
c07b551cc5c9eb4753e02514ace1b21dde1bf6dc Or NumMinus TypeMismatch
7b3d36f88f3c11c326912af48be81640fd087db2 Or NumMinus TypeMismatch
42e28807fee780e25a845e4e01f5b8b21c6b2c22 Or NumMul TypeMismatch
b218ceaa8c7f53e40fc8d590c237e2f0140255db Or NumMul TypeMismatch
b4aeb6356380fa2e47c4ef3e42ab819a3cb68de8 Or NumDiv TypeMismatch
3d4c60fff1cf8080da873ff75125195465110a4a Or NumDiv TypeMismatch
e2b27ee80c379ccfc85b044c0ecb5fc28f60b18a Or NumMod TypeMismatch
19cc8cf55c8caec91667af4505d51adcbef12514 Or NumMod TypeMismatch
21d61bc522328c9e902074864fdd6b36dd09a39e Or NumPow TypeMismatch
1a14a12a38c2aa1ae0398ad9d01990890b639caf Or NumPow TypeMismatch
d652b2ef74ce10abfeda7f4a8750e9c6f8bc3a2c Or DefFun TypeMismatch
9e177b2c9f0ab828ed3b16860be7411b4094102a Or DefFun TypeMismatch
56606b2dc8e03773b28473fe799a91049573299a Or LetDefFun TypeMismatch
e9d28582108f219e3bd681a06415cdaded9dbc42 Or LetDefFun TypeMismatch
d222469f4d129765c0efe17b60f5cb5add4c5106 Or DefFunRecursive TypeMismatch
b2fe7fa5fdd22ea6f2d1e35a9f536d7742c5095e Or DefFunRecursive TypeMismatch
9949b97f27beb95fd220b91e44e45ef98752ab7f Or LetDefFunRecursive TypeMismatch
372874e3c3df9199b738fd8e0948be043177d88b Or LetDefFunRecursive TypeMismatch
ddca90d55bcceece35ca99f400f752d50a965bd7 Or DefFunInDef AlreadyCombined
4da778a693fb94e65414a10621c065c3901f73ec Or DefFunInDef AlreadyCombined
f9935a2ca390c1b96b60c55f9bff4e73a4102f66 Or LetDefFunInDef AlreadyCombined
2602a0e84cca031f9b1c19c5e96096db4c0daeea Or LetDefFunInDef AlreadyCombined
a8a6fbad7ab3d76d6b7b6258add6a71c13eb6a14 Or VariableViewExclude VariableExcludedFromView
49d6d4c7b8a5f848e347762a788e33105205d6bb Or VariableViewExclude VariableExcludedFromView
dea6eacb28ed2d004ca3a6ef3ed4d1d341b8b936 Or ConstantModelValue ModelValueCanNotBeUsed
56ddae58ce3b6d313db04f76e54b76147030d739 Or ConstantModelValue ModelValueCanNotBeUsed
1092ad4db2d61c42f72fcaa8c61b7f6eb587a086 Or Assume AssumeIsNotEmbeddable
0add67bf924f145bc7ade01d1b5b0769b1c1a846 Or Assume AssumeIsNotEmbeddable
6d88ba6125aca2851a43ce94efddcd623bed9c80 Or AssumeNamed AssumeIsNotEmbeddable
0cae65fdb5a3db511a8408691e3585af8d1777f6 Or AssumeNamed AssumeIsNotEmbeddable
d7286fe901f2cb267eb0348cba3adf7570ed14cf Or Lambda TypeMismatch
05f5be2fc7656aa202ecea6af79b06403c601b50 Or Lambda TypeMismatch
a70c3d8174cc9036bdac316f4dc048c48a7e074b Or Cross2 TypeMismatch
c8be35b7fc6b00a23f9b0f6d89122beb285a5176 Or Cross2 TypeMismatch
bb4d9f9de62440b684290dab6bf8a17873fb1202 Or Cross3 TypeMismatch
a9f66190fe45693374eea3dd2b061987908080c7 Or Cross3 TypeMismatch
03bbb8be4351a5b268cf48acde4d714ba2f20895 Or FunSet TypeMismatch
8e70431777d63810c36ec82f7a4bd0d3b2873ca8 Or FunSet TypeMismatch
6830cd59069ea8873e20ae39a7ab5ab197079c8a Or RecordSet TypeMismatch
7bc31034abbfa2c84c68188c015c8754c2dd9d77 Or RecordSet TypeMismatch
06ce923c8c7aeca5173f804874b791a6b6b3a475 Or SetDiff TypeMismatch
97b7405f0ca522112d25f08c0950feec7bb48a1a Or SetDiff TypeMismatch
a5a1b5439c7c2fc4ba4c8fead3d8c198f078794f Or SetUnion TypeMismatch
86a0a48e30e8322cf4e2374ee1cce69b1352736b Or SetUnion TypeMismatch
3545aa1e445358c769922a084a1764e8c80b1c29 Or SetIntersect TypeMismatch
2123525bd748c19b673e41a863475dd452746e32 Or SetIntersect TypeMismatch
511d42a1a65030deaaf684227ea1406cc253a6ff Or Subset TypeMismatch
6908eabebd65c7d434fef9b047cc4227606c6978 Or Subset TypeMismatch
e3279ffca99776f48d95a7cf024682c390f172be Or Domain TypeMismatch
341b72e81717db083407d2459aa6c19dd3ba23e3 Or Domain TypeMismatch
a73cff925f21b3e682ce04bf9edd63c2c0cc323c Or Union TypeMismatch
c9ac731f201db0606b422258f4d10050794d91b2 Or Union TypeMismatch
5339b58ae86059921ec1b1d4bd21bdc11d83e308 Or StringEmpty TypeMismatch
9ed9cd73ca7d6df5b7f5fdefdcffc219ec6a0dea Or StringEmpty TypeMismatch
7ef994e4548fd0bd27b919f486eb5130723b12f2 Or String TypeMismatch
b068c2f6830bddf251880fce9f961a07dfc4760a Or String TypeMismatch
d7947ca7006c1fd2f890968bc9f316d7bcbfa952 Or SeqLen TypeMismatch
4b6dcb4fbcc90f31c250d922d67548ca17ab09c5 Or SeqLen TypeMismatch
7886b98aba18c332ef6fcccb44933ff6e9bae173 Or SeqConcat TypeMismatch
bda78b806f124048abc513d820bd4e19c45be5f3 Or SeqConcat TypeMismatch
b5d98931b94e7e5c2ca6192737b809a48704c175 Or SeqSeq TypeMismatch
c1ed929ed69f603838f08e919f6f720eac107dac Or SeqSeq TypeMismatch
1d3ba27aace8da18a8fcf30a821ae2653f5bdec5 Or NatSet TypeMismatch
43ee293ef4b6e9839f32f5bfc10f3830ed41fb94 Or NatSet TypeMismatch
71ad2d7409ae3a0500cee948ba6cbb158de3422e Or IntSet TypeMismatch
6ea4ba673dede2f3dee5027cc0122315ff70e051 Or IntSet TypeMismatch
90d64ee2dba5f7367a08c04eb19d7088369bef65 Or StringSet TypeMismatch
74d5af7045e5e454bf869e2e942e5b0aba83b68e Or StringSet TypeMismatch
3eb2189a1270e15813c22e889cdbd48a3ddaef8d Or SeqSelectSeq TypeMismatch
ce7078a52952bf7bb4f64a72bfa541101d46fbb4 Or SeqSelectSeq TypeMismatch
6797c17e5c02928fdf19795cc5a6d5843d957df2 Or SeqSubSeq TypeMismatch
ac50472ba29da71b0b06d3c713afd5e4a708d4ea Or SeqSubSeq TypeMismatch
576550c0039e1982a61be86c07c9d2ba9897643f Or NumRange TypeMismatch
8d8916796a76b93ec65d0672036c7d7db7a41322 Or NumRange TypeMismatch
0389c052777eb9444da20fcec3ace2e624e3351e Or TlcSingletonFun TypeMismatch
d42505320e3678233153810ee7ba5209f28ff421 Or TlcSingletonFun TypeMismatch
43262ca27a25cd53c901d6a073c33425d1969433 Or TlcExtendFun TypeMismatch
12c3e3aa9ad3d64ecc85aa87431a0fe8634ae6fd Or TlcExtendFun TypeMismatch
371cda286d7d1b9d65e1cf482bb72cfcb1312f85 Or TlcPermuteFun TypeMismatch
e6414851adb41fc2963dec9a77ea025c4b840e45 Or TlcPermuteFun TypeMismatch
c9c93cac8e55c6f69a052cbbf2bbbccf45846fc8 Or TlcSortSeq TypeMismatch
fa96d22d3d186ec72e3100275add7b2751de5fb6 Or TlcSortSeq TypeMismatch
f02665da61bf494e72f085fdd9039355f2258c45 Or BagBagToSet TypeMismatch
1523bcb007d910b4a42c79749724eb9bde86b565 Or BagBagToSet TypeMismatch
c9f03d35ecf8ce04b95d600263a93ba18525ab19 Or BagSetToBag TypeMismatch
bf3fe40ce944f7c0f7ff17d345f3bd039d7003a5 Or BagSetToBag TypeMismatch
83c1ee9f9bbac798b537914a07d8af578967c72f Or BagEmptyBag TypeMismatch
37816f8470bfee59876499486554841f6730381c Or BagEmptyBag TypeMismatch
2f47c45c83319f84ee72cb7f01868114fb9d477c Or BagAddBag TypeMismatch
296fb90255ed5e2cdcf74246e40bcf02592681b4 Or BagAddBag TypeMismatch
f333d2ce3a789455737ba691b66ae9eb33ef0683 Or BagBagSub TypeMismatch
14bed91e37232726c9ba941345b5cac9a5e295b6 Or BagBagSub TypeMismatch
7df47821fd855e1966b154085227e2c97e8a3923 Or BagCopiesIn TypeMismatch
9b22d9673074709ede2515c4c9df0d78c5516fa4 Or BagCopiesIn TypeMismatch
c0ea0a24d6f49cac0fce68af53f65fdb3da60d60 Or BagBagUnion TypeMismatch
47d575358eee5e82a6da083b14fe5e8db852dc66 Or BagBagUnion TypeMismatch
82675044d5bd2e51ebede94b2c6dbcfb9ea91eda Or BagBagCardinality TypeMismatch
de01660a435b285e92dc2352b84c2255af2a1779 Or BagBagCardinality TypeMismatch
7ee1ca2a8ae0391453da5c91cd1cc58aceb017d3 Or BagBagOfAll TypeMismatch
1fee02fb8c93f1369cf29632b1d227b325fc1bc9 Or BagBagOfAll TypeMismatch
565ad28b41d07371c7ad908c7ad5a9c58afd3b23 Or BagSubBag TypeMismatch
97787dd5918682580d08bd3b12cdd6cb52014a14 Or BagSubBag TypeMismatch
8d0c7ccc96d9dbecf0d4f976d3a12cb30679a209 Or FiniteSetsCardinality TypeMismatch
7788d329481adafb229f1e3bed7c8e3cfc4c2b6d Or FiniteSetsCardinality TypeMismatch
f6ce8d4fdef8fd911691022d621252a57432507c Or SeqTail TypeMismatch
71aaef3f9e7e423304590f976ba723a141987c60 Or SeqTail TypeMismatch
cbcb6b9b3d65946d21bd3e16023d52e217eb96c8 Or SeqAppend TypeMismatch
26ed4ee85020f51d2ff8b1f0516d1ccbb10f31a3 Or SeqAppend TypeMismatch