Index

Skipped feature combinations by plug feature SetIntersect

Id Case Feature Plug Feature Skip Reason
68808c7f3a689ba3eb02216d1e903a95539e80f7 OneLineComment SetIntersect CanNotBeCase
b2f2b8ac4d9db33757e8b78a967bc22aba1d309a OneLineComment SetIntersect CanNotBeCase
231a6d64519468701ee85a1a3117b937887eddc1 MultiLineComment SetIntersect CanNotBeCase
7f4b1de5c8c84b4513da0abf65686e36f9c93a63 MultiLineComment SetIntersect CanNotBeCase
59832ca9a994cde600989280a0334052383aab2d BoolTrue SetIntersect TypeMismatch
6c53f1bf01cab87b6f18d74b37206343ac0b1666 BoolTrue SetIntersect TypeMismatch
dccd2b5f23b054e31195638e133c85d3a57b20aa BoolFalse SetIntersect TypeMismatch
4793f837ba24b44b0e56ea85b0bc95590d1cb1b5 BoolFalse SetIntersect TypeMismatch
f0e0e901a550e78dc2f75e98efdb0ac68785538a BoolSet SetIntersect CanNotBeCase
b9703c50576b3d58028b22f43eea8ffe7b8562a0 BoolSet SetIntersect CanNotBeCase
1409e81865bbd6a9c50694b1e31b783147a678d7 And SetIntersect TypeMismatch
2415b6fe8a35fec6578ccd5ccd4434f3c3a1362b And SetIntersect TypeMismatch
382c8026d3aa2699b339d220cea394a6e1f3484e AndMultiLine SetIntersect TypeMismatch
95ba9cb0c395cdf3daa885a6851fed965811028b AndMultiLine SetIntersect TypeMismatch
91ea885b624d8f7dd1e5b5c5e885014a94f208a2 Imply SetIntersect TypeMismatch
e80d4c453d0f5c7e3bfda3c96fa54c31818c958f Imply SetIntersect TypeMismatch
7c5a5270aa6f5adfb6795444a42b3166c6e228ca Not SetIntersect TypeMismatch
b027c4c86751f607fbc31e0e131a6ef4db06f727 Not SetIntersect TypeMismatch
3545aa1e445358c769922a084a1764e8c80b1c29 Or SetIntersect TypeMismatch
2123525bd748c19b673e41a863475dd452746e32 Or SetIntersect TypeMismatch
ac1c5b94760863681941bc49d83dead9c45b82bd OrMultiLine SetIntersect TypeMismatch
2410e94609c379d9c8c4c1263707857453393525 OrMultiLine SetIntersect TypeMismatch
de05c9f933f1da74a6ca41201cbc7fcc2406a4d5 AndProp SetIntersect TypeMismatch
263edb69898196037f419bf103f4d2bab4c7b14f AndProp SetIntersect TypeMismatch
202a73c79569cfa55b6aea4ae1de01ac7c31875a Boxed SetIntersect TypeMismatch
f7fe5a1bd22966184cd057824b4f5c37949bf0cd Boxed SetIntersect TypeMismatch
b7d951cdc2201edefc094121b83ec40e59a7d764 SetEmpty SetIntersect CanNotBeCase
ecc7ea3896e621a9563a7660932b55d726b6980d SetEmpty SetIntersect CanNotBeCase
4bdccb6511ff1a275c1a1696c74639f6c11bbbe3 Set1InDef SetIntersect TypeMismatch
7b7c9a87f26c06923611ff7cfe18710663756f2b Set1InDef SetIntersect TypeMismatch
9cec364a95d7fbe2f1f696e863778f7d7b33cef8 Set2InDef SetIntersect TypeMismatch
b6529271d9a513f9f8a15747215094213cae5eb3 Set2InDef SetIntersect TypeMismatch
7e36e9a8ce6568cae794bdd1ae07a9ef5e7b5ac9 InDef0 SetIntersect CanNotBeCase
0db947501dede4d29ef5e0158422efe1a3275ce5 InDef0 SetIntersect CanNotBeCase
7eca5b139b81124a8e705659fc95b8591663a607 InDef1 SetIntersect CanNotBeCase
f4606a5838308ec5e7a8a71c71ade56360137134 InDef1 SetIntersect CanNotBeCase
f60a66c4e4004ae65e6b044c83af6ddeb401fea7 InDef2 SetIntersect CanNotBeCase
003bb701097f63fe80d77b9af4d71b39a97019a6 InDef2 SetIntersect CanNotBeCase
8cc16818bc24be252784fc2c990ad5fa86c20a38 FunInDef SetIntersect TypeMismatch
fa4732f92f08f13e4c5b3e728ae7ed3f57126018 FunInDef SetIntersect TypeMismatch
9fb0e97c9fded26bd3fb5bfaa6de0405576c32c0 Exists SetIntersect TypeMismatch
4f37175b317b8fccfa4293b3b19daaeb757d3192 Exists SetIntersect TypeMismatch
e8cff26f5197e7863eb7d87d2b95d5033279fcd9 Forall SetIntersect TypeMismatch
6f7c9211f317112e2ad1f6a7ac01360d6d63c663 Forall SetIntersect TypeMismatch
b13c8ec4e40aa58463a2c7fa9f9bad4a3eafb0f3 ExistsInDef SetIntersect TypeMismatch
329449f2d9ffa01512b8c61ec55f0e021dbfd97e ExistsInDef SetIntersect TypeMismatch
485729859d2abdfe7bb03320b0cf742b288851e8 ForallInDef SetIntersect TypeMismatch
0dca3f6dac67b0a4327e31e9e4322bb714580357 ForallInDef SetIntersect TypeMismatch
69f9fb7df7e589152baf15bef2ed562f7fabf5be Choose SetIntersect TypeMismatch
e6c530c647eccf339690b81cb51caecc5abe611a Choose SetIntersect TypeMismatch
dbbcaa5e1bd291ddfe50b211b18bdf1b929d9fa6 ChooseInDef SetIntersect TypeMismatch
0a80309f6de0531c511f2f719e7317974e286626 ChooseInDef SetIntersect TypeMismatch
502ef701635d7a7607a8c11974c9356421e2e34d TupleEmpty SetIntersect CanNotBeCase
16a0c5ea91f9a5254016b57e0674ef6af1ae8dc3 TupleEmpty SetIntersect CanNotBeCase
2d4a61c5c4a766f50afefbce8d472329b6e6b82e Except0 SetIntersect TypeMismatch
7940203af5d71da848bef7e940c8fe2ec83dce74 Except0 SetIntersect TypeMismatch
0d6a4afd9c31608105b1d9695ca81606bf18e6f0 Except2FunTuple SetIntersect TypeMismatch
fa2f05a513065fdb701944da661993c7828887ff Except2FunTuple SetIntersect TypeMismatch
9fffe96e4536690c71fd316d7e247f941df7a9df NumZero SetIntersect TypeMismatch
5aefd893d6748259ea9ba95d5c6f3ac7b4a947d7 NumZero SetIntersect TypeMismatch
a3042c5c73e3e4f3bdb36c41bf223148d800e4c6 NumOne SetIntersect TypeMismatch
ed61d44cb2b8038588a21136bbe951731e651a4d NumOne SetIntersect TypeMismatch
04dce2d3494177b02738f40bf905587bea6a0c63 NumMaxInt SetIntersect TypeMismatch
0b66ce0c7138100ea6604d749bc832a159d0e811 NumMaxInt SetIntersect TypeMismatch
9151063d6188e350be359759f9adf876b8e7e5c0 NumUnaryMinus SetIntersect TypeMismatch
3c1f202d3db0ec915a5b9c7ef701f737cba3b59a NumUnaryMinus SetIntersect TypeMismatch
5459497ca6e6c8dfc0417b502873ace3eb60247e NumPlus SetIntersect TypeMismatch
d9d53f32ee5e0fcf5d4657285a6647740a289faf NumPlus SetIntersect TypeMismatch
a15a0c54bd0df0b3ec9aa4b627f5449a9f4ff42d NumMinus SetIntersect TypeMismatch
9ec03e2d99000c16611424445da22a63a02ffb98 NumMinus SetIntersect TypeMismatch
b1709119a27e8cf8fe33747cc0509f89b9e37032 NumMul SetIntersect TypeMismatch
43dd539cd47056b22da6126ade2a82bf7379e53a NumMul SetIntersect TypeMismatch
918cc3620d6e8d8522006112188b7b94f0526c3f NumDiv SetIntersect TypeMismatch
843ff97f41d46123c6a8fe907bfa50ab0583a7c3 NumDiv SetIntersect TypeMismatch
6c8331fd1606c6f8695b808e7cf08c2a6e8825d0 NumMod SetIntersect TypeMismatch
d7e6c60597487959b5dceba3ce7e361ef124bdbf NumMod SetIntersect TypeMismatch
a8c2bab4730cf73c2db5ec51417e88382a655fef NumPow SetIntersect TypeMismatch
17a1c2e4d12951a7c4041c3d6915968459eaa2a4 NumPow SetIntersect TypeMismatch
7d2d37533e5e447c887b7d699d99c109d7fd0b04 NumGt SetIntersect TypeMismatch
f0d3eb65279306660993e107ed7e2e4bbb392904 NumGt SetIntersect TypeMismatch
a8f5a8df0174d01bb46818945bdd44b27a0cacde NumGe SetIntersect TypeMismatch
d6981b2b9a8426ab4d07fcb30183aa283e7c2f82 NumGe SetIntersect TypeMismatch
8925e64b9437beee74304c81de4ec50264dbc74d NumLt SetIntersect TypeMismatch
fa35f6ffe70ff4179719fcc0dbd9870b736ee755 NumLt SetIntersect TypeMismatch
2ba9473a842db0f08be80f92368b9cfdc68dd8f9 NumLe SetIntersect TypeMismatch
bc1c4cd8e3451e339ea9539947540071ea3b7270 NumLe SetIntersect TypeMismatch
cbdb1f4b745f6970fb8672f3492a45a9abbd4dcc DefFunInDef SetIntersect TypeMismatch
485fc91ff55c01c92be6333d56838e25d1c53f78 DefFunInDef SetIntersect TypeMismatch
59dbd3b24f3d1fb5edee221c660096726d026b24 LetDefFunInDef SetIntersect TypeMismatch
ccb385e37a7f678c2d89e7074003cc09d1cf2e9d LetDefFunInDef SetIntersect TypeMismatch
d46d0ca8c046166ade27ff4a9a0419ebe2d6db4f ConstantModelValue SetIntersect CanNotBeCase
18ec656de8ed4d99952b863b02935b513482e831 ConstantModelValue SetIntersect CanNotBeCase
4ffe89e6378069ae4ac8729ba6c3c2e6f4539757 Enabled SetIntersect TypeMismatch
686697d0a0b6e5c119f1e6dc65be9320f6bd348a Enabled SetIntersect TypeMismatch
e0ca6420053db137da069d30843987c4894d88aa Assume SetIntersect TypeMismatch
698c3019f9918ba6d99d91004b09a768c4ccd58e Assume SetIntersect TypeMismatch
ff1fdf5e3e3e93850a04eefc4c1fa1441583343e AssumeNamed SetIntersect TypeMismatch
be53b7a28e3d26593b3282cb73fc6b4b7c7e4d06 AssumeNamed SetIntersect TypeMismatch
05e70697875917ce1c6c6f51e652ec7e62aa6216 IfCond SetIntersect TypeMismatch
3b59eca63d080c16fea55bac2d436bec729849ff IfCond SetIntersect TypeMismatch
260e91f00a61b936b7af0e0cc8d35f1732e42833 Domain SetIntersect TypeMismatch
f4773b563775304f22b9ab848c32fc0dcb65e4e3 Domain SetIntersect TypeMismatch
8f059ac12e6c42bcd30f334996de69d152cb4742 Equivalence SetIntersect TypeMismatch
02d6882d0d6b53ed0e1a3292804fd3ee355155e8 Equivalence SetIntersect TypeMismatch
3178aa5ac90cfc067def9b1832e5a5ee34016bf3 StringEmpty SetIntersect TypeMismatch
0c1f8d80c01d5fcc6298fbb8d03e5160b8b96bf3 StringEmpty SetIntersect TypeMismatch
def93e22e6a29e6c95e15d8a7ad4f30584f1a49b String SetIntersect TypeMismatch
a13979cf0258c886d6220ba7a139d5ecbad76e13 String SetIntersect TypeMismatch
3dfac05dd54d92b23c6e5e88cf791ba6f6b6f0f8 SeqLen SetIntersect TypeMismatch
0d56b415270de167815ee61e83ea8c779c0bc73e SeqLen SetIntersect TypeMismatch
89c647d32a727f4a30ed18201b8a9370255aacc6 SeqConcat SetIntersect TypeMismatch
2fe04b89d6f165d30ecd9e9875c8aeb9768de433 SeqConcat SetIntersect TypeMismatch
309c86b770d03cc443cb42fb93cbdb97a9d6f8d1 NatSet SetIntersect CanNotBeCase
6d6e9604c106fad7c04cf43208a907a2151be4c3 NatSet SetIntersect CanNotBeCase
a00132d30dc5d76486c89c8100a00bb76de9312d IntSet SetIntersect CanNotBeCase
bfbf1c7cd309ef7123e14f7b6e61bc750a854b2d IntSet SetIntersect CanNotBeCase
7b8d4f3efc839b8e45c8e78dedab886bc05169c4 StringSet SetIntersect CanNotBeCase
4784772f6fbd503bc745ef933848ec94f094df45 StringSet SetIntersect CanNotBeCase
7471d78b238019621e872a7f565cb102ee13a643 SeqSelectSeq SetIntersect TypeMismatch
1fcf173956e7c14fd11c17ba1eb94c0b15ccb75a SeqSelectSeq SetIntersect TypeMismatch
30ad55acc4d304c8df1f5f9ad8e24492e3f6c0b0 SeqSubSeq SetIntersect TypeMismatch
9ca1afd9712d992f9646e3a65f9240ad4cdc6b49 SeqSubSeq SetIntersect TypeMismatch
568e6cc1784f0b749b19450a8e7df43be001a0cf NumRange SetIntersect TypeMismatch
7e0e88da632d102f8f5625774c6ee8942e7f7115 NumRange SetIntersect TypeMismatch
00ccfb7b3e3125774b43012fca863115dc44b54d TlcExtendFun SetIntersect TypeMismatch
5f6e4d3248524dbebf1708b387ad0b3f17bd14ad TlcExtendFun SetIntersect TypeMismatch
61a749e30fcb47ce6dd92dd551d7aed437aaf821 TlcSortSeq SetIntersect TypeMismatch
b9f0ee5873283abc339fa062de9fe3f5e44eeaf3 TlcSortSeq SetIntersect TypeMismatch
5feb2afacfdc7d85fec17aabda37e7203c362703 BagBagToSet SetIntersect TypeMismatch
828a8ad29cec8a3f13e27f9fd4d228477433873d BagBagToSet SetIntersect TypeMismatch
e731e6902666a1f09b21f854ecbf845325cc9e84 BagEmptyBag SetIntersect CanNotBeCase
00404987fb2f58377a96197e09041ce791b98922 BagEmptyBag SetIntersect CanNotBeCase
0113e25d4720ddb8c7b1904141703fb66e6e3574 BagAddBag SetIntersect TypeMismatch
3b02bbc5fe9ba1e84686c3f3fbb47ac5e7e49b7e BagAddBag SetIntersect TypeMismatch
8c547764bffc97eb8e1c65d243e0e667a83ea798 BagBagSub SetIntersect TypeMismatch
92fe5271ff1a3a8e0b7bef4610fb65a98713b1f8 BagBagSub SetIntersect TypeMismatch
4862a3c88c4880e5e52de2a8ad9008e72fe91616 BagSubsetEqBag SetIntersect TypeMismatch
24790e50312ffc07ff7f550ff0c3605c1341dc59 BagSubsetEqBag SetIntersect TypeMismatch
04e5c8ff4616a83f8db9b21ced681cf6fd388e0d BagBagCardinality SetIntersect TypeMismatch
072b89927b43bf13d8d4b460bbd9b3708853ad94 BagBagCardinality SetIntersect TypeMismatch
76197727b3fdb3e3e4263b47ed104ec8bc48bff7 BagBagOfAll SetIntersect TypeMismatch
4456b69fd15b5ee54b5ff8d1800780c16f674d51 BagBagOfAll SetIntersect TypeMismatch
f699a76694c616184c9a489a8bd30b39798be94c BagSubBag SetIntersect TypeMismatch
fc9458f4efa391936cdeb1706af39a7ae2b38685 BagSubBag SetIntersect TypeMismatch
3f1c245505ba08ddc9a8fa8f71ce74d1acd17444 SeqHead SetIntersect TypeMismatch
2720be0d80ff4ce4a411b1ae4d32b6d03b1eb4fc SeqHead SetIntersect TypeMismatch
69ce0a61c802455faf8a76e71ecd355360b5d642 SeqTail SetIntersect TypeMismatch
759438651079d943a702d0bfbe869352a6df5475 SeqTail SetIntersect TypeMismatch