Index

Skipped feature combinations by case feature SeqTail

Id Case Feature Plug Feature Skip Reason
d8e0dadfaabf8de5dcb0f9e14cbeb2445e91cfda SeqTail BoolTrue TypeMismatch
0d02a7ede45792e9e033882df1832824c0d279bb SeqTail BoolTrue TypeMismatch
c102f168f0a1694c8bef64f7b17614f2c0f773c9 SeqTail BoolFalse TypeMismatch
c7f6ced4010ff72b6f8eeebd7a80aabd59bee575 SeqTail BoolFalse TypeMismatch
bb283a9cbd0cc823abb76abefa975da4aee65bd3 SeqTail BoolSet TypeMismatch
68968eb093862338231d4358bca9f2d08d6019cb SeqTail BoolSet TypeMismatch
7b97a1faf1ad53fd184d6eae1994651f3c95f36f SeqTail And TypeMismatch
5924a584a2ab1feed09502b600a204176aff5f83 SeqTail And TypeMismatch
511810951a973ede5d58cb86ba5af858882ddfae SeqTail AndMultiLine TypeMismatch
4b3fea90fb795d58b4f17bec5ef3ee7fb27b88b9 SeqTail AndMultiLine TypeMismatch
ec731d5d86df5f93ee174080592c21e1232f12c9 SeqTail Imply TypeMismatch
d536dea1b3162947b904926ee778776662247c71 SeqTail Imply TypeMismatch
b920aae1c495c17d7591e9b31169ea77c7ea633f SeqTail Not TypeMismatch
5fa4b9100c8e8463a79ba5450278342eeed1e41e SeqTail Not TypeMismatch
9220324b35c268d9288a855774482355d69f591e SeqTail Or TypeMismatch
fb7d9c3562ce0eabd449863cb8d75a6be96d08be SeqTail Or TypeMismatch
844c63d792d672ed75b1f27ffb224bb7859d25c0 SeqTail OrMultiLine TypeMismatch
503bfa2887355f8293b4d73ad05bcf9618105e7b SeqTail OrMultiLine TypeMismatch
b69b6c06739a4b96ed301f408f583cf8b9a298c7 SeqTail AndProp KindMismatch
2ec9ff7d3f46a4d954dfeb98b24cc9e8d00a99eb SeqTail AndProp KindMismatch
4ba90e1d4b756a12b0389fda890f35c8a563c5e3 SeqTail Boxed KindMismatch
1cd3dc86259367b6ec47c43b1017e019cdf9c53a SeqTail Boxed KindMismatch
8d73be5af18d4abf4a3bfbeb346c71763a84df59 SeqTail Eq TypeMismatch
fabc03d0df37efd8ce1ffc355000846faa7423cf SeqTail Eq TypeMismatch
3bb9ad2275dfd7d3c2afee5d6a557f85a2477e68 SeqTail Ne TypeMismatch
bb59d683cacabfcd61e2ae70f69f5bb07daf6203 SeqTail Ne TypeMismatch
af34323e2e7551b1a03f8682efaed63f5e60e32c SeqTail SetEmpty TypeMismatch
4647e0e2c2a388dcbd0a49c28c76b5ec333d9367 SeqTail SetEmpty TypeMismatch
4d94835511afad2a4cb9d79d8709bf31f24337aa SeqTail Set0 TypeMismatch
0891a73097651518328884e55f4dbfb300924217 SeqTail Set0 TypeMismatch
67e0a7bea6ce4584b1cbe10aba7f7f4e30bddea3 SeqTail Set1 TypeMismatch
ebd1bae2ae1a873425a9500d46171ee0f769cdd3 SeqTail Set1 TypeMismatch
e2f661f6429c209a6f094ea0418f09ffb1a2cfa2 SeqTail Set2 TypeMismatch
8fda6fd25e11ca24ba535e7310cb34413e63e121 SeqTail Set2 TypeMismatch
6aed44162434f4de8a77d278526193e2f8bd4b89 SeqTail Set1InDef AlreadyCombined
69068febf9395ac6bb6b5a41bf6695b764b4874c SeqTail Set1InDef AlreadyCombined
3db33c201223f66ba4748e9ce8303fe348b49d76 SeqTail Set2InDef AlreadyCombined
b653306fa4bf866bfe46db709539391d7b36f3dd SeqTail Set2InDef AlreadyCombined
9e4441806f2c006bc850f5330bfcbec03fe0b5ab SeqTail InDef0 TypeMismatch
c8692dcdd2a71ac4f4ef66d02e6f585051b11336 SeqTail InDef0 TypeMismatch
3aa70a4b90a5a0ef05f4f9b9e702959abeba12f8 SeqTail InDef1 TypeMismatch
8067a1971a3d8c0fa964b1d96d24d7225d26876f SeqTail InDef1 TypeMismatch
1ddae652ea86c6b32e373e65dee4d15c4cc70c44 SeqTail InDef2 TypeMismatch
6815e4e6f50e485ae0a97d5111efd002117b53fd SeqTail InDef2 TypeMismatch
ceeb147ca649cc7c6392dcfacc4bdd6aa9e55dfd SeqTail Fun TypeMismatch
e84564e2834d9b78e0b74719370c9acfde711c9b SeqTail Fun TypeMismatch
d3d0d2dee0d6fe3cca590580fd37a4e16f9ffe63 SeqTail FunInDef AlreadyCombined
3c34040acccaae9235faba857cdc8b43e473bfe6 SeqTail FunInDef AlreadyCombined
1458b589e85fa041b12969736fbce6a92d0998b1 SeqTail In TypeMismatch
bea1c453e7916be2aa60865fd8bbc88c0010c542 SeqTail In TypeMismatch
d27f079358e84be1a9d333cc2d8ff88f64e28809 SeqTail NotIn TypeMismatch
05721109712196fba74e9acee1608b1cbca19f13 SeqTail NotIn TypeMismatch
d23242e297b48989f6e0ff509bde8ec9f015f1bd SeqTail Exists TypeMismatch
a45ae909525d085c9b049d431f52eeaa841b5140 SeqTail Exists TypeMismatch
b7a85dfb5e32a789bc347402ea43dc75efeb373f SeqTail Forall TypeMismatch
25575acef5cfb93a719e216a520c7ea05f7a7482 SeqTail Forall TypeMismatch
1dd4b21435b96792efbc318337febdac74c8a9df SeqTail ExistsInDef AlreadyCombined
b98e9140b71ee902cd8446f769f0fb931958f9f2 SeqTail ExistsInDef AlreadyCombined
1a0e2003d33aa22f82d075c9ea834bee24f28b1c SeqTail ForallInDef AlreadyCombined
530ddd0b9cb2680fbab31c0d2f373b40432af89a SeqTail ForallInDef AlreadyCombined
8bc27634778efce283c0141b141a045eefb78707 SeqTail ChooseInDef AlreadyCombined
fd95894ca1f8e37b7c16b3b264e746788614310f SeqTail ChooseInDef AlreadyCombined
a1755ac2bfc818fbeb7a08c213b80f5a5f33482b SeqTail Record TypeMismatch
5bcd362c84f3c8330f0d7571e3c41c3e2cbb233e SeqTail Record TypeMismatch
a75d0d161c50e7cfc9097a0775bccc502ac8509a SeqTail Except0 CanNotBePlug
6264db27ec65d1c36168c0c83679f464a1ec80dc SeqTail Except0 CanNotBePlug
f4a9d6f62c12223215898c7863f5c6bb83375846 SeqTail Except1Fun CanNotBePlug
ce32337a8e9d61221efbbd67c4b1b52c1e20f908 SeqTail Except1Fun CanNotBePlug
f80007ffae16cb7451cc5e4d5f6e71aafc4e6c56 SeqTail Except1FunWithAt CanNotBePlug
c8aaf096a5fccdeb311e9e905304ffda46283c68 SeqTail Except1FunWithAt CanNotBePlug
78bf74d983be990a45ac4fe50918547e90e965d0 SeqTail Except1Rec CanNotBePlug
65b178a4dbb0a14e7024d824711280a721641913 SeqTail Except1Rec CanNotBePlug
321ca7e81e6d4396ff0435ce70c75f917ec1917f SeqTail Except1RecWithAt CanNotBePlug
eb31cc6b80fc9adfef710b9980d03b02a7233aa0 SeqTail Except1RecWithAt CanNotBePlug
eb824e8873d5650134292f9adc72e6e29036023b SeqTail Except2Fun CanNotBePlug
ca5fc32695b49f4eae29e9468f012fec5f4060b0 SeqTail Except2Fun CanNotBePlug
f16caca8ff238d41b9df9c9c496d789b9dafed23 SeqTail Except2FunTuple CanNotBePlug
3267c52c0c89256e17718605119cf627885a8854 SeqTail Except2FunTuple CanNotBePlug
e0f8d40bcdc953f377e8aa53e168d7bf7c79a6c6 SeqTail NumZero TypeMismatch
ceb4e967a0bc77c8a62f4fc56e062dce7ec3808c SeqTail NumZero TypeMismatch
b501615c608aaa034a0c0e73e441b1c55a4e2111 SeqTail NumOne TypeMismatch
e104c62667d26fbdd63197fcda845ee9c2110e6a SeqTail NumOne TypeMismatch
8969ff08f64b8dda6db055cff62ce2b6afe91566 SeqTail NumMaxInt TypeMismatch
af7a3a35974bd3ac6ef3a9a9177b2cdf11c51eae SeqTail NumMaxInt TypeMismatch
d78584997e32fb8cb273395cbb0b713ee20a8bb0 SeqTail NumUnaryMinus TypeMismatch
c0cf2dca15a8a5edbfba8e71142e490bb8b9cddc SeqTail NumUnaryMinus TypeMismatch
085046b675fe800681fe18940084c5f738a4cb0e SeqTail NumPlus TypeMismatch
d677ce5b9f245a888b5b110c2b71a7cbd98eea83 SeqTail NumPlus TypeMismatch
a3f295c6f24617f6c0854c068a9df73013c5fb1a SeqTail NumMinus TypeMismatch
1e44e2bd7126271065b57dd7b863f99715b0f144 SeqTail NumMinus TypeMismatch
7e4f07eb3cdded567988084b391785f108265920 SeqTail NumMul TypeMismatch
577dfb7e90bc0cc5fe6df140f13bf6d19e8c971e SeqTail NumMul TypeMismatch
784a82fe40ec62232f823e1f755be0ff10bdd69a SeqTail NumDiv TypeMismatch
6a51b4fc4e00e9d0adf769ea58cce8eb19c82a20 SeqTail NumDiv TypeMismatch
9e3822f8ceeb7370ad8dbf2986be0a052f1ec26c SeqTail NumMod TypeMismatch
1d2f9cf47fa123de52e6da9b08a1d81d871acd58 SeqTail NumMod TypeMismatch
703d650673306c5cb8cee686c9f04e91c9c2eff7 SeqTail NumPow TypeMismatch
015ad9cb418373085f8d40ebe277b4090cdc90aa SeqTail NumPow TypeMismatch
28e1c3b8d8296f10e4cefeb71b5703c66db552e8 SeqTail NumGt TypeMismatch
c67195c2552b19fbc0836d19a8445b786bcac02d SeqTail NumGt TypeMismatch
32b117847c5379efce80092bcf694992ca05bf87 SeqTail NumGe TypeMismatch
2a9e2c2b71ab675ffdd6cc78717af5a32a1de26c SeqTail NumGe TypeMismatch
d7096fcf86a03d0ad73737516a91949a34e56e8b SeqTail NumLt TypeMismatch
f004ba0ff5bf2643744bd522633385710d03da70 SeqTail NumLt TypeMismatch
0c5e700a931a33cca58035bef3663808c9b37773 SeqTail NumLe TypeMismatch
61c690537b907583630660f5223363714dd27734 SeqTail NumLe TypeMismatch
4131810529539ec1894185098424a63d1f9c18d1 SeqTail DefFun TypeMismatch
b5572f04445ad19799a40a4b8723dd5f9e081daf SeqTail DefFun TypeMismatch
a3698423ca05f7135fcc9e803ddbad08308587b7 SeqTail LetDefFun TypeMismatch
3124819d3f02352e433643131486d6e7e00a102c SeqTail LetDefFun TypeMismatch
fb553e01068d602536931d2c6953186b658459b6 SeqTail DefFunRecursive TypeMismatch
686f492186f7f2652696f957d7f5d52a8cdb5d04 SeqTail DefFunRecursive TypeMismatch
59e733bb7c9e135f7ee9c2321fde7a4c943f999c SeqTail LetDefFunRecursive TypeMismatch
d8ba97f6f43b7798bcfc301fd2bfcfe5de2200f8 SeqTail LetDefFunRecursive TypeMismatch
e1453057e563874bd91fb49289a084575ff06c7d SeqTail DefFunInDef AlreadyCombined
85d4ab6364cfaf5e1a7cd1613df339899ac93e35 SeqTail DefFunInDef AlreadyCombined
4bb0f8290e3be70a0469fa3858335a8b57eb27ab SeqTail LetDefFunInDef AlreadyCombined
f5830ce2f7c5a610f4b0ed98f60d58b53fac41e9 SeqTail LetDefFunInDef AlreadyCombined
9c70ee6640b4c46edd47606dd27ddeadac6c57e7 SeqTail VariableViewExclude VariableExcludedFromView
91db1643118141c0922be78684bc991bc87aa7c7 SeqTail VariableViewExclude VariableExcludedFromView
8242e89b28887ca0be573523dde2d8a8f397ba61 SeqTail ConstantModelValue ModelValueCanNotBeUsed
fea24e3ec82095bc9e05cd732982bd9b43290714 SeqTail ConstantModelValue ModelValueCanNotBeUsed
07eaa02644b9d7059b0038346f9388ce6d232ded SeqTail Enabled TypeMismatch
34197bfaaf352fb34f6542512327c738770f0dc8 SeqTail Enabled TypeMismatch
801508efc7a47a417ce706d32b2fa42cf8d282af SeqTail Assume AssumeIsNotEmbeddable
aabefeffd3dbf10dd45a8b5611a73992ac3e366b SeqTail Assume AssumeIsNotEmbeddable
ab34f0288d755c910c66b20e61bd49f65ba0a748 SeqTail AssumeNamed AssumeIsNotEmbeddable
a1aa267f047e21ac0045a879ba5ba8888da321fc SeqTail AssumeNamed AssumeIsNotEmbeddable
2207fbe27ed2145cc8583a942fbb40a1463a23b8 SeqTail Lambda TypeMismatch
bfc485c954ea2250ca8ac663c7e9151880114c4d SeqTail Lambda TypeMismatch
ba12e523c7ec5a5fdda87bb7a9d0ff5981431e7d SeqTail Cross2 TypeMismatch
a1250c27ebd81088948abff03803efff15b855b9 SeqTail Cross2 TypeMismatch
042ace7c9f950c86670cc42c2240f39b5b5b515a SeqTail Cross3 TypeMismatch
d78d7ceb072752eedd8a566e8fa9cfcca27eaf94 SeqTail Cross3 TypeMismatch
5a10ad8cb6c0fee8aef083fc9c41f537ba3e7fb7 SeqTail FunSet TypeMismatch
47b530c4bd24e5032a32bc765304ed573fa7a689 SeqTail FunSet TypeMismatch
f77bf77a966f746709586e11766f6c4b56d89777 SeqTail RecordSet TypeMismatch
2d8d6830eb5296f4730e66f3830bcf993fac0d02 SeqTail RecordSet TypeMismatch
d5380a21626f2a01bf2fef83277c466ab70609df SeqTail SetDiff TypeMismatch
eb717b494a8ab946e1c96cabd09063a4e845dc85 SeqTail SetDiff TypeMismatch
e1e75cebfc0e3c869b9321541292177f364bb648 SeqTail SetUnion TypeMismatch
ca8cefa4d49036ff3a5418723ff4395fc968c4c4 SeqTail SetUnion TypeMismatch
69ce0a61c802455faf8a76e71ecd355360b5d642 SeqTail SetIntersect TypeMismatch
759438651079d943a702d0bfbe869352a6df5475 SeqTail SetIntersect TypeMismatch
2ab53fc87df8d70aaba71fa48f0b2d3f05db572d SeqTail SubsetEq TypeMismatch
c65abaee8ab3a05fd5fd0d7605842d7ec99f20d0 SeqTail SubsetEq TypeMismatch
b56980608e0d532a1689bf0e7ca206b2142d5b0c SeqTail Subset TypeMismatch
34ca97413f5824ee0c60630ff6f30879b22f725f SeqTail Subset TypeMismatch
bfc550342f2393440e05b6f5975df2212abb7b41 SeqTail Domain TypeMismatch
05d51a9058632fc09950edfa5b53ab2f1427935c SeqTail Domain TypeMismatch
61029763515acdb5a430ed7fe12cf22d3b6b94c1 SeqTail Union TypeMismatch
c948271b3b81a7ec407ca734be79c6cc54560d1c SeqTail Union TypeMismatch
4ac20b99df3eadfea28d33e2dc012d011a8f8081 SeqTail Unchanged TypeMismatch
a52f37bfb07d31e7394c91f321a62c5967bd442d SeqTail Unchanged TypeMismatch
7a86e47a536d83e4532a5cee40b38c088c2ca375 SeqTail Equivalence TypeMismatch
3cf0b9f002a9934d62efca51b3dc605f8a1ffe04 SeqTail Equivalence TypeMismatch
1b2b90a56b76be210e66b1d5a3261f30e0cf1b89 SeqTail StringEmpty TypeMismatch
9a891ebbf19dbc84528cda971dccf12a46fe3084 SeqTail StringEmpty TypeMismatch
1e14c0e9f37921308dedec67bd9415753947a4cf SeqTail String TypeMismatch
ea0e81f10acdfcf6c88242753b97e11c88a91938 SeqTail String TypeMismatch
2c1a9f5db838d622dd5e03e3d029da27ef13fdde SeqTail SeqLen TypeMismatch
c0ff11ce9bf878617d5dd25e439a190925774165 SeqTail SeqLen TypeMismatch
ad1ef6be4ca73755aff7a76e6795069f327f784f SeqTail SeqSeq TypeMismatch
917b0703810df55005eb3f6fbee5e2eb74cb678a SeqTail SeqSeq TypeMismatch
6ef61e435af3ee45c0a785a67038b6ab8a1e69e6 SeqTail NatSet TypeMismatch
1e9bc8abd052b898aed652098984306ea3ef4e9a SeqTail NatSet TypeMismatch
4051963be03ec39964e312b45598445b09989736 SeqTail IntSet TypeMismatch
f8d831fe2d85484acee9717c6db04faeef27f0de SeqTail IntSet TypeMismatch
e19a6ab669bf380d487d2655c4f01b3f0e141520 SeqTail StringSet TypeMismatch
c7d3d0c270580d5a420c6adaa2d649d71c926b80 SeqTail StringSet TypeMismatch
4a8db6a420eebc727e0ba232fed054fcc89aa8d3 SeqTail NumRange TypeMismatch
808914551dca29aae26f9c4501d692fba4613e5c SeqTail NumRange TypeMismatch
ce8b2db1261fef4e2d4cca45d52df10a0a40c4b6 SeqTail TlcSingletonFun TypeMismatch
f063cd8e8c9ce61b2e4fcbd03bc07c0c4b524e25 SeqTail TlcSingletonFun TypeMismatch
ee509a803068d23cd0da77bca475b03aafc388a2 SeqTail TlcExtendFun TypeMismatch
35cbd9a54b5267d96c8a9e82d44cf27ea5df0ed7 SeqTail TlcExtendFun TypeMismatch
176a9b2fbb902f7d0f9bb6fc0d2605ae6b3c1f68 SeqTail TlcPermuteFun TypeMismatch
e9b8b6b0a962bd098d4981391671e023cbf2df8f SeqTail TlcPermuteFun TypeMismatch
0789acbdede9df1faa39cac97c50495728542bc8 SeqTail BagBagToSet TypeMismatch
b46e98b51dddbd66ec0dd61c1b0fad81a87d9541 SeqTail BagBagToSet TypeMismatch
3550138073d4a4b08b5727ed05a45a219e39b85c SeqTail BagSetToBag TypeMismatch
9187fdf190b505651f9ae8c517394dd815e56d96 SeqTail BagSetToBag TypeMismatch
0d66fceecf13fcbd89100394bff02b800d2c2b5c SeqTail BagBagIn TypeMismatch
0c78b28b452b0c0d043872c732f1067732e1a296 SeqTail BagBagIn TypeMismatch
f1cf92c7fbddbadb91dce82379464e1bcb0db3bf SeqTail BagEmptyBag TypeMismatch
85e7ffbbf2c42ec92afdc9a3314cf1fffe21b8a7 SeqTail BagEmptyBag TypeMismatch
4215b2e0eb20509d9759f49485eb260546fcaa37 SeqTail BagAddBag TypeMismatch
5f1484a088485bea0ea66963b06440fa8d9a3bc5 SeqTail BagAddBag TypeMismatch
a2d8c1c6eeea129e2a55727249f3481caafef3a1 SeqTail BagBagSub TypeMismatch
004014e72623f8874fff632f8b65948ecaa906fb SeqTail BagBagSub TypeMismatch
d6349d467640c823e0612243031027e77b694f05 SeqTail BagCopiesIn TypeMismatch
5133febfe03785250be4d46aeb2ecf4347704986 SeqTail BagCopiesIn TypeMismatch
76cf29ac7b83a0cf5b3dc1834b30e8c8c2bfdff4 SeqTail BagSubsetEqBag TypeMismatch
f3165a86d596f35a8e70f2a60941355572724d8a SeqTail BagSubsetEqBag TypeMismatch
ee41e92831ec99e8e6085beb501eeb8ff6ad1fd4 SeqTail BagBagUnion TypeMismatch
26c47433ec6381499f634d65034b9af2f5ad67a8 SeqTail BagBagUnion TypeMismatch
e43c6193bbddce9245c7256a5f5a54c282140d26 SeqTail BagBagCardinality TypeMismatch
d196d269132f0dcddc4ac67efff156fb4b761953 SeqTail BagBagCardinality TypeMismatch
fecc8d1892cefb6f4f0eb3d041dbb0f0a6c8c47c SeqTail BagBagOfAll TypeMismatch
8a053add0ac16a8878e780232d9a332d58d1a62b SeqTail BagBagOfAll TypeMismatch
26a6968126f333fbc6a0f043ccfc115fba2dbe8e SeqTail BagSubBag TypeMismatch
7192f870ffa9cb90212266d99429f46d4448dd01 SeqTail BagSubBag TypeMismatch
f5768b6a49421411c60472692f6f25cd16d42e12 SeqTail FiniteSetsIsFiniteSet TypeMismatch
d633fbc1b927fde98b28f5ec7290f9775f90f14f SeqTail FiniteSetsIsFiniteSet TypeMismatch
3dcbfdd91180943f3a1c97d7a6e37daa610ca8ca SeqTail FiniteSetsCardinality TypeMismatch
d9b3a1c95015cc1b97b70765068689a45275778d SeqTail FiniteSetsCardinality TypeMismatch