Index

Skipped feature combinations by plug feature OrMultiLine

Id Case Feature Plug Feature Skip Reason
75bca71049a032c123484a1e1b37ec40c82f0a6e OneLineComment OrMultiLine CanNotBeCase
db3fa6535f922e7a37ee3371a31731917f74fe3f OneLineComment OrMultiLine CanNotBeCase
b95bda5576ab8a4ec5dae67e3faf2223c00273c5 MultiLineComment OrMultiLine CanNotBeCase
1af61311897f881ee8cc388d8382a042501e1dec MultiLineComment OrMultiLine CanNotBeCase
ca041d8dcef2c5dfaafe9353a5aa6c0d97c346c8 BoolTrue OrMultiLine CanNotBeCase
cf2f180415490f637566100d13dd2c4cf22ad29b BoolTrue OrMultiLine CanNotBeCase
97801744c27aa27078297e0641a70398444fea2a BoolFalse OrMultiLine CanNotBeCase
3d1041fbb0fad476a7f6738907e6766d94217b76 BoolFalse OrMultiLine CanNotBeCase
b83807f5a513acc364ead6b52e8bd36eb521ac58 BoolSet OrMultiLine CanNotBeCase
25091532aa2ccfe8cd6da9145200443331b0ce69 BoolSet OrMultiLine CanNotBeCase
9ebd71a6e53d4ea21756a46ca371370bf6861bc9 SetEmpty OrMultiLine CanNotBeCase
b615b9c8140091a173a7238f611f9c3877289bb3 SetEmpty OrMultiLine CanNotBeCase
6c95d0a45b896cfa7ef9b39345b6d6e0e5b65772 Set1InDef OrMultiLine TypeMismatch
61870a6951afa06b12f05c43df41aa0abb55e3b3 Set1InDef OrMultiLine TypeMismatch
dd4749d3fa02f44e5f75f3ed1389a40ddb408b9e Set2InDef OrMultiLine TypeMismatch
609dc1a90bdbac9dc8cd8039956f3337e44be5a7 Set2InDef OrMultiLine TypeMismatch
38925f8cff21f6c54ef52864502d741ffc228a7e InDef0 OrMultiLine CanNotBeCase
efceefaa917d1c84ec0db39b23b49760a0187138 InDef0 OrMultiLine CanNotBeCase
7b21de46d9541ae6e50cfbc1836cae4cfa79e3df InDef1 OrMultiLine CanNotBeCase
a6b3eb5b56ad558187ae9a90b3db5586b56e8319 InDef1 OrMultiLine CanNotBeCase
e28da145205bee2eb00f3e9cb80488a894067c76 InDef2 OrMultiLine CanNotBeCase
eb6e99762f8f04da675cd25af5005dfd4ba1ea9c InDef2 OrMultiLine CanNotBeCase
ee44624acccf52667515490eb56e61fe08955906 FunInDef OrMultiLine TypeMismatch
b10c694254fdd027406766a833630d1ff2e6c006 FunInDef OrMultiLine TypeMismatch
baa460df2be9a11dc7f119384402a536744486cb ExistsInDef OrMultiLine TypeMismatch
64038cd9581c9f41d36173fe6628fb556cec97cf ExistsInDef OrMultiLine TypeMismatch
5864ce22f62b389b52b7d7ca23e123a57f25d7ac ForallInDef OrMultiLine TypeMismatch
808c1eea13d1961912829f03d2b367a6e4f1b56f ForallInDef OrMultiLine TypeMismatch
f2de39be1369e98f85ee2e9200375571b2ba6067 ChooseInDef OrMultiLine TypeMismatch
bfba3574a29e0647c78499a2b43dbbecced5ba35 ChooseInDef OrMultiLine TypeMismatch
dede7b00528ce9eb277988394891b721ac3db389 TupleEmpty OrMultiLine CanNotBeCase
cfed245c389dd5710eb52ddef36c7416fb571815 TupleEmpty OrMultiLine CanNotBeCase
32b9ee06a5f79d7b81449b0a41f8db4fc7447fd9 Except0 OrMultiLine TypeMismatch
c0503466ac834e5ec7dc9980cec942ee709be37a Except0 OrMultiLine TypeMismatch
6aae001d99888d079a8fbe2e1f798e147c9e89b1 Except2FunTuple OrMultiLine TypeMismatch
a31067cf894938025572ef559557a195e8534858 Except2FunTuple OrMultiLine TypeMismatch
bc90916314652a16dce5c8ba7bfe8989376ad9cb NumZero OrMultiLine TypeMismatch
0e64aff0072eb6f4622d382113ece36bc4589739 NumZero OrMultiLine TypeMismatch
579fb8efdcd7bf01f5907d7d1df3ce7abcfdc7fc NumOne OrMultiLine TypeMismatch
76dedc9f992f3ee492b602e56df9bb85644116e4 NumOne OrMultiLine TypeMismatch
0b48f5cad6b427d44e79038135f8da251d1ccbc3 NumMaxInt OrMultiLine TypeMismatch
d20bccb0505ae4fab8f7844d0d48acbc36235742 NumMaxInt OrMultiLine TypeMismatch
00e799e9646d886831b836c1ee32fd117a5f756e NumUnaryMinus OrMultiLine TypeMismatch
587de446b4e837b3631eaaf8be426c97ac3048c1 NumUnaryMinus OrMultiLine TypeMismatch
b007048aff451e78d405af43209199f2949cf1d2 NumPlus OrMultiLine TypeMismatch
7a069f7322a5fa8c71e3e84383f7b5032fd976b2 NumPlus OrMultiLine TypeMismatch
98743cf3c8606fd84e82016ec16b7ee1a657eae6 NumMinus OrMultiLine TypeMismatch
da7c813136a8e9124c342d3fdf870982de99fc8e NumMinus OrMultiLine TypeMismatch
5a706748d9cdf532d658843902e5befb3a6c16d5 NumMul OrMultiLine TypeMismatch
e65d45cc0065bb5dedf889f08b8590dff9a2fba1 NumMul OrMultiLine TypeMismatch
5aad8f12057ca01b9206d033a85bcc6c13bfcec5 NumDiv OrMultiLine TypeMismatch
f593d626293a92f35708049f992618f0401d3106 NumDiv OrMultiLine TypeMismatch
f06721bf7470a451ff8b9b982348f89616b54438 NumMod OrMultiLine TypeMismatch
094d19b990eb8ee3f0cec016a61b44569dbe2e25 NumMod OrMultiLine TypeMismatch
864b195a888441ad9a7e9baf4dc3ee8ed587bdfb NumPow OrMultiLine TypeMismatch
e34154c777c3694656afe3431f999604bfd9c833 NumPow OrMultiLine TypeMismatch
2768b240b02fe3580749ee2966832c4c5c3f9c85 NumGt OrMultiLine TypeMismatch
51928f6384224af87dc0deffd0034ea77eddc025 NumGt OrMultiLine TypeMismatch
3d591defdc99d1a8ccd6fd4d8e1213dc95f4f40e NumGe OrMultiLine TypeMismatch
897bce01e24aa56ab70b4aaae51641bbd4dcf622 NumGe OrMultiLine TypeMismatch
ff4761b592ebbdebf8e552ec0dc62ec28e3631be NumLt OrMultiLine TypeMismatch
bfa21c260374648c718777a56f19ffd881dbca47 NumLt OrMultiLine TypeMismatch
90570da1095fce853a0f863a14dd93a5e2bebc91 NumLe OrMultiLine TypeMismatch
2e03b54d1c11351c3e46e06d1dadb89173919d61 NumLe OrMultiLine TypeMismatch
964e2aedc814340584837778762d590e698a6b58 DefFunInDef OrMultiLine TypeMismatch
18e0698ef29d3154266591237115e5d4f9f1d5e4 DefFunInDef OrMultiLine TypeMismatch
74406b48d60c626ce064509026680ebefe0345d7 LetDefFunInDef OrMultiLine TypeMismatch
e262d71ab57a529092980b6e86c8aaaf5a88fa71 LetDefFunInDef OrMultiLine TypeMismatch
125cd0d2d398b59abb76c44d99d275bc140a5ff5 ConstantModelValue OrMultiLine CanNotBeCase
89a0872965adeae5bc66f5d739466596dcc2fb56 ConstantModelValue OrMultiLine CanNotBeCase
a4b8ebb713af7b66d1c6115cf7f24bf84d8ae3b6 Cross2 OrMultiLine TypeMismatch
9b0a65fea3ba580ac694ea46d30f56896ac7fa9c Cross2 OrMultiLine TypeMismatch
e1eaec4582760ffb52ea01d86f11fd69bef5e9dc Cross3 OrMultiLine TypeMismatch
a88b80f431dcdfabf3c1a28f801cbb9e5e36602e Cross3 OrMultiLine TypeMismatch
43e533163f54e782476d9eae26ab1b6eae4f847c FunSet OrMultiLine TypeMismatch
7e2374498541956ac804f37021995e61aefce64d FunSet OrMultiLine TypeMismatch
a73675df39d270de428d98205efd2a2de8a98238 RecordSet OrMultiLine TypeMismatch
5fc2bac1fab96682441b485ae99e81b400a7e107 RecordSet OrMultiLine TypeMismatch
52c81065a7379bd633b0ac7565ffb9631e86b3b4 SetDiff OrMultiLine TypeMismatch
ad5dcc1419e94155fbab74f7bd7a640ca70d133a SetDiff OrMultiLine TypeMismatch
574c9351cf619bdc4f5fae9929a400e045dd8a33 SetUnion OrMultiLine TypeMismatch
ed17a5f2a44bd492b3bdc6f197e717abfc4a9718 SetUnion OrMultiLine TypeMismatch
e2026baa63c6c45445f514b347f659d73cecc7f9 SetIntersect OrMultiLine TypeMismatch
47caa3f42d5b64994222d5d131279c88910be24a SetIntersect OrMultiLine TypeMismatch
a6ad76bb3d2e9e14958f4d041829e1c60e62c78a SubsetEq OrMultiLine TypeMismatch
c076447c69adf239b181cf1101fb3ad2eb249edf SubsetEq OrMultiLine TypeMismatch
fd5ba511d29f3468eab6806688d4d65da6a75aaf Subset OrMultiLine TypeMismatch
7acc8b4878f5fc5772e08ba1c5028893fd8d605d Subset OrMultiLine TypeMismatch
3a86336c2c81f3ea56b661aebbac1d756f2df344 Domain OrMultiLine TypeMismatch
25e00ceeee58f20674acfd16541c9c9bc50677c2 Domain OrMultiLine TypeMismatch
b185f0b8291a08e6cfaffa1bb9c2741aaff64a82 Union OrMultiLine TypeMismatch
ed6cd4db89dbb5f1550be69928bbff54727a608c Union OrMultiLine TypeMismatch
82467a123de2d5fddb9f68514ccb8192baf15059 StringEmpty OrMultiLine TypeMismatch
9e94a79d64b7a694d45a1985700b8ecd185c3689 StringEmpty OrMultiLine TypeMismatch
2b5a8c720725cea077aae40effd1fabcff6faebe String OrMultiLine TypeMismatch
ce1c62d2aebcbea653d7e4fe7d146b17d6011cb4 String OrMultiLine TypeMismatch
8865271b9b3d3025ac7831a2a34ed9de0f2d0331 SeqLen OrMultiLine TypeMismatch
55595b6e363ec6198b79964155605ac86c00de90 SeqLen OrMultiLine TypeMismatch
703f04b13efa69a17bf0ce31a7aea1416b0b7c53 SeqConcat OrMultiLine TypeMismatch
e81bbf6a27217ce934116b587d3c793b473e12c1 SeqConcat OrMultiLine TypeMismatch
ec4498f46f706b1d40edf3cbebfbd10f7b277ebc SeqSeq OrMultiLine TypeMismatch
c28d383138eae14ed3b10cd4d6ac924a3a836e3e SeqSeq OrMultiLine TypeMismatch
899f7884d270efe3104825404bb125499cabe001 NatSet OrMultiLine CanNotBeCase
a4c54ded51110a805e17d612a433e93c07f60cca NatSet OrMultiLine CanNotBeCase
d059b1865731cad3ef3050d7a8048f9f14d4c718 IntSet OrMultiLine CanNotBeCase
c5241f6fc9b85fd5b7dc2a46db23a839240a3004 IntSet OrMultiLine CanNotBeCase
938653f51840c2004456272b0d12276f40907a71 StringSet OrMultiLine CanNotBeCase
0f921745e1389bd1e7614e10133d27462f6f897e StringSet OrMultiLine CanNotBeCase
ab6e19e66686773c8c904edcb6bc466b8b24b227 SeqSelectSeq OrMultiLine TypeMismatch
3734a37133dd8c5d423fc24ef1a266cb568aee48 SeqSelectSeq OrMultiLine TypeMismatch
472c49158691f625875cfc288f99c1dcd986a634 SeqSubSeq OrMultiLine TypeMismatch
8113238f09ad0a61b86bf78d8afb14d5fce89838 SeqSubSeq OrMultiLine TypeMismatch
ac45b19fd462a7f85fee23fb0271af95660e50c9 NumRange OrMultiLine TypeMismatch
cf13faf1626a3ba7734ef7f3a1dec04ce30b1cdc NumRange OrMultiLine TypeMismatch
b52f69d8c8acfc62a7d1bceab9816c67e328925e TlcExtendFun OrMultiLine TypeMismatch
72e219e00251c1d1511bc30b2e81fe6511c56ceb TlcExtendFun OrMultiLine TypeMismatch
3d65feec0da0ce4d33bbc0eaf66b5d7636f018f2 TlcPermuteFun OrMultiLine TypeMismatch
a61b84c85c8e6e43770c56c21d7a60206fcbd06b TlcPermuteFun OrMultiLine TypeMismatch
0e90aeb8d52886c5a3833f2e0381240fe949146c TlcSortSeq OrMultiLine TypeMismatch
8b500d2c2777a9d4afa3cd183d26ef4beef9d78a TlcSortSeq OrMultiLine TypeMismatch
355f0f0b92f2af2f6b6dd333cc57e6bfe240bce4 BagBagToSet OrMultiLine TypeMismatch
42cfeb23392b2300a9380bae47f45fa6db7187e4 BagBagToSet OrMultiLine TypeMismatch
6cd53f4e484ebf8102ec0020eff7d332521f4155 BagSetToBag OrMultiLine TypeMismatch
c138bbe15d69062a1f0ac0351c0dcb1f4ce1aec1 BagSetToBag OrMultiLine TypeMismatch
20d719b3f5c77a44ed51c29d8b8458ddd0833be7 BagEmptyBag OrMultiLine CanNotBeCase
b4762c028fac2576c59278bd0e210708e42a962d BagEmptyBag OrMultiLine CanNotBeCase
392377dbb8aa8ec2a89257a5dd39f3bd8ec0030f BagAddBag OrMultiLine TypeMismatch
9ae3c8fac6fecb8bda2a8a1e3d20f5fc76287d0c BagAddBag OrMultiLine TypeMismatch
2ec952c0cb1f51e66778326a118dc9226e91e966 BagBagSub OrMultiLine TypeMismatch
bd40d02d7f4aa413302bac8bed0d5a3064ae06c0 BagBagSub OrMultiLine TypeMismatch
bf90164d2462b1aa3cd1e9c50ad785b264ee6a5c BagSubsetEqBag OrMultiLine TypeMismatch
94f4742481068bc616d610c878e4cb14db6d5d11 BagSubsetEqBag OrMultiLine TypeMismatch
cca02c03674dbc371ededb21e5feeae373eb47b9 BagBagUnion OrMultiLine TypeMismatch
3b478f5d8a9b42c9be746fd7a06d5e9836b195f7 BagBagUnion OrMultiLine TypeMismatch
2bc646b10a7613015d42f720ec819f65606adb91 BagBagCardinality OrMultiLine TypeMismatch
6babc0f16e54ddd664732e39f6e7e92e999d29e5 BagBagCardinality OrMultiLine TypeMismatch
2ea0a90928046db654ff871d89e5a220617bf6c5 BagBagOfAll OrMultiLine TypeMismatch
8d26420f2cca04bf21c0b17a5801021efa4314f4 BagBagOfAll OrMultiLine TypeMismatch
d286c5449a1be9f93efbfaa87fce46ac9c227132 BagSubBag OrMultiLine TypeMismatch
8e02ba277b472a989bb2f300d2f668a24b6bc0d6 BagSubBag OrMultiLine TypeMismatch
06aefc90feed72d91aea9c0d38a10b01fc1a146d FiniteSetsIsFiniteSet OrMultiLine TypeMismatch
f85fcf10fb6aa801b92c0ced59c40df418d27dd3 FiniteSetsIsFiniteSet OrMultiLine TypeMismatch
5e5e5d24b13c12510e6de2caa7d7fa5873210c17 FiniteSetsCardinality OrMultiLine TypeMismatch
518dad3dd3660329361d9bff2f439c1429323225 FiniteSetsCardinality OrMultiLine TypeMismatch
0383ea59f04bbf97ff772a390b7811cdc5858d74 SeqHead OrMultiLine TypeMismatch
52c9ebb8065b6645885d4334be28d9636af56d9e SeqHead OrMultiLine TypeMismatch
844c63d792d672ed75b1f27ffb224bb7859d25c0 SeqTail OrMultiLine TypeMismatch
503bfa2887355f8293b4d73ad05bcf9618105e7b SeqTail OrMultiLine TypeMismatch