Index

Skipped feature combinations by plug feature AndMultiLine

Id Case Feature Plug Feature Skip Reason
f52266445c5149a80c08022e77f527215ad954ca OneLineComment AndMultiLine CanNotBeCase
706f04977687723eeb23f1add6288827edac2f22 OneLineComment AndMultiLine CanNotBeCase
5bc43f3b87cb5fc6bb9fa65d2aa3874eaed180c1 MultiLineComment AndMultiLine CanNotBeCase
2d77c3e5bca3f6c2c9459f5a74861eaed1dde6a7 MultiLineComment AndMultiLine CanNotBeCase
41339d8ddeb49997b5cfdf11a6a049a21151529f BoolTrue AndMultiLine CanNotBeCase
080c3c8eeecb3089a09305ab6e26f06b70a607a2 BoolTrue AndMultiLine CanNotBeCase
565f3a7597d8b3cee2e43977708a84f5a12e1729 BoolFalse AndMultiLine CanNotBeCase
d512bbb333dd084a5bdf1b60bbc2ee8ca4db1c02 BoolFalse AndMultiLine CanNotBeCase
82ee88b084907f6ee2bcfa0de06c3b58c33a5b27 BoolSet AndMultiLine CanNotBeCase
0a400a0d9b898b939baaf7369000a178a11d25f8 BoolSet AndMultiLine CanNotBeCase
4fcc5d5efb9aea24d91bb2c4ec77bc9e8ae22e69 SetEmpty AndMultiLine CanNotBeCase
530cba9380b864f9fe38548f2785039013c92cff SetEmpty AndMultiLine CanNotBeCase
2ee82248ee55dc52247ccd31fa0f8f6f4358dd8c Set1InDef AndMultiLine TypeMismatch
9e90f80918cbcc45f3abbf6be026ad8cc84c80e9 Set1InDef AndMultiLine TypeMismatch
170bbcde8efda95504c1691902df655705c0aedb Set2InDef AndMultiLine TypeMismatch
842037a97d8163639031303305e43d0b08157e24 Set2InDef AndMultiLine TypeMismatch
469beffff6491b8d962408685df52b2d955c231a InDef0 AndMultiLine CanNotBeCase
e7ae34a8c1391b696bef0681422659e8093cc51c InDef0 AndMultiLine CanNotBeCase
25d076471302e4a0c443d304adbe467da2cafd7a InDef1 AndMultiLine CanNotBeCase
95e867e6c989840a320dcd6924fef488fdc0504c InDef1 AndMultiLine CanNotBeCase
11a6f48dd4e0f1b9f500ac59e1b918b103ed989b InDef2 AndMultiLine CanNotBeCase
444b202f371c4c0ad58353f34703a3a3de996c68 InDef2 AndMultiLine CanNotBeCase
d83050afe8a4cc5e806ace665e449eb8ebd5e468 FunInDef AndMultiLine TypeMismatch
da349a44e7f7e5955bc06626055a3e13ba496d82 FunInDef AndMultiLine TypeMismatch
e6e5cf9db32f47aa09f0a8d9b7292c402663d822 ExistsInDef AndMultiLine TypeMismatch
6c4c1a051ca8a789ffe718a7e79542f4f05708bb ExistsInDef AndMultiLine TypeMismatch
6a0ffe085e7beceac369d0a82b802e1f9965a3f1 ForallInDef AndMultiLine TypeMismatch
858e7d325db2fa0f46cb8e5cab3ff2234ff8137c ForallInDef AndMultiLine TypeMismatch
6e2bbc984c51cf6479a53594fc041aee6330e123 ChooseInDef AndMultiLine TypeMismatch
cfa9e24ccddcfd67a7aa88f61b8ce09d414f55ff ChooseInDef AndMultiLine TypeMismatch
bc94fdea38078c451d1bdf2333172497e219e378 TupleEmpty AndMultiLine CanNotBeCase
cf0dae35bf9d1bde34c500ab4585d41183e26eb5 TupleEmpty AndMultiLine CanNotBeCase
9babb386904276fb9841308f8a1971010b327a07 Except0 AndMultiLine TypeMismatch
c46a4757122e8870cbc21ac54aab3f70c1532c2c Except0 AndMultiLine TypeMismatch
d7b2f673e6e43c29321339df742c08615c235287 Except2FunTuple AndMultiLine TypeMismatch
029440d9cccd2633736c479bef299342d11c8c5c Except2FunTuple AndMultiLine TypeMismatch
a7c533b5cd4ab143a3f62d79f48f02a1c48d7b5b NumZero AndMultiLine TypeMismatch
aceece37c7e48dac5d4bdbbd2569b2197d09e8d4 NumZero AndMultiLine TypeMismatch
152f619e8060c222777e7610677a05a2601133a7 NumOne AndMultiLine TypeMismatch
c04ec6b44009efc48e57041ca780f764cffc1894 NumOne AndMultiLine TypeMismatch
15aa4995179b33af9c3f9cc522c503bf4de6039b NumMaxInt AndMultiLine TypeMismatch
849f6ed8594f9316c195f15e909f533455e5789f NumMaxInt AndMultiLine TypeMismatch
2166fd05cfdf1ca3bb337937ccbcf6f3e363c10f NumUnaryMinus AndMultiLine TypeMismatch
1e3333cab3e467ad0da120e5af38f0a429d3dead NumUnaryMinus AndMultiLine TypeMismatch
668f20963990a3d3750351eb79c7bf3f472e5b27 NumPlus AndMultiLine TypeMismatch
faeee4708fe00575265ebfce6a4a1fa137964c87 NumPlus AndMultiLine TypeMismatch
c1ad0acfbbc27910f73ace43b587907e18995832 NumMinus AndMultiLine TypeMismatch
7f7061c513d39d7720c840880eb560809a719d38 NumMinus AndMultiLine TypeMismatch
7efd03f72af914fbce3565c297e36e03ce28c0f1 NumMul AndMultiLine TypeMismatch
8c35e09b3b357417762cadfae1f60878c89e56d6 NumMul AndMultiLine TypeMismatch
63590581afd57c5fc550959a1b08768b003f14d9 NumDiv AndMultiLine TypeMismatch
01537def7753049648bde221e573d35354b6ae08 NumDiv AndMultiLine TypeMismatch
04441c386b4f2aa44ecb63cc42f21fb1897d2226 NumMod AndMultiLine TypeMismatch
f02f1ec3000acbce7cd0f53518bdea1b203ad657 NumMod AndMultiLine TypeMismatch
c3f503e1d9fb65409537f76c053cfe600f415ded NumPow AndMultiLine TypeMismatch
e11c38c7391c29c615ac98d6f0cbbd5900edfcd6 NumPow AndMultiLine TypeMismatch
79d5cceee6d26d2b4e568e15cc4cb883200b8193 NumGt AndMultiLine TypeMismatch
7290945538a13c0079cfe8ac2196426110259de0 NumGt AndMultiLine TypeMismatch
6e12e8a01d0fc56e3097d7685fb31fefa2aff05d NumGe AndMultiLine TypeMismatch
015f608a1da1d613fe884181c3dbf772a73751e8 NumGe AndMultiLine TypeMismatch
a752fd2f847e91f69512d5389df27cd2601df2e8 NumLt AndMultiLine TypeMismatch
c17bcb3b1fae6c7cda325a6464454c8bec3c66c4 NumLt AndMultiLine TypeMismatch
979d9bb0489595cafbe0be8ed01bd2a04fd63ed4 NumLe AndMultiLine TypeMismatch
3fb4e7333acf082b9b39263e1058611c9e71b855 NumLe AndMultiLine TypeMismatch
849e46d1d175739245f3bc708ff2a2f75cb0ac10 DefFunInDef AndMultiLine TypeMismatch
965135373998217e82677ef8ad0c8fadef32e194 DefFunInDef AndMultiLine TypeMismatch
2e9b80429acc431c736834073f4e8c07cf8308ee LetDefFunInDef AndMultiLine TypeMismatch
f4158bd05cd0955bd7c3a89174ffbd9bac1ece75 LetDefFunInDef AndMultiLine TypeMismatch
db088c8335806815c832b68f52868b64f3123fd8 ConstantModelValue AndMultiLine CanNotBeCase
c907ec39411ec58189ba941d0f62d9a2f146d93b ConstantModelValue AndMultiLine CanNotBeCase
9ba6c57d3e4ee797184e9b8e963c8a61a11ae00b Cross2 AndMultiLine TypeMismatch
0d2ec716bb4041a86fab80ba28d4cf2e0e855ae9 Cross2 AndMultiLine TypeMismatch
b495cd3747a9b163e5d8e8612b1411eb62be2de2 Cross3 AndMultiLine TypeMismatch
2147ffd820cd69a08c827d9048142c0585f5de29 Cross3 AndMultiLine TypeMismatch
daa6cf262b218ec011b395281f699c82d3e6054f FunSet AndMultiLine TypeMismatch
eca41ab36ece22a5fce1c0262bdfd7f4e277c92e FunSet AndMultiLine TypeMismatch
1d83383766336425bfe626c32215904935404a4b RecordSet AndMultiLine TypeMismatch
cd5e08225b0dfdc8ab314309b488591d3dc962bd RecordSet AndMultiLine TypeMismatch
a0c180241ab655b7f74e79d191ebf863ddb8c349 SetDiff AndMultiLine TypeMismatch
7c224d6e8897f78e8fb7b9842e5d9dbf82f098ea SetDiff AndMultiLine TypeMismatch
25af84f87c7f1ac9db886b8f357abce0e9189895 SetUnion AndMultiLine TypeMismatch
c93a0da1790a22044813a26ea655610d6b389d81 SetUnion AndMultiLine TypeMismatch
4d114119fedaea186a86050104bae4d30f24ffcf SetIntersect AndMultiLine TypeMismatch
2137f4d02217a37f3ba07f8dac9311bea5a2167a SetIntersect AndMultiLine TypeMismatch
bffbfb8da20b230d86e200cb634884b1a0edbf1c SubsetEq AndMultiLine TypeMismatch
cc7bd1c0abb06f3d8a26e8afa706514f60b2c7fa SubsetEq AndMultiLine TypeMismatch
9376c6f2fe709247ae8d0d84a6b43ce297e6247c Subset AndMultiLine TypeMismatch
0ff6fbba5dd368b1ef14c6018aacc389c07bcd8f Subset AndMultiLine TypeMismatch
80604d55cd058aaff070da98e44bdc2826e546fa Domain AndMultiLine TypeMismatch
63df84a6325e0348efde3e2a29316e6c0d357c7d Domain AndMultiLine TypeMismatch
f15875e0a5bee0321a94ab02414caf569355ce29 Union AndMultiLine TypeMismatch
095b764c5eb1451fa168d2ccc60f3ecf4ee5175b Union AndMultiLine TypeMismatch
a185656bf472ead2b733e8debbfbc37ee80a642d StringEmpty AndMultiLine TypeMismatch
8dcd2f00b512b15d7ad79a1b1358ed3490e0011e StringEmpty AndMultiLine TypeMismatch
eb2ba95f9c4f73aec141969cd0b328d2c8da1d13 String AndMultiLine TypeMismatch
c639842dfc6e0ceeb58c4fedd68ebed10a48fd47 String AndMultiLine TypeMismatch
3dc616de401a728b77ca026300615d8fff20e7b8 SeqLen AndMultiLine TypeMismatch
540ab375dc87428ef9d92bf80a8f7bdda107f25e SeqLen AndMultiLine TypeMismatch
4418e8094794ade7c2df2eab0a69ef2912b2a27f SeqConcat AndMultiLine TypeMismatch
526c1ba5685bc4a5d2470ed387c0207cb98186b4 SeqConcat AndMultiLine TypeMismatch
03c9b5662fab4f7c0facf4aaf5faf6c0d5faf5e7 SeqSeq AndMultiLine TypeMismatch
7cf364c392894609c35f6ad779f11c7d8823eec9 SeqSeq AndMultiLine TypeMismatch
225a3dd5ee731937e75083aae90cf3664039252f NatSet AndMultiLine CanNotBeCase
9e72ccb4ba40d7cd60f4d2a2afe8e02fb5dd3f84 NatSet AndMultiLine CanNotBeCase
ad667ce3c6a4ee729448339027cf5dca61dec083 IntSet AndMultiLine CanNotBeCase
5fe2e6e6d09828d76dcba3432b09e78ec10585de IntSet AndMultiLine CanNotBeCase
e9cf07661cde3541029ee068de43e2c0d0a57c72 StringSet AndMultiLine CanNotBeCase
52a361420edc1b421fb79789fdd943487e386972 StringSet AndMultiLine CanNotBeCase
1fe495a0a8064023970fe37651f8e7b00db4604b SeqSelectSeq AndMultiLine TypeMismatch
c99c069f288c5f7456e5973884353bc94e7bd78b SeqSelectSeq AndMultiLine TypeMismatch
e12d9fb3b517483dcf9685e276487209e20a3b47 SeqSubSeq AndMultiLine TypeMismatch
6e458b6c5dd559788fcb7208f8e8f06f8fd4fe67 SeqSubSeq AndMultiLine TypeMismatch
67dfd5e32980ced59eaf589b430866904db7e0b6 NumRange AndMultiLine TypeMismatch
4d823f9683781f9f9cf6f70f8c67c6f367750f91 NumRange AndMultiLine TypeMismatch
b478adaacb9cb0690fceb11d9ecba91f4e3ef1d6 TlcExtendFun AndMultiLine TypeMismatch
94007322fcdb3292616d99cc44a9bdcb68cd26d2 TlcExtendFun AndMultiLine TypeMismatch
d60513de105ddf38f264305ef2f376daf6c98210 TlcPermuteFun AndMultiLine TypeMismatch
fabe3a38e6c7ef7cbebcfe7ed75cb23f93042164 TlcPermuteFun AndMultiLine TypeMismatch
da221e66940a11734886f52fe28c1033ffabcd3d TlcSortSeq AndMultiLine TypeMismatch
5fe5083ac5a606c5d36180be2eb800da7742c986 TlcSortSeq AndMultiLine TypeMismatch
ddf04f7de238be8ad10f6bb12a6e0490725ff235 BagBagToSet AndMultiLine TypeMismatch
befdb73829379bce626bbe4beb020ee51bbe590a BagBagToSet AndMultiLine TypeMismatch
0a4f98994b0c3c0da622120af059d98b03a5d80a BagSetToBag AndMultiLine TypeMismatch
9d3579829fdf192ac949b44d0d319350b3dcfa58 BagSetToBag AndMultiLine TypeMismatch
7a6f1b113ee288b49f15d191b482363336dd127d BagEmptyBag AndMultiLine CanNotBeCase
4b0c0c2e4eb3d151e7b4db34872603c35274aa5d BagEmptyBag AndMultiLine CanNotBeCase
3755d121070ec4a92b10b4ec35a38505127291fa BagAddBag AndMultiLine TypeMismatch
b9b356dc0694f5a8fd0ed6b8ab8bbe9c8bc683d7 BagAddBag AndMultiLine TypeMismatch
7ac63db51023602cd4939f343f92731bbd4e4c02 BagBagSub AndMultiLine TypeMismatch
4a5835c1623b4db893f53c48d79c798a3923dc6e BagBagSub AndMultiLine TypeMismatch
3060c233821820a42ab2c8cc4ac0738e7951351a BagSubsetEqBag AndMultiLine TypeMismatch
77261ef5ac39265a89996dc57b6b015010aac740 BagSubsetEqBag AndMultiLine TypeMismatch
9ddc8eb173b6c64940f256991302a2b02ccde928 BagBagUnion AndMultiLine TypeMismatch
865ac0b30d977423ca6bfa55ad5dfc3bd04d8277 BagBagUnion AndMultiLine TypeMismatch
a4caf5928992af0be4c203e186c64cdbab687553 BagBagCardinality AndMultiLine TypeMismatch
092ec914fd074d71c072cf003dc8640314b3d16a BagBagCardinality AndMultiLine TypeMismatch
8ee90e349f7b1c4525575367eb8eccf1de39b75d BagBagOfAll AndMultiLine TypeMismatch
2575e088b6add754061cb4fe5bc798cbb3065360 BagBagOfAll AndMultiLine TypeMismatch
5af686a4a371ae6b7aa535a12f2ff579c2ee4480 BagSubBag AndMultiLine TypeMismatch
d0feed481c78d582c7f220c266a6623be57f0b2a BagSubBag AndMultiLine TypeMismatch
c76821f0bcdaf7870a0502e81c3f91f412f6b182 FiniteSetsIsFiniteSet AndMultiLine TypeMismatch
5c8e65726d35c95c278441d17c1947358d6c5be7 FiniteSetsIsFiniteSet AndMultiLine TypeMismatch
51fb65596603af28d29e10e9ada18cf70099fa1f FiniteSetsCardinality AndMultiLine TypeMismatch
8cf2bfe22c061b2e2e19fabb1c74571c95b2a300 FiniteSetsCardinality AndMultiLine TypeMismatch
35945629e2e5daa8cffa74f662cbbf89397e829c SeqHead AndMultiLine TypeMismatch
94354d9305548198643651af6ed033a4517cde78 SeqHead AndMultiLine TypeMismatch
511810951a973ede5d58cb86ba5af858882ddfae SeqTail AndMultiLine TypeMismatch
4b3fea90fb795d58b4f17bec5ef3ee7fb27b88b9 SeqTail AndMultiLine TypeMismatch