Index

Skipped feature combinations by plug feature BagBagToSet

Id Case Feature Plug Feature Skip Reason
dc4d54634f31e717d8f973828542df39acc78671 OneLineComment BagBagToSet CanNotBeCase
9197de09d0819144bb2e945380243a673ffeedad OneLineComment BagBagToSet CanNotBeCase
10380b91445dacd5c04a5221610e9c90eba5c52f MultiLineComment BagBagToSet CanNotBeCase
9c372e636681bc1f97fdfcf4350445006d3e870c MultiLineComment BagBagToSet CanNotBeCase
1f68267fbfef009a2943ba2bba6d7addab9c8b31 BoolTrue BagBagToSet TypeMismatch
9f0c4494d6543fef6e0a9a98ede8d655aa102b23 BoolTrue BagBagToSet TypeMismatch
bce1af5a1cff1d54daeeaa2581f599cecf7a1491 BoolFalse BagBagToSet TypeMismatch
bf1b6b58f2dc9826bbbac431d70ef842aae9ded9 BoolFalse BagBagToSet TypeMismatch
94da9386398c4469187e4b56aa239d68ec1b45e9 BoolSet BagBagToSet CanNotBeCase
fa26432b010b13d277d12476fb069f7c13f3952a BoolSet BagBagToSet CanNotBeCase
f7854a6d7be15b413f7abc17c535616288d66b19 And BagBagToSet TypeMismatch
801267c511f6efc8d21624fcf5efb6f1718e34b4 And BagBagToSet TypeMismatch
ebbc511fa04c11e4558152124b8549d9ce37e376 AndMultiLine BagBagToSet TypeMismatch
1a3b76e27ac63269461c7d730c24772135e2fd5a AndMultiLine BagBagToSet TypeMismatch
fe4398de8a8aa8abeb8901ea2b2fff64bd5a3ded Imply BagBagToSet TypeMismatch
98b0cefe8eeae721d43481ade600afe3f425344b Imply BagBagToSet TypeMismatch
32fceb0122bd40647a46d274209901986d45a322 Not BagBagToSet TypeMismatch
99875af10027c4f09023d8562aee229158ffbc58 Not BagBagToSet TypeMismatch
f02665da61bf494e72f085fdd9039355f2258c45 Or BagBagToSet TypeMismatch
1523bcb007d910b4a42c79749724eb9bde86b565 Or BagBagToSet TypeMismatch
da5f8bbc8dc4721b3c23895dd5a2aa77b0ec14b0 OrMultiLine BagBagToSet TypeMismatch
a79bdda1877e106059abcaa52a6221f7b798dbc0 OrMultiLine BagBagToSet TypeMismatch
cc696f244feed397fa8d764c85297a0d4dbf5110 AndProp BagBagToSet TypeMismatch
68dcfb435ef6f4c3adc3f1fe8c14f920660be73c AndProp BagBagToSet TypeMismatch
05b6a6a056db42241ced67164c9ad3b6a9384a95 Boxed BagBagToSet TypeMismatch
8f68ef1b31624b1f7a7cee019ae6d2178238ffac Boxed BagBagToSet TypeMismatch
f7f0987aa2d8640aa997c908b096426ceef7cb82 SetEmpty BagBagToSet CanNotBeCase
19d6a29e49d58db989018cc74f655c47b83bd158 SetEmpty BagBagToSet CanNotBeCase
de0f8cec4bfef96879660c37e56d96d284e4d59a Set1InDef BagBagToSet TypeMismatch
49ae0b61d5e4717aec8f056d5eaeccb5801258f9 Set1InDef BagBagToSet TypeMismatch
82f57d7afd51aa2c06002b9d92f2c5a6f85c9ecf Set2InDef BagBagToSet TypeMismatch
9c8f8ce3fe7c5c0836b9e1ea73d45974b6d24c11 Set2InDef BagBagToSet TypeMismatch
f17d2281466b046e1c27d0f3c6d42e640f8465e1 InDef0 BagBagToSet CanNotBeCase
8253b4e0f24ac4d59a21c65a4b65c3bfe090d2df InDef0 BagBagToSet CanNotBeCase
b134855fc4a74cc204786ec67dc16ef56062adb1 InDef1 BagBagToSet CanNotBeCase
8cc1414c115bdaad02ca953d838f5321556c6ead InDef1 BagBagToSet CanNotBeCase
833406f66a59acac2ecfca60f3087f0dbbc17e9e InDef2 BagBagToSet CanNotBeCase
c51c752102035a9999777d7b1d3b879f6e321cd8 InDef2 BagBagToSet CanNotBeCase
f7f6bec465258f97b1c0de76df9517368348c7e0 FunInDef BagBagToSet TypeMismatch
4f96eb7b7bd92bf0fc539ff4cb3a02a58b8d0168 FunInDef BagBagToSet TypeMismatch
6c10ba73d52cc45026f83aaaf4e930d1c3d45c22 Exists BagBagToSet TypeMismatch
e9ec3119a81a597616cf4f03f12ba77257e4489d Exists BagBagToSet TypeMismatch
d7665d4551fb0af9f54d115b1b554a07664e7a7c Forall BagBagToSet TypeMismatch
a9d4c5e534dc9c77d379b88169e44b68737dcae9 Forall BagBagToSet TypeMismatch
86dc1e69d8d5e7ed228a76e5d25db8545070c149 ExistsInDef BagBagToSet TypeMismatch
57f0e43e649a714dd2e94186f2fd792d416026c1 ExistsInDef BagBagToSet TypeMismatch
f328b2418476968a9f2cac6864e5912e5ff4c57e ForallInDef BagBagToSet TypeMismatch
26a24fe325a1f350d4e36fe1fff56d76b67be23a ForallInDef BagBagToSet TypeMismatch
9982d6818de9843c6f9b58bbf1bbdbcbf5fa7f6d Choose BagBagToSet TypeMismatch
eec076e84a8c7a0640b687a92bb34325a0fa3859 Choose BagBagToSet TypeMismatch
a2283e86e951d5bc47f82a0d7336b502901aa1fe ChooseInDef BagBagToSet TypeMismatch
75eee73fa06318dd0a00c21a057621faf79ff5a4 ChooseInDef BagBagToSet TypeMismatch
d951da6575d2d700c536d9317d9da528a1c12ff5 TupleEmpty BagBagToSet CanNotBeCase
73182f70eb9a3f53dd158f6e7ba480cc830a9557 TupleEmpty BagBagToSet CanNotBeCase
6e739a02fa7ca884f9c009bb339d91d9cbfaedb5 Except0 BagBagToSet TypeMismatch
83c7fa9796bf3c4513ceac8db7eb5097caf79851 Except0 BagBagToSet TypeMismatch
903fdba226c86e6a3136ea2b11690c194b0b0f57 Except2FunTuple BagBagToSet TypeMismatch
3f5443d68ee669937b271317b534e28720b08d03 Except2FunTuple BagBagToSet TypeMismatch
53c3ae37af8705fb9bcc6c71b3259c4cdab4dc80 NumZero BagBagToSet TypeMismatch
36bd5e8f185f4aef5c849e0501fe4a4b113e721b NumZero BagBagToSet TypeMismatch
df40078b76f7217c4511efa810e38d1d88f53333 NumOne BagBagToSet TypeMismatch
bc4a62868e240e63ca0a3f42aa777f02df2f3462 NumOne BagBagToSet TypeMismatch
25d216c70fe2e8aee590472b80389b6ccae3eb6c NumMaxInt BagBagToSet TypeMismatch
cd906c56e522418f8924eace3e4051d97eccc9de NumMaxInt BagBagToSet TypeMismatch
d707d70c2bb56c637be15a992cc66182e41c24fb NumUnaryMinus BagBagToSet TypeMismatch
b7e900406bacd9e4bc1d9c29859127800110fd3d NumUnaryMinus BagBagToSet TypeMismatch
970d83c55084c775b7d64cfbbc39b91f701959ad NumPlus BagBagToSet TypeMismatch
7f4d3407eee888b99c6b407603f801c825876280 NumPlus BagBagToSet TypeMismatch
4de4fa84f99cc3f7eec57d1a239f380fce340b1e NumMinus BagBagToSet TypeMismatch
5492841d913b2e419fb2c45ea2798d793974e4d8 NumMinus BagBagToSet TypeMismatch
2cadb091e9eb9c8ba062ec374ad3d8d68efe02b3 NumMul BagBagToSet TypeMismatch
66f99169b013920b5c1699f1c9a6761909f0e4e9 NumMul BagBagToSet TypeMismatch
a11921db0ac95f4b2ef351d6c1d1740fe8242222 NumDiv BagBagToSet TypeMismatch
b81a000080c55368df090e534f46e202a2dc2ce0 NumDiv BagBagToSet TypeMismatch
cb6191e0aef92df594bf06b8f82e858268cc2eaa NumMod BagBagToSet TypeMismatch
979820dfa296ce48a9ac6fb94002a03ccdd373f6 NumMod BagBagToSet TypeMismatch
59ba5fbad4cf3a5b2483f5398752951e7c8e540b NumPow BagBagToSet TypeMismatch
a37f4b362ee94b8f257772901e93647777149990 NumPow BagBagToSet TypeMismatch
1e004f00130f0ae32f8e554e5a1d84d2218fb0b3 NumGt BagBagToSet TypeMismatch
454088e9fdf4186d2a776662ed9df168a37f105a NumGt BagBagToSet TypeMismatch
6793174958c8907a47d77b9142d588f696d390b6 NumGe BagBagToSet TypeMismatch
4d61c5d9a8ecab9ae3cf7bdfdfb2aba9b9be4632 NumGe BagBagToSet TypeMismatch
cb0dce0da006717a608bdb49214fbff87e104b78 NumLt BagBagToSet TypeMismatch
27bb4052df373491cd1a013428fc82795dbc8568 NumLt BagBagToSet TypeMismatch
c875f540b1dcc009f8239bc2ceebd00bfe83a507 NumLe BagBagToSet TypeMismatch
7ecc621a9d301ae4f6aac96e3520352ff96b173d NumLe BagBagToSet TypeMismatch
26f919c99d7dbcc3f34b9c07e86b833e9a90cc3b DefFunInDef BagBagToSet TypeMismatch
e4a149f1507735187f0fc1ed392c5975bd1153dd DefFunInDef BagBagToSet TypeMismatch
5567c779f44a6738ff7e321589973666005ec5af LetDefFunInDef BagBagToSet TypeMismatch
5d8de624d830ec6d67e14ff6dbe95db9f5c26505 LetDefFunInDef BagBagToSet TypeMismatch
0f5597a777715afecc491be84394768e6d4f0d78 ConstantModelValue BagBagToSet CanNotBeCase
3c53c9309b303910a7b9a9a644392abcfb5de9cf ConstantModelValue BagBagToSet CanNotBeCase
f5b086cb0f8a7f097ba4f545cee74039f7b48011 Enabled BagBagToSet TypeMismatch
c48242dd6fa9e830a2333ee17a6c575ccc25bb89 Enabled BagBagToSet TypeMismatch
4aca732aa6c472b826fd0312e1ea9dadf5c6e76c Assume BagBagToSet TypeMismatch
684fd6c968007a0c788bae12e0a8b404aa88b70a Assume BagBagToSet TypeMismatch
c505074f3e39d25e447ddf18377a5484c27becb4 AssumeNamed BagBagToSet TypeMismatch
fac782777184ab00680a9b29f9e6c17239de0b85 AssumeNamed BagBagToSet TypeMismatch
dd2b4d73fa0e1680fd64b574154f36227b46a26c IfCond BagBagToSet TypeMismatch
fa627a0a82ffe9a505450097b5cf4a174d8efd8a IfCond BagBagToSet TypeMismatch
d4a0fd42c43958cbe4d4a1e788c9b9c8737eeba5 Domain BagBagToSet TypeMismatch
561a1a49261a1ac6045419e656597ace36623aab Domain BagBagToSet TypeMismatch
fbf90bb329a9ca04ec3e72c52ec7f050970adb65 Equivalence BagBagToSet TypeMismatch
8814c745b77a584e120c08b6510d0b7bb9fb5d95 Equivalence BagBagToSet TypeMismatch
555f07901d01da8c38a177cde15ce1c818d0cc26 StringEmpty BagBagToSet TypeMismatch
3a1acde45a567fff40e48f54c05167127c14b6a2 StringEmpty BagBagToSet TypeMismatch
67d0c1513ed196cba2173996def8137e8b6c870b String BagBagToSet TypeMismatch
4fd9f03c6159342f74bf96784def61b53cb9753d String BagBagToSet TypeMismatch
8566f4c3ccbf3f234ea624b56da35b638b00d42d SeqLen BagBagToSet TypeMismatch
1e3fb3a8457157506cc3098d0b957297e42f866b SeqLen BagBagToSet TypeMismatch
1e9487e854603adbf428715450e2d20347b11de3 SeqConcat BagBagToSet TypeMismatch
a73ade22a18f7c535776d7d0193e4cb3bcd86d7c SeqConcat BagBagToSet TypeMismatch
d37af01ffe62e5d8fdac21e815cdaeae5294b57d NatSet BagBagToSet CanNotBeCase
4fd46f5c49827e8b86876310f63de32ff52b1936 NatSet BagBagToSet CanNotBeCase
3aa4e0f937f73847a80dbc8d3296b9e99a4a2cea IntSet BagBagToSet CanNotBeCase
9e5372ae66892197ff99718f9804f16277753c86 IntSet BagBagToSet CanNotBeCase
0c71f12ab8cf9e527c4e9427e3df0edf6f998811 StringSet BagBagToSet CanNotBeCase
4e0fc39178505a97f4f2c31ae949b4580539f882 StringSet BagBagToSet CanNotBeCase
a113a42af6aeb095edf18f6626f88499b46ac230 SeqSelectSeq BagBagToSet TypeMismatch
e76fde3214b46a4dee26f8038a8745432d0777eb SeqSelectSeq BagBagToSet TypeMismatch
9a2dcd56c558c48a8cce609922c6334a44758751 SeqSubSeq BagBagToSet TypeMismatch
a4fd83cbca1cab970c70b89ee1a452272e9aab26 SeqSubSeq BagBagToSet TypeMismatch
75b3c1d814b08ec53ea3a5bb0c65077cdd74198f NumRange BagBagToSet TypeMismatch
5abeb90550d9ed9e7770f09b6b56cd047fbffcbe NumRange BagBagToSet TypeMismatch
a56738d4fe7d57207c79dcf111a98f0dc1b2e6b9 TlcExtendFun BagBagToSet TypeMismatch
e7cc286bf8681c0986d902cb9fcec6021d2e078c TlcExtendFun BagBagToSet TypeMismatch
e993f02c89602896614f1f3a92ecf3d906a21c6e TlcSortSeq BagBagToSet TypeMismatch
c5cbd7d4638577a6a9b19f8e752f33342a317c44 TlcSortSeq BagBagToSet TypeMismatch
65fe30625dc4a1cc6b9736f83e7a75b78bfc95cc BagBagToSet BagBagToSet TypeMismatch
9de70f49c4a12be400b52757e2cab4e2a8473ffc BagBagToSet BagBagToSet TypeMismatch
3b884c89ad5368f56689b207f9064f7008b237dd BagEmptyBag BagBagToSet CanNotBeCase
777d726c4a81eaa7c7f61ff4cb88c9bbfe46a8c9 BagEmptyBag BagBagToSet CanNotBeCase
50f26d3879eb062ecc9a448b10c5515fc49345ea BagAddBag BagBagToSet TypeMismatch
95042e1f6a64b1a01a898d3070af44193b697042 BagAddBag BagBagToSet TypeMismatch
f94a099a19c4d96d3abb67a32918783ba4d5ac77 BagBagSub BagBagToSet TypeMismatch
26c6f99ea2b42a0e73034225f6108a0b08bced2f BagBagSub BagBagToSet TypeMismatch
54c2c4f57ff3c48ccb91fcb6b6bc3e616eb0cf95 BagSubsetEqBag BagBagToSet TypeMismatch
0fd111609a636cbbab508d0ceb15ed00478e08fb BagSubsetEqBag BagBagToSet TypeMismatch
9ac80ed8c7fd1e240d591aae6ba76e6da97e8e6a BagBagCardinality BagBagToSet TypeMismatch
13446204ba69e2861761278239482dd132ccf4da BagBagCardinality BagBagToSet TypeMismatch
511bd8f8fe86db6931acb19d1e0c70b299c5c38d BagBagOfAll BagBagToSet TypeMismatch
fe2a12531d454f43b038f4311e9f813d76d8b8ac BagBagOfAll BagBagToSet TypeMismatch
beffd07bf1667e6e746f551c770815ca82ce79a8 BagSubBag BagBagToSet TypeMismatch
7dfa050a73fb7666cab74155e35d3e49cbf194a1 BagSubBag BagBagToSet TypeMismatch
164be6ebc4ea18e9be5cc802c7613e59106754ff SeqHead BagBagToSet TypeMismatch
b9bb5611c422b97ab39f44026fd1c7452a1c0b26 SeqHead BagBagToSet TypeMismatch
0789acbdede9df1faa39cac97c50495728542bc8 SeqTail BagBagToSet TypeMismatch
b46e98b51dddbd66ec0dd61c1b0fad81a87d9541 SeqTail BagBagToSet TypeMismatch