Index

Skipped feature combinations by plug feature NumPlus

Id Case Feature Plug Feature Skip Reason
0b90094b443a9dc1d14b1c722f35890f61cc8e80 OneLineComment NumPlus CanNotBeCase
17b396d58e0ab56c552242972a67573930f4446d OneLineComment NumPlus CanNotBeCase
265d0964aae123aa65e0752d570de1596d02625d MultiLineComment NumPlus CanNotBeCase
5172e7247868fb4c35ef8f8b9f4fb1d38c652bc6 MultiLineComment NumPlus CanNotBeCase
1cde20c4036570c86a1b5ba83c06f1e127cd4fbb BoolTrue NumPlus TypeMismatch
fc73e2f5959bec03a71a5623eaf3900f13400dcd BoolTrue NumPlus TypeMismatch
7cea0150eaa2622c730ab9a0ec457abdf7315436 BoolFalse NumPlus TypeMismatch
dcd961df2b6baee90234529339819b157d9320e4 BoolFalse NumPlus TypeMismatch
7bec7aba3fb7f2bf770e72053bca45aaa7240be2 BoolSet NumPlus CanNotBeCase
8f20f0bee0b7705636ad9ee8f3184ea75900c231 BoolSet NumPlus CanNotBeCase
a1ba9dd9dedaa4fbb5002b641f0cb7a111ac23d3 And NumPlus TypeMismatch
424783c95684060e4a8749159991c0db343a712b And NumPlus TypeMismatch
a4e2d3d8df7720c73db262a4d84c103876fae7a9 AndMultiLine NumPlus TypeMismatch
ff389b6d87ee870cea12dd4f61f3fa22d023d08b AndMultiLine NumPlus TypeMismatch
bf195024885d5f660dbd305e2e7de589d6091bca Imply NumPlus TypeMismatch
c0c13c6c150252a19c95567b057b9ba05b88aa71 Imply NumPlus TypeMismatch
9fdd6b8540138824ba846f425ffb8d778f218acc Not NumPlus TypeMismatch
8e18923924d5e44239862a3e36ab0b4e69413103 Not NumPlus TypeMismatch
c5a58b2cac4af664fac839cea42cc0277c21c5f0 Or NumPlus TypeMismatch
7544148c3454699953e4c69b1779e7d93bb43979 Or NumPlus TypeMismatch
9fd6c52e44fd728fb0b1de49cce03b7a626210b2 OrMultiLine NumPlus TypeMismatch
8113cad05f301beaeb7e4407fbd96f51aba82a71 OrMultiLine NumPlus TypeMismatch
5b28f30c7dc8f5bcc0a3c839f1c9b07f896a06d2 AndProp NumPlus TypeMismatch
8d9217c65e76bb558644391ebbb6196935bc6f63 AndProp NumPlus TypeMismatch
244a781172033bb5edf80ab8fd161652d7c1b070 Boxed NumPlus TypeMismatch
c32ffe2d1d7fd7de03f5daabd6d8fd22ec3489f3 Boxed NumPlus TypeMismatch
d7cc9df15ff9d84bac18591aa2843682d6ff852a SetEmpty NumPlus CanNotBeCase
1c33e2343d1e8917de59c464520381c0a1c95159 SetEmpty NumPlus CanNotBeCase
279a82a217d17e3a6bd73ea6870cf6fee42caf02 Set1InDef NumPlus TypeMismatch
70123f4e851afd5f13ee5abbe8e9d7f7ae57561a Set1InDef NumPlus TypeMismatch
69b852755c2a22ab7cc62a00654d4ed63f2bba77 Set2InDef NumPlus TypeMismatch
5f5a2cd49ed4dd48e296a67cd33cc6b20c644d1b Set2InDef NumPlus TypeMismatch
250ab5407c3246b4e652987830956afd0d155ce1 InDef0 NumPlus CanNotBeCase
fd7aca90abbf68a4fdd3177d8f04d4d73dfa98b9 InDef0 NumPlus CanNotBeCase
c9036a86e2b2fc127a9049c5fc236d369400fce2 InDef1 NumPlus CanNotBeCase
8094c9a2d07810e3ff6303cbd04f6a573f65422a InDef1 NumPlus CanNotBeCase
74dd8e297a18639c28ebaf993f1d403792fbf991 InDef2 NumPlus CanNotBeCase
c6a2c94bedf50e970cf1e7d1a650e7913efeb569 InDef2 NumPlus CanNotBeCase
aacecf4ec2b2c4e10ab61210778cd937b6dc70cf FunInDef NumPlus TypeMismatch
a3fb0f8e74a7c02ba4de6d42cfe11fafedb1e198 FunInDef NumPlus TypeMismatch
7e0fe80ec0cb13ad2c7729667e872d4b45a90f6e Exists NumPlus TypeMismatch
6c145308ab33fec5ffef8d1b4e7e0a3240985209 Exists NumPlus TypeMismatch
8b807c1784ff9b7bbd7644fd0bd51bb7d144a789 Forall NumPlus TypeMismatch
44e96dd5eb0cf6852c1ee6da0e3612b3aff66b3f Forall NumPlus TypeMismatch
1301adfdab8edfc247196f66796485b4c7b1f87c ExistsInDef NumPlus TypeMismatch
4e9b03ccdaf6dd6d18fceb8b1570d36742dea693 ExistsInDef NumPlus TypeMismatch
f10172e49c13ea5e237f8678bb348fe77928dfc1 ForallInDef NumPlus TypeMismatch
78311849476e97e15d9f322b4ed918fd6d2c6c8d ForallInDef NumPlus TypeMismatch
2bf67ed6a64f710f00867519ccec9fd9711f090b Choose NumPlus TypeMismatch
8976fb2bd4235ccb090d40cf987a8027dd819ff3 Choose NumPlus TypeMismatch
bedbcc13c289fdb3797af97af0f72e101225a670 ChooseInDef NumPlus TypeMismatch
da5bce307a1c86fb1578ddb0e6425a44df0bc967 ChooseInDef NumPlus TypeMismatch
d45465bb2abe75946cd30f6d248cb333ae145f0f TupleEmpty NumPlus CanNotBeCase
3cd4fc7e65e7e21d3317213bb5c92b1ff477ed00 TupleEmpty NumPlus CanNotBeCase
4b3833816a404ec14b71b91b1be8c92929cada5a Except0 NumPlus TypeMismatch
cdd52579420976a965822ce91a7cb6d92e666462 Except0 NumPlus TypeMismatch
f9ade995bd1ed33d5302b4a023f18e633a647a23 Except2FunTuple NumPlus TypeMismatch
0483d224463493cfb765c73a4bca43eb19ce7717 Except2FunTuple NumPlus TypeMismatch
60631d64aadbe834b9b58cfe800fa0a2681cc740 NumZero NumPlus CanNotBeCase
661be68553f6f8f45dd1f4d5b1b513c1460b53a4 NumZero NumPlus CanNotBeCase
5a3893645424646b7ef573f089b7ad98ed64d795 NumOne NumPlus CanNotBeCase
2d1403c5d4e98dafde91fc109c6048488fc62647 NumOne NumPlus CanNotBeCase
a4a4b1ae927fea3763c93fc9d19bfbcbc0238f2a NumMaxInt NumPlus CanNotBeCase
3a4cdbc5de6d59416a6f0dcb4ed8513c88fdae47 NumMaxInt NumPlus CanNotBeCase
f4bab759e52a9103f0467b1238dd66e482f1963c DefFunInDef NumPlus TypeMismatch
19306de5c706abc43b843faa9f17a4d667fa2a13 DefFunInDef NumPlus TypeMismatch
581fae2ac7716c618696f0a49fddafc29ab6e3bd LetDefFunInDef NumPlus TypeMismatch
24a719331f7e38276870afe02c3bf0137c6ba36d LetDefFunInDef NumPlus TypeMismatch
e94a9d10f5f4559bcf6494e91ef5130f063a6816 ConstantModelValue NumPlus CanNotBeCase
a45613657222e85e6290b87bdb7caa2c09564cc1 ConstantModelValue NumPlus CanNotBeCase
5981dd244401734c9ca667e953746556f7a45ce2 Enabled NumPlus TypeMismatch
b1c81fbae1260a68edc35fc6f81f7ad28908df4a Enabled NumPlus TypeMismatch
13199731cf478d65dfa899344e87624fed328845 Assume NumPlus TypeMismatch
8f6c573e020efe8b7360a9991522332b72962b62 Assume NumPlus TypeMismatch
17b5060b8ba03475f9a4a48eb80025841c70a7d9 AssumeNamed NumPlus TypeMismatch
88794c5ddbbd6625a98e2b1673e72628cc992b80 AssumeNamed NumPlus TypeMismatch
fce4ef1d9be47cd0304bf72d00e07b4fda23ab5b Cross2 NumPlus TypeMismatch
d8bd6c263e55b09da0761ee8bc19c1adda7672e0 Cross2 NumPlus TypeMismatch
205413dcde7b3538da8a589c790717869f6933ad Cross3 NumPlus TypeMismatch
f29ff47a733d9f2acf583c577e69981aa765d11c Cross3 NumPlus TypeMismatch
64d7e6bc90bd8ff91708ceeffc64780ea44f33eb FunSet NumPlus TypeMismatch
a3728edbc04ac13ab8aad31c08bb2f1f44035a39 FunSet NumPlus TypeMismatch
5ec91da7d4abaaec72146f9e19ada049f4d64fb4 RecordSet NumPlus TypeMismatch
45621162e829a5e0521b36d2344b1c1eed9f5b47 RecordSet NumPlus TypeMismatch
f939c5f90a781a30914ee7072a3f01d838866cb4 SetDiff NumPlus TypeMismatch
0f0f9e77f0fdcb6a8809412f3a27bd37344bc781 SetDiff NumPlus TypeMismatch
d7db47a07e1277a7d0fdd8f5dc9f7dfe0fdb7c64 SetUnion NumPlus TypeMismatch
4a1f7994db776a4e83be39035dcb3d5207fed5c5 SetUnion NumPlus TypeMismatch
cdd6c884848dd0e3dff07f54d150ad83b67f999b SetIntersect NumPlus TypeMismatch
7da6b649899f9fa5a8bb0bb0c452bf289ec22c0c SetIntersect NumPlus TypeMismatch
4b2298297a78fbbd482f8930756fd8bda75bdea8 SubsetEq NumPlus TypeMismatch
2456a180d8dbb1120e9fbc8203a1c4d2c4624497 SubsetEq NumPlus TypeMismatch
83dc3e1f7a90f485e3454b81ecafaea771bef4a8 IfCond NumPlus TypeMismatch
84a97466cd7afbfbc1f0f881203b808cd43cc568 IfCond NumPlus TypeMismatch
c5ec84c2d9e5db9e9872cde88453eb3302de3e3d Subset NumPlus TypeMismatch
86be488a5cfe0296901087222606047323e4546a Subset NumPlus TypeMismatch
38d08c0f33926203861fe45f8f42489c960fabf3 Domain NumPlus TypeMismatch
c8c43b71c2231c2acc46a57ccde68ab53604e551 Domain NumPlus TypeMismatch
93256a625ef5d54a274db92692892c9c20b4afbf Union NumPlus TypeMismatch
5c32ca6a11bc64e3e32b652611e11d0a48e005c0 Union NumPlus TypeMismatch
cbfcf3d16442693fec713c5ebd0f159c0db6faa1 Equivalence NumPlus TypeMismatch
ada06b94cc3dcc5784481aeb1dc1147af33e3f7c Equivalence NumPlus TypeMismatch
b6aa0d9cb68ff6acac1e8c57678a23408c1a4f33 StringEmpty NumPlus TypeMismatch
659f04c1bf6f573bec4a0c999ce83d85dbad5726 StringEmpty NumPlus TypeMismatch
4df9ce6e57b0067469f05a7a97df0822b3e2fd85 String NumPlus TypeMismatch
5253a3a72f9e3b14b21403ce72bb46ba24fefb57 String NumPlus TypeMismatch
971b1d3a70b2347a825d8ed068905f843f1a7c51 SeqLen NumPlus TypeMismatch
c3bc75e8c5c0b76619b7967a99c02fff38995c23 SeqLen NumPlus TypeMismatch
d4ab8e5ab02cb70e846e73bc848ea415b3299ad7 SeqConcat NumPlus TypeMismatch
697b22f7d726a9e1726d2d1b5772331e50c0db62 SeqConcat NumPlus TypeMismatch
c6a75f1cd8c19746ef57cdd22aab45b85de4106d SeqSeq NumPlus TypeMismatch
1396b01aacdc48600905b864971bd957f32342f4 SeqSeq NumPlus TypeMismatch
ec0933337ba2577cedf61df93dd4f33592a3b2dc NatSet NumPlus CanNotBeCase
25e20f50a32baa529862709490ba6329a83fb68e NatSet NumPlus CanNotBeCase
cce1e6a77790ecbba87d1b53517aa77fe0bb87c5 IntSet NumPlus CanNotBeCase
af8ce22e42208e04df4119d17c59e98c88305aac IntSet NumPlus CanNotBeCase
f5f62ecd4950be5af06739ed137da3263a0c2f65 StringSet NumPlus CanNotBeCase
02ece252e570fd08daba7971f0731aaacfaeef7c StringSet NumPlus CanNotBeCase
410d0dd50c88e6b7282b7f4cb0be75c3d4cdc7d7 SeqSelectSeq NumPlus TypeMismatch
e788ed531fa726cc0928d96fdd922727fa21e0a3 SeqSelectSeq NumPlus TypeMismatch
1a68ebe8a040da7703da2f9f689d25b8061dd167 TlcExtendFun NumPlus TypeMismatch
153a35bf27d747c9bb5bb35bde7a5bd387f8f12c TlcExtendFun NumPlus TypeMismatch
bf2aba7f26537cf5d0d3a12e08ea75be4d5a3bed TlcPermuteFun NumPlus TypeMismatch
f6a1c9717b5023dbec535bfdb4956101bc51f40b TlcPermuteFun NumPlus TypeMismatch
e05a43d2ee64b2e23e8d1ed99f0e0298e85b03e8 TlcSortSeq NumPlus TypeMismatch
e613653902b844552fe01ef61c0f0e1756234517 TlcSortSeq NumPlus TypeMismatch
e10a813a04c18d4bec9e341862dab5b536ec999e BagBagToSet NumPlus TypeMismatch
671472b3dfb70e4b53a607f94f8fd0bfaa703c4b BagBagToSet NumPlus TypeMismatch
3a5444e4abece6a204adbc59843efaf3d7ed9326 BagSetToBag NumPlus TypeMismatch
2ba356bb06e89d91dbc9e3165912d8adbcb17873 BagSetToBag NumPlus TypeMismatch
9c3c174e56c71f243effdb9c0626607742dfba41 BagEmptyBag NumPlus CanNotBeCase
eec7336b8a713a7108e3b133a460dd43699f31fc BagEmptyBag NumPlus CanNotBeCase
d9095f033a374b50bfaf52f46718af7e4a26bdea BagAddBag NumPlus TypeMismatch
b3de422379b7ca313e9f1259d87312bee8390d44 BagAddBag NumPlus TypeMismatch
bb112b71339c5a06154aaad3e4dec598aac949a1 BagBagSub NumPlus TypeMismatch
fabcb7c34861ab0599335f03a37b40ac9f917467 BagBagSub NumPlus TypeMismatch
07aa1602cb227a85187bbbfb2f670804f6d7ad53 BagSubsetEqBag NumPlus TypeMismatch
c21d0a6128422511a656a73c679e4916e8b68f96 BagSubsetEqBag NumPlus TypeMismatch
30eb1f5b5a59f3dca76fee848fb6f60d9dd72ead BagBagUnion NumPlus TypeMismatch
4fd8cfdcab8fbce476a604b344af7df648dc80f9 BagBagUnion NumPlus TypeMismatch
3e2c3fce488aab55f2aa875049eade0e1950137d BagBagCardinality NumPlus TypeMismatch
4d16f82c48e6700dff8501af7fbefe92d102dad7 BagBagCardinality NumPlus TypeMismatch
73b67edba2692a272c0f94bfc695d47f5f5d59fa BagBagOfAll NumPlus TypeMismatch
a454d155b8dd4c55a81126c9a58aaf0a20ab0826 BagBagOfAll NumPlus TypeMismatch
597b6b278b6094121ec37a3cc4088f250f00eb8c BagSubBag NumPlus TypeMismatch
29c380551e873925ff024cf7278139f5a8e47551 BagSubBag NumPlus TypeMismatch
a622e2861dec7eaab454cd28123fabd18dbc4901 FiniteSetsIsFiniteSet NumPlus TypeMismatch
19fb9b38ebe1e5fffcdca37081cb3ecb3999f852 FiniteSetsIsFiniteSet NumPlus TypeMismatch
347ad9ed4b0921e24e1623dae6c310725de192fa FiniteSetsCardinality NumPlus TypeMismatch
00843376a6368ecab24f8dca39b33bb8ccb53143 FiniteSetsCardinality NumPlus TypeMismatch
c1f96dcfb2b0c655f56651b5783c24ac1d5d90ff SeqHead NumPlus TypeMismatch
35530836ae6dce36764b413c77d63b2d7af19fe9 SeqHead NumPlus TypeMismatch
085046b675fe800681fe18940084c5f738a4cb0e SeqTail NumPlus TypeMismatch
d677ce5b9f245a888b5b110c2b71a7cbd98eea83 SeqTail NumPlus TypeMismatch