Index

Skipped feature combinations by plug feature Ne

Id Case Feature Plug Feature Skip Reason
cc6c3e0126aa3867d1c813dacb9ebea2663ffe11 OneLineComment Ne CanNotBeCase
3cedd1048ec9a0214899e5bce2f180bb564ada18 OneLineComment Ne CanNotBeCase
387d0e8f71f7375cc6f7be1f808603d8dfe16e06 MultiLineComment Ne CanNotBeCase
8df44f4e76406e8ad6e7883e91526ee010d376dd MultiLineComment Ne CanNotBeCase
112d80cbb0feb4d2841b622bb9757e314a90b7f8 BoolTrue Ne CanNotBeCase
813694a3c595ac2084661a39730767ce144cff1a BoolTrue Ne CanNotBeCase
35fc2a281e182b4695cb1f9e5904a8a30e1a9d5d BoolFalse Ne CanNotBeCase
e0954b5ce85207c243239e2d4e24a38335121197 BoolFalse Ne CanNotBeCase
d5b735811c4947db6fc86f129e69c0d5c7f8a591 BoolSet Ne CanNotBeCase
42a56c555da13dd82590ea3f67ff3723334b5258 BoolSet Ne CanNotBeCase
bd451cbecc9148eed4ba9cb7a14be768a481d5e8 SetEmpty Ne CanNotBeCase
bad73a4eefd3f22190f52b763a5935795776b7ff SetEmpty Ne CanNotBeCase
ef6c9c577de4e956f447a9a8cbeaed1925fb1210 Set1InDef Ne TypeMismatch
d6c97006362af9c8cc3b7b32fa2d19c95d749910 Set1InDef Ne TypeMismatch
d0d94f501ca34fe9187f336a116a5ee5e5f1a571 Set2InDef Ne TypeMismatch
09eca09ded0f603fcb7129317b480df6c25c6135 Set2InDef Ne TypeMismatch
486beb6d5de388d6da46560b95eb2967332a3912 InDef0 Ne CanNotBeCase
0ecd4cb09c0616b9b0e08c6e02c9630883856608 InDef0 Ne CanNotBeCase
cee1f01ef5b01a1dbed3a2843571119bfa310301 InDef1 Ne CanNotBeCase
baf5f9981ce36971f984707cece68eb600b8db6f InDef1 Ne CanNotBeCase
629b0df89884c9e8020200fa1948e071635c4a1c InDef2 Ne CanNotBeCase
34cbdb06e21411b446abb277b16c092caff7b63d InDef2 Ne CanNotBeCase
52192434ebd0ce2f43844fadf097b0aaadea59f3 FunInDef Ne TypeMismatch
745d308212c4fa9a796521949cf4266fe552312d FunInDef Ne TypeMismatch
bd6519cbfcd97320eed48da1dfdcb523e82c6b6d ExistsInDef Ne TypeMismatch
c431fd693ab9b79e80f37ed332206ba73a41e471 ExistsInDef Ne TypeMismatch
83acadddde6bf588c5ae4f2fb439b980029bdb9b ForallInDef Ne TypeMismatch
886fb01753cad6b58587b81842cc69abf71614f0 ForallInDef Ne TypeMismatch
6ea04628ca60f50147a1726a2e4c6adc05571e50 ChooseInDef Ne TypeMismatch
6e9d37a43fc7196f2183fe3c7efc13dde865dfa1 ChooseInDef Ne TypeMismatch
6f745b78be09d4ed158bc6e31eca019133507338 TupleEmpty Ne CanNotBeCase
3fe9b715f526c4da0a68c995dc16f333f3dcb799 TupleEmpty Ne CanNotBeCase
49d449e3316ac12ca787f118663be0b321e60aca Except0 Ne TypeMismatch
5c769d6f9b5264b72496fc3deac6a9fb58028056 Except0 Ne TypeMismatch
e425404a7fd389272fb59c10ea220f7d3dcfbf0b Except2FunTuple Ne TypeMismatch
80b41f01c8453f4581b94a1c1e9f31a781d495ef Except2FunTuple Ne TypeMismatch
cb44405420dd20caa7144aa202ca92591c8a8b48 NumZero Ne TypeMismatch
01bf522c775930c6471bc28cc1429922066ff825 NumZero Ne TypeMismatch
d1fd82afaf7cc9640d64ff84d267b0819b274fa1 NumOne Ne TypeMismatch
6e9fb1cc71de6ce5f538c9f06eded9bc99311478 NumOne Ne TypeMismatch
a260abf5954d0490d621afe51f81b2ad79082e9c NumMaxInt Ne TypeMismatch
bd07908c7e3c1f1ce88f191c42a28c86b0fd3add NumMaxInt Ne TypeMismatch
aa264de87b22350beca86cf333d3061eb01bd60c NumUnaryMinus Ne TypeMismatch
b77ae82fd3a541e05043e0bcdd8e378ba8336060 NumUnaryMinus Ne TypeMismatch
0857c21f9ca30f0ad7e4831f2e159db8cc5b3b0a NumPlus Ne TypeMismatch
6aa197a7d877dc073a396759e12fc08cb9339596 NumPlus Ne TypeMismatch
52adb4d4b46ec8eee3ebdbccf293f15fdb1c3dd2 NumMinus Ne TypeMismatch
8d72105d20e36fb577544825aae8a36caac72fa8 NumMinus Ne TypeMismatch
496be9448e84445a43bef3307e071fd80cfe0c8b NumMul Ne TypeMismatch
76295d3f3d8c5ad93bbab5bcbaa0d14c6ed10f2f NumMul Ne TypeMismatch
4d6f79f49cf5e09827a15ba4df5ec3dc20b8b070 NumDiv Ne TypeMismatch
bc1487cae8f91acb72332bfc84c80349355046b3 NumDiv Ne TypeMismatch
e9a5473a0c2f97f0b5fe307d633154497adf2c35 NumMod Ne TypeMismatch
a555ecd43fee2c72a5d12bd1c4cfcd833c0860ae NumMod Ne TypeMismatch
c3ef4b2d2ac24b8b9bea34cfae82f68ae81b31cb NumPow Ne TypeMismatch
adede785bcc76312c7d20bff80b86e45c019e010 NumPow Ne TypeMismatch
fe79d918ff18fd161fac73f53af8885d908b6163 NumGt Ne TypeMismatch
386cf95d3ef172a28776930335a43626cfbb62d0 NumGt Ne TypeMismatch
eeba2623054c5d039f939b5ba38f6e48274a7273 NumGe Ne TypeMismatch
4b80821fa22cfb6e8b8c221a3a6432f82f93b80a NumGe Ne TypeMismatch
c5279b170c9624837a994a00a2f52fb6dc687727 NumLt Ne TypeMismatch
0b94a4388b4839488e6af5c75adf53cfc35970eb NumLt Ne TypeMismatch
4cf4bb9851f249da237eb942e6e34bfa62f784cf NumLe Ne TypeMismatch
d07dba168c281fc3410ace4e89d3940bf3bd7f58 NumLe Ne TypeMismatch
2929170726999a5cdbb814024e3bcd724ea77c1e DefFunInDef Ne TypeMismatch
3e380a407d3b8c7d43aceccd4c7603f51d55079a DefFunInDef Ne TypeMismatch
2ed1c0d8b4a11dc3e35f5422e09149c944f6713a LetDefFunInDef Ne TypeMismatch
b2e54b3e2e26acfafd5c4ea696ae7fbad75ada98 LetDefFunInDef Ne TypeMismatch
b803caa0d3f76fab517c89b31ca269b7fd108338 ConstantModelValue Ne CanNotBeCase
4c3b1f9a143433b540d58c50c48ff82814ee6ad9 ConstantModelValue Ne CanNotBeCase
c807f155c5edbe875a86b7e02efa280fd3fc1aae Cross2 Ne TypeMismatch
98d3c45d5044860c3aea0ffbd00f8f290789559c Cross2 Ne TypeMismatch
52830234f265338e386081f442e0c6d2acfc9687 Cross3 Ne TypeMismatch
dbb52cd52573d866e05e2b3561224ae7c37c5f3b Cross3 Ne TypeMismatch
7472170b0421ee40ad7816d4115d07c3cd79cd67 FunSet Ne TypeMismatch
bd9b797875bda4f20c0ef32000b033a19d2d89d5 FunSet Ne TypeMismatch
03f4574e6c89bed61dbdd1c11bc95be6571fe61e RecordSet Ne TypeMismatch
e7f535ad802960ae734e32ff30f0c0b1e3e4f433 RecordSet Ne TypeMismatch
1c70a7c0341b30b12fea443d2eb9d67cf4965b93 SetDiff Ne TypeMismatch
3abb723b602ba624d63c2dfa99629cb16a2a6f3b SetDiff Ne TypeMismatch
afabb6e334baac31e116678c01aa96c9fa55e403 SetUnion Ne TypeMismatch
792a03af877fe681a055240c9072772696041211 SetUnion Ne TypeMismatch
d79245d6728f8713092bc7ea3e9e5e1fc0d2deb1 SetIntersect Ne TypeMismatch
3774f34faecd2cb0b77ea67d17604ec97dc2a51d SetIntersect Ne TypeMismatch
7627d1d9f4f16369846402e65a0737d6e7e09d03 SubsetEq Ne TypeMismatch
6e4643a3b3b0f8a3648dd6f71d9aab6a363e70df SubsetEq Ne TypeMismatch
5695892376b54f020180d5e2c5eeb3b16b95ac73 Subset Ne TypeMismatch
5079c3ed0843ce7da64d5ac7ce206e924be56042 Subset Ne TypeMismatch
bcf7b98c219a2fc95762fffaec4f808fd3a76bee Domain Ne TypeMismatch
0d73ab98db397a657e2fdf79b1896facada09ab6 Domain Ne TypeMismatch
b754a2942d2423c1facc513bac58124fb12072cc Union Ne TypeMismatch
08980b37a83008f5cf8f39b650a336f675ca4369 Union Ne TypeMismatch
e8afa1477f0c71d10c02b604c8f02a983bbbc7ae StringEmpty Ne TypeMismatch
f0443fa08e1128e80bf410dfe1f60f530d5d299c StringEmpty Ne TypeMismatch
6ee2d1288e0513fc078baee44e4020be44143ac8 String Ne TypeMismatch
8c152d17be9a351aec0b90c850c96d78c51f29a8 String Ne TypeMismatch
35183bbb690634e45b813c3bb68291f3dc6a11bd SeqLen Ne TypeMismatch
7c60a4f0a72639c4ff618b38f125a4b27605849d SeqLen Ne TypeMismatch
e3979b9d0bdc3a8e67479bbd5be65d7ced0a8a9b SeqConcat Ne TypeMismatch
461366d6e5c7e86af95dc71b16134e91cae9ec29 SeqConcat Ne TypeMismatch
011c7ca54ea325017ed391658047f38f84c74d0b SeqSeq Ne TypeMismatch
3c22c0a39b959010c650e4a1754636f856d00d57 SeqSeq Ne TypeMismatch
232808374d8e0a6457ed8fb489cfa4e2673a8596 NatSet Ne CanNotBeCase
8651c67fdaaf1b45147906462d8f47ed9fe202b4 NatSet Ne CanNotBeCase
13b72855b540687ab28bdc84a0ee4660233ea868 IntSet Ne CanNotBeCase
be54e70a33474cdb82cd92aa25703f7699114c0a IntSet Ne CanNotBeCase
5c7e65a4045b4e9c47384710034ae0bb72dc976f StringSet Ne CanNotBeCase
453395cb20d82ee9366780972ea36fea202da976 StringSet Ne CanNotBeCase
972788a63745b7ef07af3bea901ba60aa529873f SeqSelectSeq Ne TypeMismatch
620ef177cdd5e1dc853011f2e00f7b8bbf2d08f5 SeqSelectSeq Ne TypeMismatch
396e3bd1a3152bf4b6378ce02f7a2d60d5546a3a SeqSubSeq Ne TypeMismatch
18dca73eee2c498cced8fb936d60b7c0bebe6fb2 SeqSubSeq Ne TypeMismatch
7ac0f7aad44e1053f03061d65f28c3ad945bedf0 NumRange Ne TypeMismatch
ba86f69b60fba6ce8d61f354992ac152f33e213a NumRange Ne TypeMismatch
4f6ea3166df947d168b5899d0a191a3f541dd8d3 TlcExtendFun Ne TypeMismatch
d186bb178fa512b8d1575263c25ab64173ffe7e1 TlcExtendFun Ne TypeMismatch
6708ca441b61e25a651a15fd6519de61ddabdd6c TlcPermuteFun Ne TypeMismatch
2ec887aadf72ef986936825d0f6fad5164f1731b TlcPermuteFun Ne TypeMismatch
8a0f3658897969c03272b42cf7813f25464254bb TlcSortSeq Ne TypeMismatch
a315f17dea4ad55718cd60ea4e4a4dfd02694578 TlcSortSeq Ne TypeMismatch
db107168f4cfd50c22f5f8ab21b3a3c31ef06e59 BagBagToSet Ne TypeMismatch
0bc5c80f498307187829238cf133aba3ffbc7296 BagBagToSet Ne TypeMismatch
9483fb695960475a10b6cef31a01dad644b1adea BagSetToBag Ne TypeMismatch
57cfccc0a6dfe993339f33bc72ecd76115027720 BagSetToBag Ne TypeMismatch
e2a781e21f9a5bb1daa7d39c6fdb8187f3501e88 BagEmptyBag Ne CanNotBeCase
840aea36e003fbe8f82f2d4616ea7c4afaa4df6e BagEmptyBag Ne CanNotBeCase
ff88c2cc8297f873ba7972ee6aabd8da2ddaefad BagAddBag Ne TypeMismatch
9372c5c332cab800b7a621adea16681c9437fbd1 BagAddBag Ne TypeMismatch
db36288439ec73080686317c41266296e837cd15 BagBagSub Ne TypeMismatch
3f2a4e91b37ff41cc5d1d3d586038d63eef8f7e7 BagBagSub Ne TypeMismatch
24ed63f165675448608e66f79580548df08ae192 BagSubsetEqBag Ne TypeMismatch
5144d8fe8aae16bbcd41473af38f7432bac8f78a BagSubsetEqBag Ne TypeMismatch
fffe4fa78654396c649b9593302ecccceaa62cf7 BagBagUnion Ne TypeMismatch
99b3f1594e4a1e15b371c8ba2b7693b5a1ce4f74 BagBagUnion Ne TypeMismatch
81ff9deff018af9f6550671e58403c2249df60a7 BagBagCardinality Ne TypeMismatch
a078b8327463788c14d499ff219ce7dc12e07481 BagBagCardinality Ne TypeMismatch
3024473907b83d2b5e9c4002691d7649ebfcb616 BagBagOfAll Ne TypeMismatch
2b6752a716325920bdb56355398191858dd0642f BagBagOfAll Ne TypeMismatch
bb805817fa4a1e53b5cd5f99edab26b81b4c7a99 BagSubBag Ne TypeMismatch
02aaf31a6fdbfaa611f356127e3e6391bbae210c BagSubBag Ne TypeMismatch
d9d41fadc972f9b06d3ba50a5b9b14f509d82d33 FiniteSetsIsFiniteSet Ne TypeMismatch
c8a3c37228b382741ac9afc15d29ba7e55f709c3 FiniteSetsIsFiniteSet Ne TypeMismatch
21afb8264f9bc7ddadf98e15de783a09c83fa494 FiniteSetsCardinality Ne TypeMismatch
842b59fd66f211da4da4e1a622896341fe9b4eff FiniteSetsCardinality Ne TypeMismatch
65f650ada54703ca296e0da660b30960f4f5d50e SeqHead Ne TypeMismatch
fbcffc19af37965bde3f218e6a3af2980780e1fc SeqHead Ne TypeMismatch
3bb9ad2275dfd7d3c2afee5d6a557f85a2477e68 SeqTail Ne TypeMismatch
bb59d683cacabfcd61e2ae70f69f5bb07daf6203 SeqTail Ne TypeMismatch