Index

Skipped feature combinations by plug feature BagSubsetEqBag

Id Case Feature Plug Feature Skip Reason
a1740df7967f54c5ef01b0f18ae2227a9a33f08e OneLineComment BagSubsetEqBag CanNotBeCase
a95a73b46cc60d45f77b1e5ca951289930ea31dd OneLineComment BagSubsetEqBag CanNotBeCase
272f03c03794352442a35b4bf72156a1007155a0 MultiLineComment BagSubsetEqBag CanNotBeCase
d9ed357146b6604b9a87224ba7d70e55a274f8a8 MultiLineComment BagSubsetEqBag CanNotBeCase
eea7c6165b51ca191815c50c4761867b4d517c7c BoolTrue BagSubsetEqBag CanNotBeCase
bdfcb11fac4d9160b4a031a966b2a3ccdaf64193 BoolTrue BagSubsetEqBag CanNotBeCase
dac6286c4edb729f6f05129eab31939f94d4260f BoolFalse BagSubsetEqBag CanNotBeCase
da97dc50c3dff77576a9fcee3371d43f87281ffb BoolFalse BagSubsetEqBag CanNotBeCase
e577e890efb573904fecba83d352799136d9f04e BoolSet BagSubsetEqBag CanNotBeCase
56b8369e9179bfcc99d26f2eb147a2c1fcaeeeba BoolSet BagSubsetEqBag CanNotBeCase
b714ab5316449744cb2ee4f98eefb0d08e4d059c SetEmpty BagSubsetEqBag CanNotBeCase
ace8ebed7bc8cfc0a19ba453374c657988e94aed SetEmpty BagSubsetEqBag CanNotBeCase
bc397b453881c12fa6a69b0c529b7253a91da54f Set1InDef BagSubsetEqBag TypeMismatch
64f9c1788c5cbd0790689997f767bf74f4479e6f Set1InDef BagSubsetEqBag TypeMismatch
262a13e9ec920491e3888825072f17ee844fd4cf Set2InDef BagSubsetEqBag TypeMismatch
4278f22e2300bd34ffc187921a9febd93d4b0cf0 Set2InDef BagSubsetEqBag TypeMismatch
57ce0115f36f6e2a886016f8b8e2468717bdab07 InDef0 BagSubsetEqBag CanNotBeCase
4a30607e17485b55ce45fcbe185391272c774a03 InDef0 BagSubsetEqBag CanNotBeCase
ea90f73b8c7b2bb9cee956e09d427cf6e114f414 InDef1 BagSubsetEqBag CanNotBeCase
ce6787b7da67803c51a6e6db3f21f82d04fed57d InDef1 BagSubsetEqBag CanNotBeCase
64c358294b0a13a4e69580a390c8d435983a78a6 InDef2 BagSubsetEqBag CanNotBeCase
29165aed89ddb123fca9ac9757a81cfbe5671846 InDef2 BagSubsetEqBag CanNotBeCase
32ebb728b1c2ea20b3adf9a7b677bd13a1c0e46a FunInDef BagSubsetEqBag TypeMismatch
2cefb0d9f762e5c69d472b0b1232ccd1a9cc612d FunInDef BagSubsetEqBag TypeMismatch
9968a7e3aefcdce0a056afe7858ddda6d7a73d32 ExistsInDef BagSubsetEqBag TypeMismatch
5331146dd5bfa2d069c5fa7255132b03a41fbc31 ExistsInDef BagSubsetEqBag TypeMismatch
929c5e555b38fdd13bd39fba7631592c1fbebc04 ForallInDef BagSubsetEqBag TypeMismatch
102af654a3f36388d94a08f87a09069c2f4e0e61 ForallInDef BagSubsetEqBag TypeMismatch
a409e28c3c0f4487d1991fbbbbec7cf690fd7f06 ChooseInDef BagSubsetEqBag TypeMismatch
d3f1eb5d4b60ab63782f10957d19fe66c6911891 ChooseInDef BagSubsetEqBag TypeMismatch
b3e3ec493035c72325e8abfd9e19c515ee47958c TupleEmpty BagSubsetEqBag CanNotBeCase
6f64fd1654415e0c36c7299885b0897b0eba33e4 TupleEmpty BagSubsetEqBag CanNotBeCase
c8a8d53f5a2fe72643c323bbdc97e809852c8211 Except0 BagSubsetEqBag TypeMismatch
89560cb00fa3509a62b589ccfe0b4061a3bc76fe Except0 BagSubsetEqBag TypeMismatch
abca38451d84e97ac78c1519f32feca9d74ae722 Except2FunTuple BagSubsetEqBag TypeMismatch
2d152db7960d924b44964393b6117092ce03918c Except2FunTuple BagSubsetEqBag TypeMismatch
f2ec43897e052aca33f3bc4630ffd5f59d70ac4d NumZero BagSubsetEqBag TypeMismatch
6ba7c44c8247cb8cccaa5ce7c63555c6d344457a NumZero BagSubsetEqBag TypeMismatch
4ca276193c17159fcdd139e5690772ad4514411d NumOne BagSubsetEqBag TypeMismatch
cb37c93b2459eee1594a93a3dc3a76927ab60d4a NumOne BagSubsetEqBag TypeMismatch
926e13bd0baad2e964b59a4af0db96e23244d564 NumMaxInt BagSubsetEqBag TypeMismatch
4930e03223a6d5f28debcce3d931c4224a6ba9db NumMaxInt BagSubsetEqBag TypeMismatch
f0e4ba410e3a7a6947bad6dece70826e186b192b NumUnaryMinus BagSubsetEqBag TypeMismatch
eaf4de581c842c6a049f8a6e1468718e8f1193f3 NumUnaryMinus BagSubsetEqBag TypeMismatch
f127ae25657298c4869b808702c0ccd5fdf72852 NumPlus BagSubsetEqBag TypeMismatch
6fd8f314d66d3d0e5f832ca97c360d992d3b26c4 NumPlus BagSubsetEqBag TypeMismatch
5d70dd559afcf33b9ba3d106f737cab733da4dea NumMinus BagSubsetEqBag TypeMismatch
bf7dc8be5a3ac520c0c7830abe2e1bb57c647bee NumMinus BagSubsetEqBag TypeMismatch
d96e471d3a9d7689c721c132383c1708a17e05c3 NumMul BagSubsetEqBag TypeMismatch
3ae4089e86ea49f59d06c6a7a770252bf4fb411b NumMul BagSubsetEqBag TypeMismatch
3b8c2eb014cd277738b89eaf53264cc7f40a3e9c NumDiv BagSubsetEqBag TypeMismatch
dc35cd44a1ef5aa9e53fe3c63fdea775240ec3f0 NumDiv BagSubsetEqBag TypeMismatch
242c9361b1b5aba41bdc475cb8516cf00c5cdf0f NumMod BagSubsetEqBag TypeMismatch
291f88ef0c8526156286abb313dbee5af393c16f NumMod BagSubsetEqBag TypeMismatch
9cb391bc044a46e57d96fd91916e0bb14870998e NumPow BagSubsetEqBag TypeMismatch
ae9f19ae59acd36e89d20b89bf688a054f85af9c NumPow BagSubsetEqBag TypeMismatch
e4d2696010a6f86e2a729016e5fa90d3357ea1c6 NumGt BagSubsetEqBag TypeMismatch
c54bb0e21c0783bb873290ce181cba03b085ea77 NumGt BagSubsetEqBag TypeMismatch
f6d436c7a3fc9cb1047f7ea00bc4716731e9843c NumGe BagSubsetEqBag TypeMismatch
bcf26497d1a2c9bd3c23d25e50a8bff14b2ddccd NumGe BagSubsetEqBag TypeMismatch
e415eba032954434f944e006742f77a6327d9d42 NumLt BagSubsetEqBag TypeMismatch
24434e60c5207a442cd7e7e546a441130fec5c63 NumLt BagSubsetEqBag TypeMismatch
b43bc22661280159ab31d05bbe9cda6721f5d7e1 NumLe BagSubsetEqBag TypeMismatch
f5b4424d53514f6fc3640f7b3d346741915c4fcb NumLe BagSubsetEqBag TypeMismatch
1c58919c39e428c341af302347e03875ce7b0e1a DefFunInDef BagSubsetEqBag TypeMismatch
b1e584db12d027d6c6a648c5d1ac00a2d5130f87 DefFunInDef BagSubsetEqBag TypeMismatch
1416f322adb026fee9f648c233dd621542e97ed9 LetDefFunInDef BagSubsetEqBag TypeMismatch
e9d3a6e33a398603aad59992f3f644907edcd07d LetDefFunInDef BagSubsetEqBag TypeMismatch
e8f98d56dc638e09e3126c2e7c302e09026d48af ConstantModelValue BagSubsetEqBag CanNotBeCase
60681f8b13644090e4649f849daa5c154586b421 ConstantModelValue BagSubsetEqBag CanNotBeCase
a21a75a6f3e2239b466b33ecd94b49ac6e1ac769 Cross2 BagSubsetEqBag TypeMismatch
32cd7cd8cfbe1fa4fe771cd37c04a1ca0bcfddb9 Cross2 BagSubsetEqBag TypeMismatch
e27790d76ba4cef9b94acff4fd679f04baae0bbc Cross3 BagSubsetEqBag TypeMismatch
f199ff308653bb5549268b2781728e723974818b Cross3 BagSubsetEqBag TypeMismatch
1af8d2d6535be393a1b96472e28f9f1e45ddc221 FunSet BagSubsetEqBag TypeMismatch
91bfb3829cc192b530338032e6695bf250f5cd62 FunSet BagSubsetEqBag TypeMismatch
1970a6c5c6a34fb53900b4462202ca0045e226b3 RecordSet BagSubsetEqBag TypeMismatch
79caf40f529811a83aebac5d366151eaec426cb9 RecordSet BagSubsetEqBag TypeMismatch
a766ec973441187f1c73ecd9769f858eff009b4d SetDiff BagSubsetEqBag TypeMismatch
b06efa68c24c9d31c64277c4fad8513bac1b5712 SetDiff BagSubsetEqBag TypeMismatch
eb09914df013692dce3bb8285526fcd205cf71e8 SetUnion BagSubsetEqBag TypeMismatch
244382a52b70ad880e917e18670c346a2a31e299 SetUnion BagSubsetEqBag TypeMismatch
e8e7ed47848311efdda640ff64b70141e1f3a712 SetIntersect BagSubsetEqBag TypeMismatch
c7721d491508330c17a6bb64de43ab3b847b8fcd SetIntersect BagSubsetEqBag TypeMismatch
54a4ad1441a55daf4435b45f4d1143a9e608730f SubsetEq BagSubsetEqBag TypeMismatch
72a26bf0c9f4c5a9418b0ce41381e350357e721b SubsetEq BagSubsetEqBag TypeMismatch
ae71feee6d0f56868f501e6b82f7c915c7262c64 Subset BagSubsetEqBag TypeMismatch
e5fcc248b4761aeeeea179e2e1302fe46f4b8cd6 Subset BagSubsetEqBag TypeMismatch
cdb5b17b8b5da3e985f08b551454acf6e93b0dc0 Domain BagSubsetEqBag TypeMismatch
9927f6bb5b2981eebf515860e4d218f9db1960c6 Domain BagSubsetEqBag TypeMismatch
7389036ae2fe2d85823b5b03baf67c1ae051792c Union BagSubsetEqBag TypeMismatch
87a09abfb6ceb62b507c6b67aea9d8b00a248e9f Union BagSubsetEqBag TypeMismatch
6fe629367c1a98075720bb32b24215b25bb96114 StringEmpty BagSubsetEqBag TypeMismatch
fe21fd33aaa548f599aea79f8c4ccbcef5566403 StringEmpty BagSubsetEqBag TypeMismatch
25594be97d3b7904b1bd6f53d796a40d327ff1e8 String BagSubsetEqBag TypeMismatch
84bd6de5d51dc54a3690401296ac2baa5342f981 String BagSubsetEqBag TypeMismatch
05c0cedc78c8fa01c528dc112149fef12958e836 SeqLen BagSubsetEqBag TypeMismatch
d161a05a7f892d17af5e3988c9404192c55f04db SeqLen BagSubsetEqBag TypeMismatch
1a415219d9c4a059c6d3061d383eac79f3837f3a SeqConcat BagSubsetEqBag TypeMismatch
c208e604758bbbe3324fd3d889eaf11703afca0c SeqConcat BagSubsetEqBag TypeMismatch
d3c1d7761bdef0b31e952fa9b46845ed12f17658 SeqSeq BagSubsetEqBag TypeMismatch
13af3262470d473a4384d86a1fa5935a5f208d3e SeqSeq BagSubsetEqBag TypeMismatch
d281149158652969da11ba623c064bc591aa93ff NatSet BagSubsetEqBag CanNotBeCase
f1a32cf065194a9316aef7bcea517a35323226c9 NatSet BagSubsetEqBag CanNotBeCase
3c4248085b65e37d8dcd20016bd1d8a220c719c5 IntSet BagSubsetEqBag CanNotBeCase
82542eab57046533951ae5cc66e72007ef6d0dcd IntSet BagSubsetEqBag CanNotBeCase
9263c8d5af46676c6d9afd680329303e1c5a43ac StringSet BagSubsetEqBag CanNotBeCase
b2966f4d867ec48c12e5b7a56bf976fb7a784734 StringSet BagSubsetEqBag CanNotBeCase
2f52818ce98906875282c841d8ae7193916f8b76 SeqSelectSeq BagSubsetEqBag TypeMismatch
db4f5620c08df334c8e24200db59c9a795d98224 SeqSelectSeq BagSubsetEqBag TypeMismatch
175c83b791751eea1bb3c6c2a2d92a7e6bfe8a8d SeqSubSeq BagSubsetEqBag TypeMismatch
a0b60461ec3ef168af2f0d479cdd6be66e7261df SeqSubSeq BagSubsetEqBag TypeMismatch
d9a196aa690e7f95b2062c74fb2c70cdab2b55cf NumRange BagSubsetEqBag TypeMismatch
49cebec08d4a6a3bc6c6336d3fbb5bb8e31ba8e8 NumRange BagSubsetEqBag TypeMismatch
457d17b50931f21c2a5cae44e941da86d3174906 TlcExtendFun BagSubsetEqBag TypeMismatch
701157bc1dcdd3833adccf3066c02d8766813ecf TlcExtendFun BagSubsetEqBag TypeMismatch
224cc8c11981b74dc1e197fd3694f93b4c670ca1 TlcPermuteFun BagSubsetEqBag TypeMismatch
06ad20915641959e2d5519274c4564258b9c4b27 TlcPermuteFun BagSubsetEqBag TypeMismatch
35ba853f37fa6ce2d2a83a8c20f05be7ea22c73f TlcSortSeq BagSubsetEqBag TypeMismatch
4e91df3691d6d5d17af58f8de9640b9e8a18cdc1 TlcSortSeq BagSubsetEqBag TypeMismatch
43c7a14f06aeb44acc2cb198b52e49c9e6354ca4 BagBagToSet BagSubsetEqBag TypeMismatch
c6e442cb2c6f95349c9fb69c470ddd984955ee57 BagBagToSet BagSubsetEqBag TypeMismatch
79823ef894d01ab424b05a89531b149a4f4a5cfa BagSetToBag BagSubsetEqBag TypeMismatch
18061197d18c66217e00391c292bc4f7d6e8d286 BagSetToBag BagSubsetEqBag TypeMismatch
fb7fc5481a5e1eaeeda809d301f480aaa1e132dd BagEmptyBag BagSubsetEqBag CanNotBeCase
3cc211cd0e9ef310af775063eb432af713e27e64 BagEmptyBag BagSubsetEqBag CanNotBeCase
3b08192168e7b1e9036c17a135aea1313e15d4e0 BagAddBag BagSubsetEqBag TypeMismatch
9a5accbfbef1276e095ba715d65241f34d184398 BagAddBag BagSubsetEqBag TypeMismatch
85480fb68aab26145b096171e3e0a4008b8fddc2 BagBagSub BagSubsetEqBag TypeMismatch
0a8bfcbbffaeaae5d60e7bdc947fc883981f464b BagBagSub BagSubsetEqBag TypeMismatch
26088b7e568ceaa0ca698e49159ff2a2a409b5ec BagSubsetEqBag BagSubsetEqBag TypeMismatch
0c9fe974023dcad0111dc0d04762c3792f3901da BagSubsetEqBag BagSubsetEqBag TypeMismatch
3a9f87f9d3cbdb8a21afe03df32e3cd99d16ee9b BagBagUnion BagSubsetEqBag TypeMismatch
5df2119c5625d9f9cfe7894e0433fcaf3293496b BagBagUnion BagSubsetEqBag TypeMismatch
d8f49b43da7177ef668463d18978f939d75bf8ea BagBagCardinality BagSubsetEqBag TypeMismatch
cb47f6238a8b294e8a4783f91f824a42253d0760 BagBagCardinality BagSubsetEqBag TypeMismatch
dea371f1cc8039093290f3fb14b5c1b6381304cb BagBagOfAll BagSubsetEqBag TypeMismatch
d8edd4ce8e9b63f8e21662976b81eeb3eba3124e BagBagOfAll BagSubsetEqBag TypeMismatch
f74155703c50b227cd9aa713c7e189b815fa330f BagSubBag BagSubsetEqBag TypeMismatch
7540e528fa7b9e990e232f534dc13775dd2db772 BagSubBag BagSubsetEqBag TypeMismatch
d146d5aabfa0ee4bf445a4ecfb62d1c8a8bcf4b8 FiniteSetsIsFiniteSet BagSubsetEqBag TypeMismatch
263ae2259b92dec9a1723bd11338af96faf42121 FiniteSetsIsFiniteSet BagSubsetEqBag TypeMismatch
8fd62de82ccfbcfd850067fb6980975c0383d978 FiniteSetsCardinality BagSubsetEqBag TypeMismatch
7e02b8652c1f877d8ef6827d174fac7ef7741f0e FiniteSetsCardinality BagSubsetEqBag TypeMismatch
c6dd5f42dcc608fa8fb98c223d221a2aa3562d78 SeqHead BagSubsetEqBag TypeMismatch
eaf7161cd0f92c6971fef98fd49d1f93b3dda13d SeqHead BagSubsetEqBag TypeMismatch
76cf29ac7b83a0cf5b3dc1834b30e8c8c2bfdff4 SeqTail BagSubsetEqBag TypeMismatch
f3165a86d596f35a8e70f2a60941355572724d8a SeqTail BagSubsetEqBag TypeMismatch