Index

Skipped feature combinations by plug feature Imply

Id Case Feature Plug Feature Skip Reason
7e47d4a515aecd946e2b235c2c546f781740aef8 OneLineComment Imply CanNotBeCase
10aae67fb23caea95c570034193536cf87d359c8 OneLineComment Imply CanNotBeCase
7152b4af4d0ee12f48abeafa628c344c4d92218d MultiLineComment Imply CanNotBeCase
e1f1abc27eab5d40c4dc6b088a39da3ed68adf0e MultiLineComment Imply CanNotBeCase
efb19728e80b6912ed9a5a1b5d2560cc6feb19a8 BoolTrue Imply CanNotBeCase
add86bc878653069a166ad6b6f35cc538045490e BoolTrue Imply CanNotBeCase
0fc0ed9604747da99b3e57e5bd817903e83588b6 BoolFalse Imply CanNotBeCase
bfa16e587ff68e60296c2c77800b6eb1875c86dd BoolFalse Imply CanNotBeCase
b22fa1f795bbc57e1c32ccc69e0f89a8fb766851 BoolSet Imply CanNotBeCase
0276d2e37a6ca27c784c0418f4c6675ec86e2764 BoolSet Imply CanNotBeCase
0c61030d846715482e14f52d818e86513530246b SetEmpty Imply CanNotBeCase
ce364a98f66d0042a163ee60aa7f053da17aaec9 SetEmpty Imply CanNotBeCase
b3bbfb7e8e8b5ca6f9321f1bd633ba6ed1a92950 Set1InDef Imply TypeMismatch
b70183a7a73891623b9ab3eb0b089608125c5726 Set1InDef Imply TypeMismatch
abeca3144b5e8ba31f1f1b813f5b0e25eb16161b Set2InDef Imply TypeMismatch
ffe9c34632b3514ad0d0dba201c8275477a1faa3 Set2InDef Imply TypeMismatch
158469d58716b03e428baa814a3a0de514655476 InDef0 Imply CanNotBeCase
63beaffe4cc5dfad258e1d6f0daf929ca3b99811 InDef0 Imply CanNotBeCase
81ea5ae48e1d9d3e8bcd024e4f3ac81a51a93819 InDef1 Imply CanNotBeCase
ff92a2dae7e8da0a38f4ec52a9e67e6ed1361558 InDef1 Imply CanNotBeCase
cc298e9311c0b0cb445d6b68d7923162ef2a5c1a InDef2 Imply CanNotBeCase
b4cea583b6d905fb5e7f7c2a284ecd1c939974b8 InDef2 Imply CanNotBeCase
7d671e101634b85ef09326b6b09604ad9d922c66 FunInDef Imply TypeMismatch
b7952c0032d854ec652cdfa482dcc9ac9f9fc91a FunInDef Imply TypeMismatch
b5383f8fa6031fa153f849085c54e1a09a73d50e ExistsInDef Imply TypeMismatch
4824f639cba591cd42f602ef8fefe1203e627045 ExistsInDef Imply TypeMismatch
76752513e2f0903b0212d4e61e391fbaa454a1d0 ForallInDef Imply TypeMismatch
e635f0102a318b831f152d2284ef77869f29d69f ForallInDef Imply TypeMismatch
0718bba5286630da930e84a25ad5a628368cf504 ChooseInDef Imply TypeMismatch
9407a1aacd542250866c699c03d33eb4ea2d4a37 ChooseInDef Imply TypeMismatch
923a67665f4a1b7e9a4c7a2f16dd608b4e9fd376 TupleEmpty Imply CanNotBeCase
3f37e1ee824995bb38f25bea37d3f3839229ba8f TupleEmpty Imply CanNotBeCase
3d9fc86d887d6d5a4f59722650a7c4b3301d8af5 Except0 Imply TypeMismatch
d2644f66bf5cfe8833b729db9d2073fcf6d8fc60 Except0 Imply TypeMismatch
63d3f785475adb00cde818ba1a708d48f42a3d5a Except2FunTuple Imply TypeMismatch
83da04556a8e9801bfda03909cc8fbef41c26e11 Except2FunTuple Imply TypeMismatch
1e0de72f3702ba908a9c2de400ff17fa89259a03 NumZero Imply TypeMismatch
8607701f7f1929d2980197c0b6e7366470817c4a NumZero Imply TypeMismatch
d2e130d1dbb2402af58ce57914acd87847d8cec9 NumOne Imply TypeMismatch
c9f893b9b8d7be92f833e68f0ef1347334a92529 NumOne Imply TypeMismatch
42e21afd928c6fa5ac48cdee66952b5cce1d1081 NumMaxInt Imply TypeMismatch
5c39bb18e1c373cc1361536ec348df134200e7a0 NumMaxInt Imply TypeMismatch
19b112076b76a8b9b626904f83f864caefd664e5 NumUnaryMinus Imply TypeMismatch
0323a01f63dc09c6f551e848bc6430bd854d6a7a NumUnaryMinus Imply TypeMismatch
6c66e4c595e9b36def74f4fb4b67b06e0a78e148 NumPlus Imply TypeMismatch
98d3d0d244336e18f2a37e43bd499e2edcc1412f NumPlus Imply TypeMismatch
94d5c7bc5d9270768be0c66a78467b570e4360eb NumMinus Imply TypeMismatch
e22e2b8657337000d45a01fb316fe82e60575690 NumMinus Imply TypeMismatch
372ed740b0e0b0e63f4e669ca6be36447ff93632 NumMul Imply TypeMismatch
f00f80f4476648cd5d9f55ed7ad30d4b30ccafd0 NumMul Imply TypeMismatch
ab567b7ccf3d31c33b7fa92afff0668aac375da3 NumDiv Imply TypeMismatch
f40ef38fa234714857687bbd0b21fcf9cec829db NumDiv Imply TypeMismatch
dec9b184ff25af7d3e97b62a16cf746571142812 NumMod Imply TypeMismatch
97fa89273b7e3d12040d909a4875f62b081aff15 NumMod Imply TypeMismatch
c2d78c1d1bd7312100d05c530f1859c6c8605dfd NumPow Imply TypeMismatch
d0515e0084882af27c618b287bb78be80de71c5e NumPow Imply TypeMismatch
9cfbb5cc6283f2d2d1b9a381dee0562abba3931a NumGt Imply TypeMismatch
8b580e73d408895bcc00529ac92c2110eb905de1 NumGt Imply TypeMismatch
c58db3368e30d39eda23b36eb43615855d12af4e NumGe Imply TypeMismatch
bc59a0569c78b7e9b3a2e94f67787fa185906efc NumGe Imply TypeMismatch
a6450bdf647cc5b9b8eca1aeaed63a4d82c688e0 NumLt Imply TypeMismatch
b54867f277bb40203ebb174a6faba50b54f4841f NumLt Imply TypeMismatch
186768bbb7a693f9cfc6723e225c24b591a6eed5 NumLe Imply TypeMismatch
64f04e3724597ad550d09e2929d127d784fe17d8 NumLe Imply TypeMismatch
2f90f8bf2bbb54a3e8a9f6e3bafa21e7935ccd9b DefFunInDef Imply TypeMismatch
7162033b0a2153bb15665c3d5e176bcf48b37454 DefFunInDef Imply TypeMismatch
f054214336d931a94df69bc448e074272d0fafa2 LetDefFunInDef Imply TypeMismatch
d205461b559b210feaa1a2c664739661ecdfeb42 LetDefFunInDef Imply TypeMismatch
50dd8dde48aa11f0685bac778d0f824b4967e0de ConstantModelValue Imply CanNotBeCase
bf12e345f59b6f22c9231f027e067528470648db ConstantModelValue Imply CanNotBeCase
c3440392d823f2fae76f61490c307f7f23e0237b Cross2 Imply TypeMismatch
a25dd5e96c75b32d15dc1ca7329fd995de993031 Cross2 Imply TypeMismatch
f75fa60719cab751dbc2a06af4a1f332e910f147 Cross3 Imply TypeMismatch
c94e31619a5ab6c81a788102de56a01da374948e Cross3 Imply TypeMismatch
99746c79295545a7f294a2f956990c632ad8a4b8 FunSet Imply TypeMismatch
cabad9d3bd793c0ad7b75df374b729b1233b24f1 FunSet Imply TypeMismatch
38aeb3f98a574eb360e23e14eb2c40b5032e09dd RecordSet Imply TypeMismatch
28d353cde06b9de4c57c5a23c7f919ce7af61361 RecordSet Imply TypeMismatch
669f9266fec2c8d55f789ab77484254b8f801f70 SetDiff Imply TypeMismatch
9a4b36e1516c96844871873f37e809c26be956b4 SetDiff Imply TypeMismatch
35d0169d59afa39282b49a74940226166a65f0e2 SetUnion Imply TypeMismatch
7e9497d97809f3ceb9e81ad34b34960fb0f8fa5f SetUnion Imply TypeMismatch
4a8588a2b8d2100d23e9627f0b87f1d44cc447ba SetIntersect Imply TypeMismatch
f4a78b0e71a132e46083d2c8f001541f73f264f1 SetIntersect Imply TypeMismatch
ede883d2462a26ccb5416cec8309ae0e0bd39a0d SubsetEq Imply TypeMismatch
de1fcf29fc3fdfe804c81ecdd06b145787fe25cd SubsetEq Imply TypeMismatch
7b678cbd3e6578e7e48a7cc85f09aecbdbf730e3 Subset Imply TypeMismatch
2a5f6d15e9f640596256788b6d9d8289c9fe820c Subset Imply TypeMismatch
14ee577fdd1d5d5fb6e59317b5188f84f171ad54 Domain Imply TypeMismatch
cdbb0c5ccd30e56a452adb46b957b764eb34bb71 Domain Imply TypeMismatch
b8b7f009c1dc57f0b4457562863977f868f00fc6 Union Imply TypeMismatch
d168c27ecba1fe5cc039700cb462b812c4192145 Union Imply TypeMismatch
ab5d814e4be9641ca5e7849dc92fbaa648408766 StringEmpty Imply TypeMismatch
debcfb0637d55b3294c76d8aae82168bae0e29ee StringEmpty Imply TypeMismatch
e9cba7b351d25bc391bd0c73a418932d9a315f95 String Imply TypeMismatch
6fc70c874b9b692f5bc33aefebf784f7d8b84b24 String Imply TypeMismatch
58e2323fa188db63df6c9e5dd2e161c4affa5c5f SeqLen Imply TypeMismatch
9075a122e4a1cb67a058dca61e8a5a3f1eedc66a SeqLen Imply TypeMismatch
1ebc3cfd8afe16b63b55c6a98be6e21460e6010c SeqConcat Imply TypeMismatch
0b9c934cf0c7ff3d426eaefb5e208c2c6f9902ae SeqConcat Imply TypeMismatch
69a3c9d9cf838507ab7e9857db3a9af3380e2c26 SeqSeq Imply TypeMismatch
c1734744664981ed4ab70d801fb6968f6a8cdc4b SeqSeq Imply TypeMismatch
ea95f508acb15642f94e138500752fbd7fdc730b NatSet Imply CanNotBeCase
e8ec447c0dd8fb2040c174f76a9a43b1ee5a83a6 NatSet Imply CanNotBeCase
26d5a157547ee0eea936e16ad28a84a07d562f56 IntSet Imply CanNotBeCase
2e858cffb64af25899ada6884e601580d2812c1f IntSet Imply CanNotBeCase
825eb534e2fa3cef85a04fbe3aae8a031c8654c7 StringSet Imply CanNotBeCase
3659e0d5bf1920ee3440d5578b29f247853f5e55 StringSet Imply CanNotBeCase
8089f6e9502c1d6fd192957166f02e5e239d4c27 SeqSelectSeq Imply TypeMismatch
8a7af3dadcafc6f5af253c24452fcbe4ff586dda SeqSelectSeq Imply TypeMismatch
92e4d34fcaee0688f08d525c21d9cb2fe46d4a58 SeqSubSeq Imply TypeMismatch
6d55353969a3135920e5ddcb74a97adb351baf1d SeqSubSeq Imply TypeMismatch
fc6bba5f106ee1a6e34e15d4cff64cc119be9afb NumRange Imply TypeMismatch
b29ab7948995adc8d1398b5d9d54ae7a2e80e7a7 NumRange Imply TypeMismatch
5d2a0566c8f6506eee304720bd03a1c674da8f33 TlcExtendFun Imply TypeMismatch
8193749cb066bd745a0e127fe36af26e6d3634f6 TlcExtendFun Imply TypeMismatch
98b353316f305683c278b3e8aaf2046c238cd737 TlcPermuteFun Imply TypeMismatch
15e122abe87f3a1269379377f8c7a135f9ed2c48 TlcPermuteFun Imply TypeMismatch
d0e5bab42f155bbcc2e5380565fb6b390cc46add TlcSortSeq Imply TypeMismatch
bb1406750ac847a8452aff6bbd369c5ec4b8730f TlcSortSeq Imply TypeMismatch
79238d7ece2bd3c86114405c92477c3a5586d516 BagBagToSet Imply TypeMismatch
ae9f9cc981ef26126cb17e2bac934604c62218ac BagBagToSet Imply TypeMismatch
bcd59dbc3d06d7d083230bbff0c069dad7eade14 BagSetToBag Imply TypeMismatch
b1657f37e2b7f102ca1f821663ba50d8c0f7147e BagSetToBag Imply TypeMismatch
4b0ab9232b80c94092c9e8d7ca8c7eed6849dfd9 BagEmptyBag Imply CanNotBeCase
7a3d49ac172022dcd4c477c631a4cc0049a66b5e BagEmptyBag Imply CanNotBeCase
19c52ec2d8dc8a19c84e7f8119d7e4eef4aa4230 BagAddBag Imply TypeMismatch
4f0a78d39523815af8741af32e217ee86588e94d BagAddBag Imply TypeMismatch
c5f7227d4fa3abc7db7d1a8c4c55d946a63d17e5 BagBagSub Imply TypeMismatch
26230874055c08226e95c89fda59029aa87e0cf8 BagBagSub Imply TypeMismatch
f8a428bd01fca243043f9e8ee94c4ec16d4703f2 BagSubsetEqBag Imply TypeMismatch
629f4a85580b8e5a82a65b01bdf42597ea238602 BagSubsetEqBag Imply TypeMismatch
d76f8b67c8cec4786c76ffdf9711fa178e1a03c1 BagBagUnion Imply TypeMismatch
5216ffc89b86909eccc07d87514faaad7796049a BagBagUnion Imply TypeMismatch
6258ea81c121fe8f5248ee9ecb97d834168a18f0 BagBagCardinality Imply TypeMismatch
7ebf8b8dddf6335e8c189c29307cd517bf713276 BagBagCardinality Imply TypeMismatch
22b2532dabac4cb6247b1260039b8bf99261708b BagBagOfAll Imply TypeMismatch
323beaeac87d0a7ffa676f06a110e99cb1ecdc0c BagBagOfAll Imply TypeMismatch
3adc332ae39ee505611f9373a2f8a980bcdabfc2 BagSubBag Imply TypeMismatch
8c9b911b8ccca2f20d29e82db19bf7ef834c0d0f BagSubBag Imply TypeMismatch
3c6afb67be08819a472ab7fdb5b53074cb5752aa FiniteSetsIsFiniteSet Imply TypeMismatch
c0062625deefb8008c690065ed709a6ca019f644 FiniteSetsIsFiniteSet Imply TypeMismatch
561afaabfd99fb189614561822e7a7901791d709 FiniteSetsCardinality Imply TypeMismatch
a65ce9953a11ec478ae9436fc777c152deff7d6a FiniteSetsCardinality Imply TypeMismatch
00642b6da1bdcc95a760b414ae9ee47e0626b773 SeqHead Imply TypeMismatch
7f11198e98140e983eea81a9beae2866e93f1f3b SeqHead Imply TypeMismatch
ec731d5d86df5f93ee174080592c21e1232f12c9 SeqTail Imply TypeMismatch
d536dea1b3162947b904926ee778776662247c71 SeqTail Imply TypeMismatch