Index

Skipped feature combinations by case feature SetDiff

Id Case Feature Plug Feature Skip Reason
8fb1a1bfad849e8c5348e552e6bbecf8229d6c40 SetDiff BoolTrue TypeMismatch
531cb107c9c8ec8a46441c763df7e16124aea786 SetDiff BoolTrue TypeMismatch
5413b9d93692a2a0a3116932f4ff1dc3d9c707d6 SetDiff BoolFalse TypeMismatch
d058e2d88d99e2fe5a379c63366a7260a89fd930 SetDiff BoolFalse TypeMismatch
a13c6d148651ed839559635a2c5ce780a12eee32 SetDiff And TypeMismatch
28999cfe968ce1125074aee36df9b6987656a895 SetDiff And TypeMismatch
a0c180241ab655b7f74e79d191ebf863ddb8c349 SetDiff AndMultiLine TypeMismatch
7c224d6e8897f78e8fb7b9842e5d9dbf82f098ea SetDiff AndMultiLine TypeMismatch
669f9266fec2c8d55f789ab77484254b8f801f70 SetDiff Imply TypeMismatch
9a4b36e1516c96844871873f37e809c26be956b4 SetDiff Imply TypeMismatch
c0430002cfeaa2d75119de70aa4924d7e6debba0 SetDiff Not TypeMismatch
77fe34c3895718a9a589c49527ea839763473cf6 SetDiff Not TypeMismatch
2c3e1aa1174e159835de07da0c208dfa60be7770 SetDiff Or TypeMismatch
6403d2c616d1346f78a3314e9d11f269a2ccdc09 SetDiff Or TypeMismatch
52c81065a7379bd633b0ac7565ffb9631e86b3b4 SetDiff OrMultiLine TypeMismatch
ad5dcc1419e94155fbab74f7bd7a640ca70d133a SetDiff OrMultiLine TypeMismatch
c540deadd9dda647573e0dc33b8f14331886255e SetDiff AndProp KindMismatch
706f58e587229aa9deae0ef1b495ba887809da08 SetDiff AndProp KindMismatch
83685738d589adcc1461eee831e07a1c9a9d0b26 SetDiff Boxed KindMismatch
81a5fe9bc57b6105e17f86f9b3adf582c621a32b SetDiff Boxed KindMismatch
4411ccfe83ab55e411b0965e461aa1279a5f9aa1 SetDiff Eq TypeMismatch
391f56f93c6ac7d9a162e11b346fdb36ce828615 SetDiff Eq TypeMismatch
1c70a7c0341b30b12fea443d2eb9d67cf4965b93 SetDiff Ne TypeMismatch
3abb723b602ba624d63c2dfa99629cb16a2a6f3b SetDiff Ne TypeMismatch
eef101659df7a5e32599cb607d06dd508e0ca86b SetDiff Set1InDef AlreadyCombined
e9df6019b0ce4bbd09e12cf9752ca161d31452cf SetDiff Set1InDef AlreadyCombined
afa3a4b82d861b7a0a5cd8e3efc7e03e2bb92be1 SetDiff Set2InDef AlreadyCombined
db6f0bbefaca6d2c7fe9b25cc3868fecfdf22f72 SetDiff Set2InDef AlreadyCombined
6166a9565d02223131689a3b47f215ed6ee6ad9f SetDiff InDef0 TypeMismatch
e3ba98ce9e5ff4b5fff7e93d8f26ab2cd394b9a5 SetDiff InDef0 TypeMismatch
6e1d4586d946f55435f2e49292393c25d917c40d SetDiff InDef1 TypeMismatch
3c05db42677755ffd70e3eec64eb76333d50fd81 SetDiff InDef1 TypeMismatch
f3d79461051de6d3a44cb9aac5bd75c917e3bd81 SetDiff InDef2 TypeMismatch
02f84995d020df2f1ccdd6772cd74f6576d3798f SetDiff InDef2 TypeMismatch
9aabd248158027094ea8322eb40367dd0972b69c SetDiff Fun TypeMismatch
6d6839b351cc9791b13fad587a39c5f03d186463 SetDiff Fun TypeMismatch
abedce328584efc9efb67f6b287895942a45478e SetDiff FunInDef AlreadyCombined
3411db6851accbb49330c1d8df7182d959d59c7b SetDiff FunInDef AlreadyCombined
a3345615b7fd163ddbe046eea1982d958b39028f SetDiff In TypeMismatch
74319a64d75dc89e53b6199ea249f6b0cc603610 SetDiff In TypeMismatch
6ec9653d7a38f3e9a558026b97ff629123299df2 SetDiff NotIn TypeMismatch
3f9b65dbbe480ab7d7e300f91c152d3d335a75f1 SetDiff NotIn TypeMismatch
d41d4b57e38bb4c26cb35f3849273ecd94ea950d SetDiff Exists TypeMismatch
407bb519022f153077c2a5b4dcab593278350a9f SetDiff Exists TypeMismatch
f4e975aada1ac247117dce7eab29eb4db54231b1 SetDiff Forall TypeMismatch
8f9e7b07157b897560002ac8a72f5e8fe511a8b4 SetDiff Forall TypeMismatch
4e3c0fc184366df5bcbcd2e33095754e32a187b5 SetDiff ExistsInDef AlreadyCombined
1e10c899a27b8201b58ad34017e1b0c3e7afbc2d SetDiff ExistsInDef AlreadyCombined
ca73b4f60afa00f2f352dfd6a4965d8452fc548f SetDiff ForallInDef AlreadyCombined
3504679bd4744d0ebdf76776a7cf5f1c2ac86039 SetDiff ForallInDef AlreadyCombined
bfc0d1251410671cea60259317c535cda82c0d44 SetDiff ChooseInDef AlreadyCombined
6f84a4333bec80e6296e8c1c5d804649b4868ed3 SetDiff ChooseInDef AlreadyCombined
2f13b12ab722d778518683e2d54dd11f82168666 SetDiff Record TypeMismatch
9aef5c34d25ed4b391d9a2c254d5d2f688c841aa SetDiff Record TypeMismatch
a269c4512c9197706ffd9f6e669f8e9877c51bbe SetDiff Tuple TypeMismatch
cc608bdf531f63397ed912a1dd04067a06a525cf SetDiff Tuple TypeMismatch
5850ff0b6edc3dd03d4d8ca6df4912493bd58d01 SetDiff TupleEmpty TypeMismatch
695293cb84b1cce3a61cff9e7521e7c32ccce094 SetDiff TupleEmpty TypeMismatch
c9b02a9be3eaedc6e6a67b76a70d9c06c055baea SetDiff Except0 CanNotBePlug
3eea3e51580c044d9fdfa601dc78afb2700639ef SetDiff Except0 CanNotBePlug
ae984d5426089e623bca0eae3fde6318a7e98c79 SetDiff Except1Fun CanNotBePlug
a0fdd79080b1728ef4fe0a7ea81292668b0baec5 SetDiff Except1Fun CanNotBePlug
30b7b7275f0f76da40b22cd2f28d5fb1c5e7bfa5 SetDiff Except1FunWithAt CanNotBePlug
7395b5f59323867974ee647bccd9aba598d99cf4 SetDiff Except1FunWithAt CanNotBePlug
1130d7ac94bf4b2bc8a6d04d4d81d502d3d2b867 SetDiff Except1Rec CanNotBePlug
eea760c9fd60933a80ed34b17b782e4246f6f6ce SetDiff Except1Rec CanNotBePlug
98b4ce822d51e864e08dccd31319866578d1231a SetDiff Except1RecWithAt CanNotBePlug
433ad695cee8fb58720e648ea920184238f3cdc6 SetDiff Except1RecWithAt CanNotBePlug
f7ee051e57a63f97105790550c677a27056135cb SetDiff Except2Fun CanNotBePlug
30009be0c4d937fc7119d069618c721285d76d38 SetDiff Except2Fun CanNotBePlug
6fd5ad9d38640c09b45f20304e9f1dcb6eb9602f SetDiff Except2FunTuple CanNotBePlug
a90aaa4629e2959ca4d18827a7716af6887dfb0c SetDiff Except2FunTuple CanNotBePlug
976aec6a13f740251fb82adfa61b2545d41b8d20 SetDiff NumZero TypeMismatch
706471a98dc17bb425383a93c0dfb3e5f6d6b852 SetDiff NumZero TypeMismatch
0ed00abb3a3e364a9ed87530e0b464aef2885555 SetDiff NumOne TypeMismatch
cb86059f42ee792ba51d7b514fec05b13b6e55fe SetDiff NumOne TypeMismatch
ec469908d2b0fa3b9d0ea37bb617a0af21623a33 SetDiff NumMaxInt TypeMismatch
6d1f7527ecfdbfba7fcfbd3f4f863cb220b2e29d SetDiff NumMaxInt TypeMismatch
d0b100b968366bd9faede13ecf7a9b55c207c28c SetDiff NumUnaryMinus TypeMismatch
ab1fd10d15766ba20bbb84673ad611f2f42194c5 SetDiff NumUnaryMinus TypeMismatch
f939c5f90a781a30914ee7072a3f01d838866cb4 SetDiff NumPlus TypeMismatch
0f0f9e77f0fdcb6a8809412f3a27bd37344bc781 SetDiff NumPlus TypeMismatch
45a7bbae1e368f7a93684f3de25d0bad85b48791 SetDiff NumMinus TypeMismatch
8bfddba926675a036ff708619f6ea4f4f079bd84 SetDiff NumMinus TypeMismatch
c2a03238bf1f22686d0d20505dd6febd34110674 SetDiff NumMul TypeMismatch
85d4885e407b1a0eaafbfa0ed564097a469a828e SetDiff NumMul TypeMismatch
cae83f422244de6c8b6d608100a5699b25b376b9 SetDiff NumDiv TypeMismatch
539ba2498c4b937ffaa2e71c8bca69b95d1ff482 SetDiff NumDiv TypeMismatch
2ddc287fbbcc63b33422176c42666be5a4f88382 SetDiff NumMod TypeMismatch
f70cdfbd8e9f7600a0b64b80f90201c0f7d68318 SetDiff NumMod TypeMismatch
38bb5f298ee67af080f0cf52cf2a1c10a52f0f51 SetDiff NumPow TypeMismatch
cb9f60e976dab523e54b30a9796d851b7d52c1b8 SetDiff NumPow TypeMismatch
6c6cccb249aab0fadde484e945e91545218f4041 SetDiff NumGt TypeMismatch
8cf694e5db97e5baaf1ebaacb84a242d4792373a SetDiff NumGt TypeMismatch
9695265d486a1b02acdcdefacb86d8bb84aacec0 SetDiff NumGe TypeMismatch
1f73aee278467a41fa5f80fcbe6b81847fb53086 SetDiff NumGe TypeMismatch
c31449b2a17016c0320a0689f8d2709ea7048a4f SetDiff NumLt TypeMismatch
f4bc791e53971fcb59ca0f8c3ec4983ee6982610 SetDiff NumLt TypeMismatch
215f613a6db4251c8de0e4986aa21f50a52f2404 SetDiff NumLe TypeMismatch
1c0ece71dc8e6e1a14baf3d8669c041f0f37f2b2 SetDiff NumLe TypeMismatch
2f665bfeb736bb9ce5f81683955457c747d8f4ba SetDiff DefFun TypeMismatch
32d4631b9eab8cdd91ea800a6f0822c6a9bee0bf SetDiff DefFun TypeMismatch
c1e68373ba19ea083093a56cf46b25b3550a7936 SetDiff LetDefFun TypeMismatch
a9ee233cef26d4439557beb827ca6d2c32030b52 SetDiff LetDefFun TypeMismatch
8b4cf53866d54c30e958919290e0e8cb670f7e62 SetDiff DefFunRecursive TypeMismatch
bf728cc8cb48c170ac7f58d09653d4efb7c6428c SetDiff DefFunRecursive TypeMismatch
05eee0d6e4410851b5c6db308c7e2e0834107057 SetDiff LetDefFunRecursive TypeMismatch
88223b601a17bc9180516bc14d53f1c56ce79357 SetDiff LetDefFunRecursive TypeMismatch
46175a2bde7b3ff1ddee2b776616d11d132ed57b SetDiff DefFunInDef AlreadyCombined
aa9bc275ac535e81ce27120bd5fa25d4d2edc759 SetDiff DefFunInDef AlreadyCombined
41363af1979994029fe8ffa66521d5738a784fe2 SetDiff LetDefFunInDef AlreadyCombined
ced52c137ddd71c05d99c6c8d7f7bb635cb9fa0b SetDiff LetDefFunInDef AlreadyCombined
75cf7e97637be5245dc41719fa772c18dfeb6d12 SetDiff VariableViewExclude VariableExcludedFromView
d361d25ca2d3d906c40bdaa4c94814f57713a61e SetDiff VariableViewExclude VariableExcludedFromView
58a0f5ebbbe13d4f8b01bbcc721c31ccb0a484b1 SetDiff ConstantModelValue ModelValueCanNotBeUsed
418a2648c3c99ae5b57ef7bf7402d9c00fa55280 SetDiff ConstantModelValue ModelValueCanNotBeUsed
10f37ee3ecdfc46c57d360e25e79479a884cd16c SetDiff Enabled TypeMismatch
f9b456326d4fb5e5fa2c07081b958184f603611d SetDiff Enabled TypeMismatch
e140032c6b5c6f9c4947d5e08aa52b60139f76ab SetDiff Assume AssumeIsNotEmbeddable
3777e5646e3f97613e0e7e092572ce0f676747e8 SetDiff Assume AssumeIsNotEmbeddable
cb5c63e0ed90720f9c5c98b07c93f2df5bb8c855 SetDiff AssumeNamed AssumeIsNotEmbeddable
0fb0b7664ffd850c73d99712a8d216590ddc6771 SetDiff AssumeNamed AssumeIsNotEmbeddable
3b4a7b31cc8d309a3106acd2e83fcb8b5f47811b SetDiff Lambda TypeMismatch
30fa9d1d3259119aaeb56c7ba26c3737b19a676d SetDiff Lambda TypeMismatch
d8c416610db9edeed661853a703c1dc06cf1965a SetDiff SubsetEq TypeMismatch
6e67873641d3ab8422f217e9d5f40be5c99d89e8 SetDiff SubsetEq TypeMismatch
e641b8add88b228e60aae064a232bd11c08340d7 SetDiff Unchanged TypeMismatch
fec3e0863c912487afb5572076f404cc1670e75b SetDiff Unchanged TypeMismatch
7e40f964fe5855c07c57b7ba5c65105f5982e56b SetDiff Equivalence TypeMismatch
55c351f6b137594b03d2e695e3ec2819a298e1b1 SetDiff Equivalence TypeMismatch
c1a59e6c5f15ab055c8a3e3a61a65319c4512ebe SetDiff StringEmpty TypeMismatch
1e56a42d233a538552a348b95c67e250153f96b9 SetDiff StringEmpty TypeMismatch
11e533ceb056ca2e79c8ec4daf8b077d3c43bc19 SetDiff String TypeMismatch
248af1c23fdaf3878cb9a26b46a7a570fd32b86c SetDiff String TypeMismatch
640ac4b1c341168ecada46318efad80a3a44c5ed SetDiff SeqLen TypeMismatch
9fcfadd2e9e08d1a759338da651ac29b829f6d7f SetDiff SeqLen TypeMismatch
69e2b572a9196a3512b92c073b6e6ac0c28b0df0 SetDiff SeqConcat TypeMismatch
e803898030264289047e04aad39b8937b9186831 SetDiff SeqConcat TypeMismatch
39ed3a0b990efaa5bb14dd93f6599cbe5832b692 SetDiff SeqSeq TypeMismatch
7b2891dc9e171786f6c710d3d9f5338066fc56de SetDiff SeqSeq TypeMismatch
6566353a28f5e2ed7c16f76260399199301b55b5 SetDiff NatSet TypeMismatch
6f2e02960ea200292ca02a4b0c4c78e338f1a4dc SetDiff NatSet TypeMismatch
ab99882f38db19a43d049c4c31c0f3ad49a6cdd1 SetDiff IntSet TypeMismatch
9e3bd4a3b2adff33d2cc07368c512343805446a3 SetDiff IntSet TypeMismatch
9202fe11692a48681d75964e0eef27c05c573a08 SetDiff StringSet TypeMismatch
decbae793a4e1caed1257a4d8815e1f2af2d9d7c SetDiff StringSet TypeMismatch
64b2d23b3b20eeb756e524aab72e434cee420809 SetDiff SeqSelectSeq TypeMismatch
c6ef53976fa4cb6a907737a4df5b8e6bc6e90119 SetDiff SeqSelectSeq TypeMismatch
95b12701d0a3b1bed917887aff00821590ce365c SetDiff SeqSubSeq TypeMismatch
01db31b32156ecaefcb22a02a51db471af203297 SetDiff SeqSubSeq TypeMismatch
62ba105ae1685936e2be2657a8ef2a034642bfcf SetDiff TlcSingletonFun TypeMismatch
38cfb8bcf590d0166a556d615e708d34f91abddd SetDiff TlcSingletonFun TypeMismatch
90cf10f3a61897f2141009573e0e7ae8555a7d9b SetDiff TlcExtendFun TypeMismatch
9de1dfb9895e87c17e4d516cac2fbe1105d48bf0 SetDiff TlcExtendFun TypeMismatch
f8a7157e2648b34d9380c0a36b5f4d4a40481f48 SetDiff TlcSortSeq TypeMismatch
a6476f3cf428c551653909ecfd286d33add142ee SetDiff TlcSortSeq TypeMismatch
c52f9be451e9bf2edd3ccbae2fb6f08a4e20746e SetDiff BagSetToBag TypeMismatch
9db7a023b27fa86a64de1035059fb78a26973b92 SetDiff BagSetToBag TypeMismatch
a9387e7631d303dbba0ec38ade2c87227fc32e69 SetDiff BagBagIn TypeMismatch
2ff3f2504d4fac2c6a8e94f8360516e9b7b5480c SetDiff BagBagIn TypeMismatch
9c8ef595851028d306650415ce87111f69dd2334 SetDiff BagEmptyBag TypeMismatch
75fae891a4da692399303f3a1bd91d8f0f161964 SetDiff BagEmptyBag TypeMismatch
6cbe313ce22dfdd0b9387edd5c82e6b89972a7e8 SetDiff BagAddBag TypeMismatch
7a8b3441dcab6f8a939fe04ce81a641b3d30b631 SetDiff BagAddBag TypeMismatch
b770b2c05737ba61c1027b240723ed6fdf9c03e4 SetDiff BagBagSub TypeMismatch
d05a2ec776d2c5503eab8a111262bff1cc3fbd83 SetDiff BagBagSub TypeMismatch
cf2c6e6e5e5c537fc88d70402d0d65cd19516136 SetDiff BagCopiesIn TypeMismatch
14503cf8f5e3a25c5aa248f369478e4526e059c2 SetDiff BagCopiesIn TypeMismatch
a766ec973441187f1c73ecd9769f858eff009b4d SetDiff BagSubsetEqBag TypeMismatch
b06efa68c24c9d31c64277c4fad8513bac1b5712 SetDiff BagSubsetEqBag TypeMismatch
e7280e2edda4f39cdfd1c0846e3f741c1157585c SetDiff BagBagUnion TypeMismatch
8cf7ddc5e0261213ea079f0c956c465eec6f8638 SetDiff BagBagUnion TypeMismatch
1d546a099d1b214830cad35ca9aa97631c5f6116 SetDiff BagBagCardinality TypeMismatch
97ed785c386871ebfdb053f8c3f2533558f1204f SetDiff BagBagCardinality TypeMismatch
8312effaeebb4d4f612cbb317713e1766cb0b344 SetDiff BagBagOfAll TypeMismatch
0d9c8416d04ebb4da89b8949e5b045ee3af4cee1 SetDiff BagBagOfAll TypeMismatch
09c6181522c399ac326422c1154bb3cd2310abe2 SetDiff FiniteSetsIsFiniteSet TypeMismatch
415041d14cfc55c8ed0187447526c4a23c73a0b3 SetDiff FiniteSetsIsFiniteSet TypeMismatch
67876add669e35661479e2df2f1c5e838f9e2b83 SetDiff FiniteSetsCardinality TypeMismatch
ab075de6f073cb926b684e822fa36a9a8653cbfd SetDiff FiniteSetsCardinality TypeMismatch
dd32c81d4837653a4a96759a3e6adda27140f151 SetDiff SeqTail TypeMismatch
5405d3410519a4b32f078109b03869cf74ace0dd SetDiff SeqTail TypeMismatch
316d586de22ed4ecd768e93dcb04e03999793cfb SetDiff SeqAppend TypeMismatch
11791de5852d6526c50222b5f2e51efb96c64397 SetDiff SeqAppend TypeMismatch