Index

Skipped feature combinations by plug feature BagSubBag

Id Case Feature Plug Feature Skip Reason
102ca9e2c50b39cdb2932e8b74f37c07b7c32461 OneLineComment BagSubBag CanNotBeCase
e1d6024b14f1313ab3750663e97c92769f067903 OneLineComment BagSubBag CanNotBeCase
b7004eb15b4bddee649b64d77524497dd5d8fc84 MultiLineComment BagSubBag CanNotBeCase
0a4a9c1fe9dc65ddc447e1e0b6d7eb2f9eadf67f MultiLineComment BagSubBag CanNotBeCase
51eeb04ae17ecc675f77c1407baf6f5e1d426972 BoolTrue BagSubBag TypeMismatch
b48c35ef169cea3a9fada08f47a28ae9f327a5b8 BoolTrue BagSubBag TypeMismatch
b0c6a1193b536930d4b8f3c45501141a40c9deca BoolFalse BagSubBag TypeMismatch
1f2723bdf6e161333080f347a0ec01295629bad7 BoolFalse BagSubBag TypeMismatch
7b2539cd2234efa48516d127305b1a17d2ac1e6b BoolSet BagSubBag CanNotBeCase
f68a7e7084e6801f38822a0a527c77c3906f6d04 BoolSet BagSubBag CanNotBeCase
82952dff09191e95dfadd5d060b31d2d9214ebcb And BagSubBag TypeMismatch
d6408f2efe5ab708a212cbbed8c374bc0279a34d And BagSubBag TypeMismatch
03ed377db6f8ac961539faf6af393009fd33549e AndMultiLine BagSubBag TypeMismatch
37a9d9d97860cd754bd5030a9a30988d86d111d0 AndMultiLine BagSubBag TypeMismatch
c4456dae728041b4fc3b0ed0e30b92e72bd69626 Imply BagSubBag TypeMismatch
180d9151e95d06514acaeed14d56c993e7fb20c6 Imply BagSubBag TypeMismatch
57465731c3165ad3d8c997835f03a26601f5bcb6 Not BagSubBag TypeMismatch
0afb628c8bc27ed36dc23e3eb7185c8bacdc34dd Not BagSubBag TypeMismatch
565ad28b41d07371c7ad908c7ad5a9c58afd3b23 Or BagSubBag TypeMismatch
97787dd5918682580d08bd3b12cdd6cb52014a14 Or BagSubBag TypeMismatch
c9f22717363cdd7be2c4b81098ee6c0a793ad467 OrMultiLine BagSubBag TypeMismatch
7ca8f4e85aa51d4aad118ce9c2c8dba4f4eefb67 OrMultiLine BagSubBag TypeMismatch
8acf3c191566bcc7e63f6f195447d9ed83cdfc67 AndProp BagSubBag TypeMismatch
e2c26db454a4b5901bf34da20aa4717616a7d198 AndProp BagSubBag TypeMismatch
4bacbc196fcd4b57a889ac7a025b4c493b08ffd9 Boxed BagSubBag TypeMismatch
ca40c219762a2ad65627490b5484787a18d3110c Boxed BagSubBag TypeMismatch
8ebc4313dc81a918fc963ac7ac3af44c15acf784 SetEmpty BagSubBag CanNotBeCase
95ec7c8878e26a7d4c2064c6f5b55b32c9a55c47 SetEmpty BagSubBag CanNotBeCase
1b82359b5b51a95fd02407b367550af2fbb50833 Set1InDef BagSubBag TypeMismatch
708a1acc565dce5bd44b38af8117363a89eb7bac Set1InDef BagSubBag TypeMismatch
7f95bc176c73eaa49fbdbbae73892a3edf0ef78e Set2InDef BagSubBag TypeMismatch
1766cae5d965bc5b1ce3a04727c58968e68eeef2 Set2InDef BagSubBag TypeMismatch
0b3d8c377bc2326814f466a5e58930bfa593f6de InDef0 BagSubBag CanNotBeCase
2106041855ad9f39cb9f1d554829151a0aa5abf0 InDef0 BagSubBag CanNotBeCase
ebc213bc951d7d11287db5afe47836fe7f8497f7 InDef1 BagSubBag CanNotBeCase
12b16da5591fe0aa9f8fb51c0ac42d735bcdac41 InDef1 BagSubBag CanNotBeCase
bd26cf32c785761bfae98f518fe3685c7644e032 InDef2 BagSubBag CanNotBeCase
0ba42845dc608ecd6a2bd3e5486327e661502a32 InDef2 BagSubBag CanNotBeCase
3959071d7421ec284b72aa2474e2e55ece77dea7 FunInDef BagSubBag TypeMismatch
b3717b26ea1c2adc82d6787211cb5f50ccea794f FunInDef BagSubBag TypeMismatch
326b7794e2d2241dca8556e36c96f84dc9bcd80f Exists BagSubBag TypeMismatch
ebcb43008ec15e195081f431e0447c1935becd23 Exists BagSubBag TypeMismatch
ca007a32ea302401404e366c094f7191fb6c92ac Forall BagSubBag TypeMismatch
f59cfb7f5be572f2b400ffd43c0fa07917da5082 Forall BagSubBag TypeMismatch
f77e46b69926044c3ce00ab505643c52adc28da4 ExistsInDef BagSubBag TypeMismatch
35687c68a629e67cf2540a4bbb32b97884647a21 ExistsInDef BagSubBag TypeMismatch
8e89e615af6ae5ace394e6affe11af22dbbd6802 ForallInDef BagSubBag TypeMismatch
1c3e5dd97e5444fc5a804b37f1d244ddb0328f08 ForallInDef BagSubBag TypeMismatch
a049136ee0977ebb63ae747bb889b1405856dc2f Choose BagSubBag TypeMismatch
d3d342df4450c79d5dc7b6a9089227febd058191 Choose BagSubBag TypeMismatch
fa8882725351d3d5561a0413df74a6988bc85277 ChooseInDef BagSubBag TypeMismatch
18ed5faddea04fc054cc4c85b3cc82cdbc2e040e ChooseInDef BagSubBag TypeMismatch
1123b2db3db53ebc814dc245725332e162cadbc7 TupleEmpty BagSubBag CanNotBeCase
d6cccf7be3f6a1e8b1d58a490e6a6779a6bbf2eb TupleEmpty BagSubBag CanNotBeCase
b3637ea98c46342eb7c4ed9774990e37a1ec2b18 Except0 BagSubBag TypeMismatch
cbad460411028698bb2192f3d618661ce8f9a231 Except0 BagSubBag TypeMismatch
504bb91de576edd3f530cadd69e2f1f8fb6c1c9a Except2FunTuple BagSubBag TypeMismatch
61d2a99497bfdefa4782979bae9f90ef71cd18cc Except2FunTuple BagSubBag TypeMismatch
00d72782b3a8d954d6cb167718b267ef267685a5 NumZero BagSubBag TypeMismatch
43b7d288fafaf0dd696db72d6a877062f608c1bd NumZero BagSubBag TypeMismatch
a09fc81db6f29f70979e595e6fb196cd90985f90 NumOne BagSubBag TypeMismatch
148363960d6293e99a57df0ea06a0b0ae5fe5931 NumOne BagSubBag TypeMismatch
d95d28a41b23ab3b4e417b08d8424f15482b3249 NumMaxInt BagSubBag TypeMismatch
efd876fe03809983bfcd8cb7f00c89519faa9cc4 NumMaxInt BagSubBag TypeMismatch
fa3c00fb854ba80e8ee91fb1b6bbf0695829b362 NumUnaryMinus BagSubBag TypeMismatch
bf0f828793871d50198258600c370f3de07ee226 NumUnaryMinus BagSubBag TypeMismatch
c1315f9f472a6474c64caffa39149e5529ef6425 NumPlus BagSubBag TypeMismatch
06bbfc856aa661a1762ea6a0bda9c4e4e3b4587c NumPlus BagSubBag TypeMismatch
e9f40865f2119f2551e6d0d2175dffcb78d71a6e NumMinus BagSubBag TypeMismatch
f3fc3a2f9183513abb2ca7e662b93e4ceb5b088b NumMinus BagSubBag TypeMismatch
8c7f6c5bc920cf356c6a77ac5341717ff3a0df26 NumMul BagSubBag TypeMismatch
023aa58eac2bf8e71c07b8db6c9d12895d088384 NumMul BagSubBag TypeMismatch
e91dd4d80e4a209a4a30b5a2cafd1cc2c5385ce5 NumDiv BagSubBag TypeMismatch
5cca4fbe0ad0dc8ef904cc815151aceb9c204026 NumDiv BagSubBag TypeMismatch
57ebafb5e368132090cf76169aa27b923791d8b7 NumMod BagSubBag TypeMismatch
4671cc0dbc6b4500d75c28dae9aaef496747f1ca NumMod BagSubBag TypeMismatch
39681d1e7d9771aadbac5340e63151469829776e NumPow BagSubBag TypeMismatch
753b10cb4ba079daf69d1043e8fc906cc3719f9d NumPow BagSubBag TypeMismatch
e82541b3d39015fd7a1e67f3406eba5024185c79 NumGt BagSubBag TypeMismatch
342fd49feada8ba153083ec9d7b4c2f303bc3147 NumGt BagSubBag TypeMismatch
b3239c7b110bbcdb7d01e601cf1d4bbe0deed59d NumGe BagSubBag TypeMismatch
ca9bad3f3c49dcc2ecc0033e2a51f8c2fa5b4ebc NumGe BagSubBag TypeMismatch
d875ef2f60e69ca7f4c05462f8f87b85292aa039 NumLt BagSubBag TypeMismatch
470796878cd77635507356b5f2db32080feb1145 NumLt BagSubBag TypeMismatch
092e92ffd7dc61784a205e6424fa8d53516b1aef NumLe BagSubBag TypeMismatch
060e495a6aef1409de88e0a7f68d3e048b4732c2 NumLe BagSubBag TypeMismatch
fcf78675144e1b1f5170ea0a8ca703e3a8fe2486 DefFunInDef BagSubBag TypeMismatch
431b92e2b7978123eb4da3df8a35ca3660eaf192 DefFunInDef BagSubBag TypeMismatch
8b63a509ceb937028841efb989ac962c675ecbd7 LetDefFunInDef BagSubBag TypeMismatch
7b50217eb723962b96e14d2a10ecc7814ad2d966 LetDefFunInDef BagSubBag TypeMismatch
892c2e6520bc24c6c9268147c53b71373b887b8c ConstantModelValue BagSubBag CanNotBeCase
4abbf37dc74f7c69658e9f4b955af7d4a9220f5b ConstantModelValue BagSubBag CanNotBeCase
1fed962e0f01528f1b898da3b801d3cb94b3fee3 Enabled BagSubBag TypeMismatch
61e4a1a51143ca02d41f6a5e22f855642a34b42d Enabled BagSubBag TypeMismatch
a0e2efda8fbce08c3f1c5202bcee7fa15aae03f8 Assume BagSubBag TypeMismatch
c1aa76f863e08bb49ab51b9afcceb1cc3bcfbda7 Assume BagSubBag TypeMismatch
9c3d1370dbeb7aafa40e65ed9c2a01ba93378bb6 AssumeNamed BagSubBag TypeMismatch
13e9d55e9c0ccc8b19ae330f319317479707804d AssumeNamed BagSubBag TypeMismatch
e8e722a08b7b0fbb08005a2b15be66820d28d9ac IfCond BagSubBag TypeMismatch
4042d717d20c8d209bc1072333d8f495c4ab55cc IfCond BagSubBag TypeMismatch
568c8c32ae1a2b552ac671190f419234e2be4947 Domain BagSubBag TypeMismatch
cb4053a3326905aca4b0bdf102e3e7afb8405b2f Domain BagSubBag TypeMismatch
fca4af4dd2b014c19ea6e45b2a87c0f05503929e Union BagSubBag TypeMismatch
6c60dc08d87e4d2adad42773f27d3d18ba8a4186 Union BagSubBag TypeMismatch
db79fd748debf041db934efb6de33035def30ee3 Equivalence BagSubBag TypeMismatch
e7e0d92d68f2b1b62d3c410aea48f621a916ee70 Equivalence BagSubBag TypeMismatch
66961e198f0f9499aabee626ce814b78790592c0 StringEmpty BagSubBag TypeMismatch
4e6877c9861aa2c1751f66b7a312c4d41398ac8a StringEmpty BagSubBag TypeMismatch
b7ba430f18ad7977dd1fedaa40d7c37403b6639b String BagSubBag TypeMismatch
9460c28dc862d539ac7fe661b94e12a9b60439a6 String BagSubBag TypeMismatch
09c6556f523ec8521eeb46dcbc94dca9d1b6d6ef SeqLen BagSubBag TypeMismatch
1f6232842be82cd852ec032c50bb7341fad1de4c SeqLen BagSubBag TypeMismatch
9eca6c23bd1e1d2129cd42d80aa8d3ece8051d6c SeqConcat BagSubBag TypeMismatch
b7a765b67b458fb57c060eb320d74d7c55db1e19 SeqConcat BagSubBag TypeMismatch
8bb40ab20a025100d3cddfb077d4b0b6d947d2ee NatSet BagSubBag CanNotBeCase
b41238efefa9cfa72a59046927bb883d3838ae34 NatSet BagSubBag CanNotBeCase
14a4a06e684028069fadbe85443be37dce7f277c IntSet BagSubBag CanNotBeCase
a316209b221c5143ffed84b1a715c01664f14bcc IntSet BagSubBag CanNotBeCase
0afc7f82d9197260b12935322f02f8b43e0a36dc StringSet BagSubBag CanNotBeCase
969c118bc061241502efaa1ce19cf4d31f4f1313 StringSet BagSubBag CanNotBeCase
c96575e5acc0f424934693c11a82967cd2e65de6 SeqSelectSeq BagSubBag TypeMismatch
ffbf3345a964c7830a043063721ab9edc6437913 SeqSelectSeq BagSubBag TypeMismatch
1e2489bfcb44b8a05ea84a3e77608ad6c65e58f7 SeqSubSeq BagSubBag TypeMismatch
76674211f37ce52816020b5f19c1e79e1b94fc71 SeqSubSeq BagSubBag TypeMismatch
ed5b111e56536606c40aa6971180b65b7104b9c4 NumRange BagSubBag TypeMismatch
0fa30b80a9a31cf18747cc00e8d5396eb55c6b50 NumRange BagSubBag TypeMismatch
bd682e458476459fd3d88a5fddf420e1153f9698 TlcExtendFun BagSubBag TypeMismatch
195cff91eb5af27b909c874c3294d6df4401b590 TlcExtendFun BagSubBag TypeMismatch
7dd4afbbbe5584c16cce73e1f2cf8eec10931142 TlcSortSeq BagSubBag TypeMismatch
0ac0af69acc7640e84433ac52eaa75cb2f31e56d TlcSortSeq BagSubBag TypeMismatch
c028003db30eebb1e536584ed9a101076b97bcc2 BagBagToSet BagSubBag TypeMismatch
1a8b30b2bcc7f515e79b646bc32b1057ba8083dc BagBagToSet BagSubBag TypeMismatch
297c1c2ee01b2e4908489d90ba0083ea2d1d3fde BagEmptyBag BagSubBag CanNotBeCase
3df9560497727bf170f657118a359061d11dfe92 BagEmptyBag BagSubBag CanNotBeCase
0cf83a416c114a1b5bc5c94201871848fb57f2ba BagAddBag BagSubBag TypeMismatch
59931da90e05462b3d68a010f7a0f18526012e5e BagAddBag BagSubBag TypeMismatch
3ecbf9a9ab513b6856c2238915c0372657b68d3a BagBagSub BagSubBag TypeMismatch
7f9f5a157adc197d3c7c49a0d3314dac760afa59 BagBagSub BagSubBag TypeMismatch
ef3866603400b9a4a0ce3efd54b11880ffe55d5b BagSubsetEqBag BagSubBag TypeMismatch
8ea405234c5cf2ffc2bddfecd1bf6ec189a24023 BagSubsetEqBag BagSubBag TypeMismatch
2aabea284bb37047bc6614a8253a05b7fc667579 BagBagCardinality BagSubBag TypeMismatch
ff1287c134b600ae2e4fff425b06f4f10efcdcca BagBagCardinality BagSubBag TypeMismatch
2830db2944bdf815e6bf23d4e36b2efd2b62c7a1 BagBagOfAll BagSubBag TypeMismatch
5243a399dbaa30ef66d5b3c0f417cfb8751bcaf3 BagBagOfAll BagSubBag TypeMismatch
ac91b2c5d12f32c2a0238c8c6e3ce1734a8a7b8c BagSubBag BagSubBag TypeMismatch
3adf02546474ce7364d5e5a21802cf179a4a378e BagSubBag BagSubBag TypeMismatch
7341643f817b33802d3042df66c81fa6dc60785b SeqHead BagSubBag TypeMismatch
8306f237806ff1e29305ce798efcf57f9838a0ac SeqHead BagSubBag TypeMismatch
26a6968126f333fbc6a0f043ccfc115fba2dbe8e SeqTail BagSubBag TypeMismatch
7192f870ffa9cb90212266d99429f46d4448dd01 SeqTail BagSubBag TypeMismatch