Index

Skipped feature combinations by case feature SeqConcat

Id Case Feature Plug Feature Skip Reason
77670f127cafab658cd71016d7d04622240df6e1 SeqConcat OneLineComment TypeMismatch
e492a0c793a916f8ab814d9580cb9374465c3197 SeqConcat OneLineComment TypeMismatch
cdf342d7f4cd2080bcbfd00044f8ea435618cf0c SeqConcat MultiLineComment TypeMismatch
067d0f2da994bd3d8a9c425051d6b5db15799b1d SeqConcat MultiLineComment TypeMismatch
ad158b179c5dd95a3ead40103a3604dd995d2451 SeqConcat BoolTrue TypeMismatch
d294db6c052760e6c7ab823436db273dcc8cf45c SeqConcat BoolTrue TypeMismatch
35c6df19876e6aa1d2bbb7733851a80cae28ab8f SeqConcat BoolFalse TypeMismatch
234c75b58aff95e23188e88e45ce2cdc60c80d62 SeqConcat BoolFalse TypeMismatch
52c2f43a001af9c327742b8d17873f1abd1152c7 SeqConcat BoolSet TypeMismatch
66747cfc385cd8a521f19ab6e8b8ae5d782d4fae SeqConcat BoolSet TypeMismatch
b618a3790f4fa7b48d1055dfc46e29d68787515b SeqConcat And TypeMismatch
6d6c9029767219dc3dee4b52a8492e563c6bc973 SeqConcat And TypeMismatch
4418e8094794ade7c2df2eab0a69ef2912b2a27f SeqConcat AndMultiLine TypeMismatch
526c1ba5685bc4a5d2470ed387c0207cb98186b4 SeqConcat AndMultiLine TypeMismatch
1ebc3cfd8afe16b63b55c6a98be6e21460e6010c SeqConcat Imply TypeMismatch
0b9c934cf0c7ff3d426eaefb5e208c2c6f9902ae SeqConcat Imply TypeMismatch
5b9eb9fd76467da7abcdca471494b59ce6bc9755 SeqConcat Not TypeMismatch
f2f96fb97877b35318ba89d9399e71ce56bc4689 SeqConcat Not TypeMismatch
7a75f72c319a858d7234e39c6374ce1cfab9c13a SeqConcat Or TypeMismatch
e328ee287bce86ae37730589689a409a961f650e SeqConcat Or TypeMismatch
703f04b13efa69a17bf0ce31a7aea1416b0b7c53 SeqConcat OrMultiLine TypeMismatch
e81bbf6a27217ce934116b587d3c793b473e12c1 SeqConcat OrMultiLine TypeMismatch
d7c874eed3ec073a707d91e43423c8e4e798c53f SeqConcat AndProp KindMismatch
fbde334f72c4f6c28db49b1665c56d62b6d7029d SeqConcat AndProp KindMismatch
d2608cdeb19360e6518218b1dc95adc07ee7d743 SeqConcat Boxed KindMismatch
eb0b94270469388dbb7930239dedde09ed46dbad SeqConcat Boxed KindMismatch
bfb72fdd63fd32e007bb8055382ccb5b45be4932 SeqConcat Eq TypeMismatch
bb461c9bcab62f6b6a95091a592317b3d7bbb498 SeqConcat Eq TypeMismatch
e3979b9d0bdc3a8e67479bbd5be65d7ced0a8a9b SeqConcat Ne TypeMismatch
461366d6e5c7e86af95dc71b16134e91cae9ec29 SeqConcat Ne TypeMismatch
d008654412a375654b7bbc581cde122f157a602e SeqConcat SetEmpty TypeMismatch
8e89bdf753594e3cc9eca6c07fb8fbbea4e86db7 SeqConcat SetEmpty TypeMismatch
388115df4f3f60234891f9ca5ffb61c04696bb93 SeqConcat Set0 TypeMismatch
ba738bded357d94cdad4f33a883d95cc36ade181 SeqConcat Set0 TypeMismatch
36546396457ab932c6ffdad58222bbf0dc29d0ef SeqConcat Set1 TypeMismatch
691dcc342e7759253238b4b47dfe33c42d2229c1 SeqConcat Set1 TypeMismatch
115de16c8a336735adb6a544491a3240b6f5c1ec SeqConcat Set2 TypeMismatch
7d6032d74e0b141ce77c89e8d0f2770d67bae21c SeqConcat Set2 TypeMismatch
13206ee65eafa79514379ec3b64c67187f881aa5 SeqConcat Set1InDef AlreadyCombined
fc021a302c8ecc178285178673bb99f4965a84af SeqConcat Set1InDef AlreadyCombined
9c8f4beaab1216a71b27f6b739a5e519acade8e5 SeqConcat Set2InDef AlreadyCombined
1c2fd024079ac0bf20cd3979e90fa1cafbdfdfc5 SeqConcat Set2InDef AlreadyCombined
988ae096fa2b48be9bb77a3fdd16ab6ed1abda33 SeqConcat InDef0 TypeMismatch
3caf2c99488092150ac8b1503cc0fceb4a258e1c SeqConcat InDef0 TypeMismatch
ea65964a67bd32ebadf2ad704f0521f8face976e SeqConcat InDef1 TypeMismatch
5be2eb152b73ff4ebaf9dab7313d66de34931750 SeqConcat InDef1 TypeMismatch
8a29ae780ae123ebb81ed1b1df9e3835384deb9b SeqConcat InDef2 TypeMismatch
d44a83dc14132b6c637d297cb23776c6484ee3f6 SeqConcat InDef2 TypeMismatch
c2c140b88ac8dbd83e0034a8ad29493242bc412a SeqConcat Fun TypeMismatch
5ab8e986b30d4ee08b6fc23b0e84b9ba2ac48c2a SeqConcat Fun TypeMismatch
5861d5810a5663406cfc7106347a82ed0e4188ba SeqConcat FunInDef AlreadyCombined
b8a55e967c9b8301cde8155b4e5b59caca0ffff6 SeqConcat FunInDef AlreadyCombined
fe49a54d69e29001928776d2add0f64a27833711 SeqConcat In TypeMismatch
d0b6b51c68ce8a0b4ddd6c3cb88bd8690e225a9a SeqConcat In TypeMismatch
6b469b989ff82ca4305bbf7061f2ee6632e9ae04 SeqConcat NotIn TypeMismatch
e69e91cc6eecc65f1a8a86694c594818a88e1c48 SeqConcat NotIn TypeMismatch
0ef8953fb46d50752982c63f6708e7afb1099b1a SeqConcat Exists TypeMismatch
55c3e1e1f3fcfe6996436d906dfa486a444b0a21 SeqConcat Exists TypeMismatch
97fa55604fa411b255c2134d57413dfb9f5b4adc SeqConcat Forall TypeMismatch
aae64dee5723ea7185197ea7b18e65911f2bb0b3 SeqConcat Forall TypeMismatch
850d1fcff20b4b7ff3ada5159492670ff6cd8c34 SeqConcat ExistsInDef AlreadyCombined
9e0fbd9b38e21696d45850059af478c3da768676 SeqConcat ExistsInDef AlreadyCombined
9f74124fa8e05edc2961ee347f0995a9a5200f04 SeqConcat ForallInDef AlreadyCombined
3a0647f8c20bfe662c11bfe7e3f84e58c07b3696 SeqConcat ForallInDef AlreadyCombined
2431d3a0d649096b64b1dd36807544b48d48cc79 SeqConcat ChooseInDef AlreadyCombined
06d1c0cff50308dfd63b1e3275ba946710ccf37d SeqConcat ChooseInDef AlreadyCombined
bef04fcd6724668610308ba716ba85d35be5f2da SeqConcat Record TypeMismatch
b3312a48e1472cf27d1c7e63e6e8db60d809a161 SeqConcat Record TypeMismatch
8514304d7048ed92ca94ac20b5d70e694ce26875 SeqConcat Except0 CanNotBePlug
59fd514b8adf8d054119bf02c16ab10495c3cfa5 SeqConcat Except0 CanNotBePlug
262250615bc340740069c8caa5448f21b24ab0b3 SeqConcat Except1Fun CanNotBePlug
d7fbd3a880ece223588e222a9f486445c59293aa SeqConcat Except1Fun CanNotBePlug
23fa13911dada5d62683c3397bd90a8e3f3f4191 SeqConcat Except1FunWithAt CanNotBePlug
84850883fcb8a1a156d2826d515528195c00aa9e SeqConcat Except1FunWithAt CanNotBePlug
7d809572398fe308fd8eb51f2eaa4ff8e9a92e12 SeqConcat Except1Rec CanNotBePlug
ad4d46c6d7c71202576cc64bc94c130569ca828b SeqConcat Except1Rec CanNotBePlug
dca51603b00f55805c35d2bf6823fad1f9d53d62 SeqConcat Except1RecWithAt CanNotBePlug
c040c9e7b50814adb712f0ae687e6758bbbba440 SeqConcat Except1RecWithAt CanNotBePlug
97f82c8123361953d7ade1bb68b61d31586167cf SeqConcat Except2Fun CanNotBePlug
965683643c2623777efffde56f1d83cd1822af5e SeqConcat Except2Fun CanNotBePlug
052415ca35897d18cc9bcd15bea381a526a42984 SeqConcat Except2FunTuple CanNotBePlug
17de4f9f0cacf0a3cf16038631826c21141d9715 SeqConcat Except2FunTuple CanNotBePlug
6fe4ef0ac8db18985ac463512a9b876cfc7c3e23 SeqConcat NumZero TypeMismatch
2ae93f40a51cdca9c3ff1c3e4269097209e6df7a SeqConcat NumZero TypeMismatch
9ad47d569374e5d2a383c540df2c35b9f5265582 SeqConcat NumOne TypeMismatch
d35b1c8f82bb09580f1a3aa48e261ad55f7addf3 SeqConcat NumOne TypeMismatch
57ba68d92a36bdda4003479cb20ad2b83135bbc1 SeqConcat NumMaxInt TypeMismatch
8efd96f2bb55b8edbf2921a3f303d7d930477b69 SeqConcat NumMaxInt TypeMismatch
4a852ad3abe0fcca82f287565ae6f19b6d9b717b SeqConcat NumUnaryMinus TypeMismatch
c41bd1a501999c0a76d40dae8d72c19065a8ddb3 SeqConcat NumUnaryMinus TypeMismatch
d4ab8e5ab02cb70e846e73bc848ea415b3299ad7 SeqConcat NumPlus TypeMismatch
697b22f7d726a9e1726d2d1b5772331e50c0db62 SeqConcat NumPlus TypeMismatch
0b6708786449e9c93eaa2ba3224c5f78236394d2 SeqConcat NumMinus TypeMismatch
872ebfc2503e65ddae70b1e394a7938809a6e52c SeqConcat NumMinus TypeMismatch
43a211e98d61b7210d222b4db3b42e938579e16e SeqConcat NumMul TypeMismatch
fdc347ad5e3a3f9e34cccf45df7c9583ad79ce07 SeqConcat NumMul TypeMismatch
b4301b0bb5c3cde513d9ea82795fa56fd7e9caac SeqConcat NumDiv TypeMismatch
deeb5278110dcea7663a4da1d7f95c32c7bd24bf SeqConcat NumDiv TypeMismatch
6b3d6599efe7e8c542f36503e35aac8ae0e97dbd SeqConcat NumMod TypeMismatch
0b42c02b1d63391c1ce5661f0e2c68eafe916f27 SeqConcat NumMod TypeMismatch
71ce0758dfb8ae192d1b6970f0a7436571221605 SeqConcat NumPow TypeMismatch
85deefa244a7bb9526480357d5733ff9b2f54e63 SeqConcat NumPow TypeMismatch
c4789ac0732f14918805c9f1fd013ddc134133b9 SeqConcat NumGt TypeMismatch
277e8be900fbf0fc6366ffc73447de96145cc4ee SeqConcat NumGt TypeMismatch
d9fd1e61fa68b4fa812294ef04d3d54fc017899c SeqConcat NumGe TypeMismatch
1e1482654297f5e2ed32f8ff50146406db8907b2 SeqConcat NumGe TypeMismatch
a29e8eaf9eb2a7cd8e17e81634550fa6d7ed13bf SeqConcat NumLt TypeMismatch
662cdfb43a89d5fa6971fe71783f7081d0eb1b5c SeqConcat NumLt TypeMismatch
93ab392e9aad7ad3cbc13c0f80cc13aa2f4c6825 SeqConcat NumLe TypeMismatch
09c4332af187ec95bf645660edd31ef710d092ff SeqConcat NumLe TypeMismatch
33f1efbe8aa092ba8695a12fb6bc86726849c8e7 SeqConcat DefFun TypeMismatch
e498c403eda0edda1556f4dac03d70785d9f84a2 SeqConcat DefFun TypeMismatch
330a5a8db29827f87ecb4f8f167465a10c780807 SeqConcat LetDefFun TypeMismatch
72cf4d178eb88fb777bb79b2c526025788c12994 SeqConcat LetDefFun TypeMismatch
91113a0d014cd775fff3c5f777a5cafe9622fad7 SeqConcat DefFunRecursive TypeMismatch
509f538d524e2f7b0257191d1c6fb2681a581c85 SeqConcat DefFunRecursive TypeMismatch
9aed4d119a444802aa216aab056ee3c10de5aaa0 SeqConcat LetDefFunRecursive TypeMismatch
bbe7640200434898a24ccc8fafa576aaac2df857 SeqConcat LetDefFunRecursive TypeMismatch
f029137e2d2cea3a596434cf292b5795446caec7 SeqConcat DefFunInDef AlreadyCombined
6a0fd9b75ff6ec12b138bb6903845d5943103851 SeqConcat DefFunInDef AlreadyCombined
21723a2ba12c67614f8f281c3a617ef2f126d67b SeqConcat LetDefFunInDef AlreadyCombined
87eb9f8df071b6c94bd560abf9791c14fcf9d304 SeqConcat LetDefFunInDef AlreadyCombined
a375b91a84c04ca4e3db9765b7e3bc93483d0cb9 SeqConcat VariableViewExclude VariableExcludedFromView
c1c70136c5b05a645a43aa7f217b490cddbd565c SeqConcat VariableViewExclude VariableExcludedFromView
ef7c16e38cfd358f3cc2f44c1138d59b0c7dc81e SeqConcat ConstantModelValue ModelValueCanNotBeUsed
32215e6b3054d091861fda09c56cfec8389599eb SeqConcat ConstantModelValue ModelValueCanNotBeUsed
13576df7df87de5fc58fb7330299e4f5c5199b95 SeqConcat Enabled TypeMismatch
9526b08ca17c614cef74f96ea4ae4e79068f49d5 SeqConcat Enabled TypeMismatch
053a70f3510e0e7b64d664895ef1039de66464f1 SeqConcat Assume AssumeIsNotEmbeddable
34f893dfbdbea3935dc9d11d26cae4580a0a6b8f SeqConcat Assume AssumeIsNotEmbeddable
fb3125f5c39249f73cf6164c0319f46f0cb9cc65 SeqConcat AssumeNamed AssumeIsNotEmbeddable
50ca1fe540029436d72c3bcdebf993393846085b SeqConcat AssumeNamed AssumeIsNotEmbeddable
c7c2f6b4c66ceb850167b0a9e4d0936e2072a40c SeqConcat Lambda TypeMismatch
a1d4c0ca62e72ca558c6d0986d6624fdebc712c8 SeqConcat Lambda TypeMismatch
34d6ceb1d2e66c64f90d7953446ccffe07a41a74 SeqConcat Cross2 TypeMismatch
fea05ba51cd311fc6df60643ae27d57223c3ea14 SeqConcat Cross2 TypeMismatch
c4e468afa89694834a26642fab9f594b4785bc10 SeqConcat Cross3 TypeMismatch
59af2bb3e3ca5a2bf8ae838e9b7bf8d5d3d40733 SeqConcat Cross3 TypeMismatch
0b9370b8d3a264d4654e5e6939c55ddc187a2ff3 SeqConcat FunSet TypeMismatch
60c72635e13d3e1a7cf5835f2d41f885d5322472 SeqConcat FunSet TypeMismatch
715340c58ae35d7180b4f9a6a205342ab6def38e SeqConcat RecordSet TypeMismatch
920d530c0b967fb49258efd096368ec032f3b2ca SeqConcat RecordSet TypeMismatch
b8e5cefbc249f0a5a8a09ffb244ab3ef9efe184f SeqConcat SetDiff TypeMismatch
7dd8010541f800d3da18eb81ae01b026a65e2b70 SeqConcat SetDiff TypeMismatch
82c169db57f88b234635d067d79f9103be59f86f SeqConcat SetUnion TypeMismatch
473c9ae305d9ff2599a49cd2537442d23e51e9d2 SeqConcat SetUnion TypeMismatch
89c647d32a727f4a30ed18201b8a9370255aacc6 SeqConcat SetIntersect TypeMismatch
2fe04b89d6f165d30ecd9e9875c8aeb9768de433 SeqConcat SetIntersect TypeMismatch
6144a5c6571a140f8e0d04a15de98606a2dcaf89 SeqConcat SubsetEq TypeMismatch
85ee39fdf53a8ea7a44c22498480a0fdf7b1a1ca SeqConcat SubsetEq TypeMismatch
c06d07bbb529938cbec2ed6ef964aa4cc0961750 SeqConcat Subset TypeMismatch
51af6d761c47b20f23aca5d2b8307fbaf03b8775 SeqConcat Subset TypeMismatch
fb8427dc967dbee34b840eadabf83f934fc147c2 SeqConcat Domain TypeMismatch
ddc7f0c54dc11f7dcfd95e221e7a17b0fadc927f SeqConcat Domain TypeMismatch
408fb890ce582e853b22602c91f92a70ac2d4465 SeqConcat Union TypeMismatch
f7790ac56f175fe072474423c78a4429235c026d SeqConcat Union TypeMismatch
ef457e5fb974c1dc914d31d9d93df283f4ea9ba5 SeqConcat Unchanged TypeMismatch
6e932662cd01186a495c2d8a54276126edd96780 SeqConcat Unchanged TypeMismatch
b1f4a90ecf88a576a0bd359ffbf801ab1e972916 SeqConcat Equivalence TypeMismatch
a6dca3c133b34e41875d61ccd4d67f18159651c8 SeqConcat Equivalence TypeMismatch
68f6aab53d7cf3dde543fd42f58145cb64b958b3 SeqConcat SeqLen TypeMismatch
1bdcc4576a9a3d04d9df92290999337f0b045afd SeqConcat SeqLen TypeMismatch
47c11e229aff535dca75491e392641d78df9b60b SeqConcat SeqSeq TypeMismatch
81809aca408554a8456f87cc49e203ec5c03f00b SeqConcat SeqSeq TypeMismatch
937313496d651154ec07671ec2aca36c8c637954 SeqConcat NatSet TypeMismatch
dc99ed4f84f9fc8f60a9ce124f149186db6f0734 SeqConcat NatSet TypeMismatch
744492aed460a4d8e622b095de1d0dbd39550131 SeqConcat IntSet TypeMismatch
4e6c0eb0a13e9c68d98edbfd1ecff926a5659305 SeqConcat IntSet TypeMismatch
c42b981d6bbf0d6420058bca15a62e9557fd0865 SeqConcat StringSet TypeMismatch
ac5d8411f265480717a0b8ae374e71b6c4861178 SeqConcat StringSet TypeMismatch
9c6e7abb26fb1b283ccb2ec923766dbfd41b0c51 SeqConcat NumRange TypeMismatch
cde35ca06d5f9a336a2fc4fb632d72ef0dd0afc4 SeqConcat NumRange TypeMismatch
1e6bb6063da479dd4f977e7c82fb3f19da6a1a06 SeqConcat TlcSingletonFun TypeMismatch
df8a608bdb3b3f9c57a20fdc562753a5cd94b647 SeqConcat TlcSingletonFun TypeMismatch
76f69cb9f1ebeb000f76350c0a1ee27ae81e3226 SeqConcat TlcExtendFun TypeMismatch
1088a5c82753bac578412282bdf5bec972d22d2a SeqConcat TlcExtendFun TypeMismatch
2e034c7fbf06d83b032bbf7241402cc2548b432e SeqConcat TlcPermuteFun TypeMismatch
01251ec097f235409521a9f301ff35795b784962 SeqConcat TlcPermuteFun TypeMismatch
1e9487e854603adbf428715450e2d20347b11de3 SeqConcat BagBagToSet TypeMismatch
a73ade22a18f7c535776d7d0193e4cb3bcd86d7c SeqConcat BagBagToSet TypeMismatch
304874baa2eb6da8a002c91b0a9174e6400acbe5 SeqConcat BagSetToBag TypeMismatch
262c4800552e246723dceb83601db72c654b2ff9 SeqConcat BagSetToBag TypeMismatch
cc84687d514ae9b5133e1f7e940e07122f444ea3 SeqConcat BagBagIn TypeMismatch
eeb4bfd95b98c406d99ef3cf64cd67d1db529916 SeqConcat BagBagIn TypeMismatch
45ed13ed26c58b7ada212dbd91e3d71a310b657b SeqConcat BagEmptyBag TypeMismatch
2342ca5acb070f58d6d73bc31372ae546c2ada5f SeqConcat BagEmptyBag TypeMismatch
1513f334b5b83a26de64b88646cc313690c46573 SeqConcat BagAddBag TypeMismatch
81acf044cd6882e4afc4b986796aad1d06a8f5df SeqConcat BagAddBag TypeMismatch
178d658658e5462ddc30dfd60b0ca7d522d5c5b8 SeqConcat BagBagSub TypeMismatch
c452180941ea4f3e63c27d0bc42ddca3abbd9d96 SeqConcat BagBagSub TypeMismatch
5867d97660d4925aeb178a9aac84aa71b277b67c SeqConcat BagCopiesIn TypeMismatch
c4714874ae1e8ea3963d899fb7cfd214baf0d717 SeqConcat BagCopiesIn TypeMismatch
1a415219d9c4a059c6d3061d383eac79f3837f3a SeqConcat BagSubsetEqBag TypeMismatch
c208e604758bbbe3324fd3d889eaf11703afca0c SeqConcat BagSubsetEqBag TypeMismatch
29949df63f8853a57c6eab2a16b42409a9430bea SeqConcat BagBagUnion TypeMismatch
4b4223c48ad6d497c4127629b742038437f1dab7 SeqConcat BagBagUnion TypeMismatch
d1cdbc18422e39b13b18f99c754eabd61324d2fe SeqConcat BagBagCardinality TypeMismatch
985dfe7caa685d3a7793d8f7a0db0e7998074b17 SeqConcat BagBagCardinality TypeMismatch
d728229ac388c8921cab8e47cc40b3da570821fc SeqConcat BagBagOfAll TypeMismatch
3ad47325552b147b7a9341fa27a63e67d516237f SeqConcat BagBagOfAll TypeMismatch
9eca6c23bd1e1d2129cd42d80aa8d3ece8051d6c SeqConcat BagSubBag TypeMismatch
b7a765b67b458fb57c060eb320d74d7c55db1e19 SeqConcat BagSubBag TypeMismatch
49cb653984f130b757aa7ba65582c7faf117c5be SeqConcat FiniteSetsIsFiniteSet TypeMismatch
2c62d9f7c6313aa8566a70c99198aa62bcdf81cb SeqConcat FiniteSetsIsFiniteSet TypeMismatch
518b0fa64c6afb006b0b5d23a89bab5a2cc7f2e3 SeqConcat FiniteSetsCardinality TypeMismatch
8dacd5a42e991716950cf09a62388b25d324018f SeqConcat FiniteSetsCardinality TypeMismatch