Index

Skipped feature combinations by plug feature NumMod

Id Case Feature Plug Feature Skip Reason
478715dea04bed4a9299ae4a20db0d1d4bc47987 OneLineComment NumMod CanNotBeCase
2c682ee332cbdcd01f6ef50f1894ea505a6f1cde OneLineComment NumMod CanNotBeCase
2ee6b9ffdd3fb931e45bea585a98bfb2d1ea333c MultiLineComment NumMod CanNotBeCase
14679bef9d2531253902fd456a0c27d5a50d36ad MultiLineComment NumMod CanNotBeCase
c60e2f4d025ff27cf733fdec41120303a31b1b2d BoolTrue NumMod TypeMismatch
b0ea1c835e1375472d79c9da49c2eac633ea3ff4 BoolTrue NumMod TypeMismatch
139e2a27cd2722117c64dd11447eeb445238aaf3 BoolFalse NumMod TypeMismatch
50e5b2b22f20e14e215f3982b880d82495bd635f BoolFalse NumMod TypeMismatch
f5728f8fcbb0c40ed5b178768a73554c57ec694c BoolSet NumMod CanNotBeCase
4e2fc7db8dcdb98560804ea0a12844a7dcc92f71 BoolSet NumMod CanNotBeCase
9d5ab6aaba04d24f80dd3bb5f450c076e9168aed And NumMod TypeMismatch
68bb410671cd036f5b64089b0a5b5102b9c0352f And NumMod TypeMismatch
a94958ba5ab4a20fb704806ff9fbc5a9f34d5c57 AndMultiLine NumMod TypeMismatch
c98f5fc388c963453c75bb2c4978f0a12ecad61b AndMultiLine NumMod TypeMismatch
55fad3e6246014e696c2a4d26990bba37ebc5e7d Imply NumMod TypeMismatch
fa94d126d9a9eaf233ea8320eff7df90c61722f7 Imply NumMod TypeMismatch
c4a2e0ade572ef7e03e71298aefd532548f8daf5 Not NumMod TypeMismatch
d8e03415518ee14eeaac8c0671b5bf199bbdac0f Not NumMod TypeMismatch
e2b27ee80c379ccfc85b044c0ecb5fc28f60b18a Or NumMod TypeMismatch
19cc8cf55c8caec91667af4505d51adcbef12514 Or NumMod TypeMismatch
338adc94631a0b218dda4b57794fd1c03abe2248 OrMultiLine NumMod TypeMismatch
96da6a9f45f1eefc1953de9e158b762d6ed0c894 OrMultiLine NumMod TypeMismatch
69e837a55fa008dd7d3a84872290a9f7e940bfe2 AndProp NumMod TypeMismatch
66e8099b838fe879b542cd757ca3f67c694bc1f1 AndProp NumMod TypeMismatch
a91c0dbe554a2af55f4ccd77b640ef19d5904888 Boxed NumMod TypeMismatch
fbc84951b71b06e111be9af24ef626332ce041ae Boxed NumMod TypeMismatch
87c13887208aa31a07ff4fb40fd45c2b4e7bf4de SetEmpty NumMod CanNotBeCase
2d1a72b68c2fbe297c2c19c0a99211e31ea863e3 SetEmpty NumMod CanNotBeCase
3ad25ce434bb4886b7ef09a6a7d2c6969f21e0e6 Set1InDef NumMod TypeMismatch
fe410cdc8f1344a48ce569f278b5127b85ab3db4 Set1InDef NumMod TypeMismatch
849447464e62d7cafe826a05fb3bf1484007364a Set2InDef NumMod TypeMismatch
d5dee3a203517785342cfec76a10c0cde86f6589 Set2InDef NumMod TypeMismatch
8b3e3a1dcfacecb94231b81361d9a269cc700da3 InDef0 NumMod CanNotBeCase
129e9278345ac4d53ee55affbec0398938f734a5 InDef0 NumMod CanNotBeCase
0f1caaca9f0764d8d63c2045ca02005f44292e3e InDef1 NumMod CanNotBeCase
7c91595284ad738889690b0981b760558fb785e2 InDef1 NumMod CanNotBeCase
7e6f8ac1ea4feadf9e4098ea7538af1339d45132 InDef2 NumMod CanNotBeCase
c24b4e398b9391175821a6581a9edf46e68684c4 InDef2 NumMod CanNotBeCase
035921568b1095f503e8161ab2b23270dadc7d01 FunInDef NumMod TypeMismatch
7909de52ad1e896b58d119aaa7ab127960c08164 FunInDef NumMod TypeMismatch
2bc881e52d1e11b130c67aec2b98014431b98c0b Exists NumMod TypeMismatch
8f2d0ed6f67c1d4962ab305751deb222def6c978 Exists NumMod TypeMismatch
2b39d26f0e88618a68cf8fb36db619d6c3090832 Forall NumMod TypeMismatch
0d59407df938fb492fd9910fd81f533d82b0e28e Forall NumMod TypeMismatch
36c7ff572b91861303a826e727a90fe92c16d8ed ExistsInDef NumMod TypeMismatch
ffbed20e6328e17261b03e10678128fddd6125d8 ExistsInDef NumMod TypeMismatch
4692f16f24148f846e32cdff5f3bf4e345b107cf ForallInDef NumMod TypeMismatch
772df4ea7928c7f283a612511eaaae0368c9ab7f ForallInDef NumMod TypeMismatch
93dcbbbf262db95a365255d660a609eb5ce96e10 Choose NumMod TypeMismatch
065631db19591219e3872031685ef3b8adb21d97 Choose NumMod TypeMismatch
16f4aa622fb00acfb2481d75504c1e23863c63e3 ChooseInDef NumMod TypeMismatch
d8d87e607193fdcf1faa2fb27c3349ffecaed78b ChooseInDef NumMod TypeMismatch
85b6a6aa066bb85d89fb5745ea36c0e7a9f8ca70 TupleEmpty NumMod CanNotBeCase
4c8c7bee499680dd930719d9d0788d9d745d54e0 TupleEmpty NumMod CanNotBeCase
3f79cbff2414f5514402dac4788c377f3dab165e Except0 NumMod TypeMismatch
c2084ad404dd10989b8142e73e3ad83ee78b517f Except0 NumMod TypeMismatch
f29bc6fc225dc332566eb24616420dd86cf6c3c5 Except2FunTuple NumMod TypeMismatch
c6d45a7514b8c53005de22182deb3168fde6859a Except2FunTuple NumMod TypeMismatch
3848bb8e56719c1bb3ac20c5cfe81d8c19ffe31b NumZero NumMod CanNotBeCase
a12734bd8550df6709aed43d6935fba2cfed82ff NumZero NumMod CanNotBeCase
9b2fb4aaa81f165de412fe11248339aa46969513 NumOne NumMod CanNotBeCase
eee1a43d1b68a7323393cbab47f14eaecbe998b3 NumOne NumMod CanNotBeCase
16d23ebea3e2524e792de0cab7dbd3926db542ca NumMaxInt NumMod CanNotBeCase
630e1c6fc9f7f8041e7e5aac15d75cccd977443d NumMaxInt NumMod CanNotBeCase
3e93a86361e3f8cde68a0305e9a1d3d22c4ee174 DefFunInDef NumMod TypeMismatch
076b3b32d10cf981ee5b9607ad7fd12c88bbab48 DefFunInDef NumMod TypeMismatch
7e359782cbe5d246851aa9a5929da6387172187c LetDefFunInDef NumMod TypeMismatch
f4353bbbf820bc51f46c93a2ca8024d953775990 LetDefFunInDef NumMod TypeMismatch
66837340cd7ea60a9a59d25b80cd4312fff6623d ConstantModelValue NumMod CanNotBeCase
8dea8ba9de0e8afc47a5677204d927b2722660a1 ConstantModelValue NumMod CanNotBeCase
092357294bbf5a77fe547c537308dc3d6e553872 Enabled NumMod TypeMismatch
3a5ed6a63162b12fcfeecad72d79bd4f3a2976e5 Enabled NumMod TypeMismatch
a533c5b382c5d95443a90d633ab868c69b809d4b Assume NumMod TypeMismatch
6b2373f8353bfad2ba0d55d735c9c7bd3a8e7b6a Assume NumMod TypeMismatch
cc700a60b812f35d9dcbf7d06b5369b50fb8e9ae AssumeNamed NumMod TypeMismatch
c226e244480b4ae7eaae10c3242bc08023126c53 AssumeNamed NumMod TypeMismatch
95085d8d1c08f0b35c17d3820a358e93bbced5ea Cross2 NumMod TypeMismatch
341a08265e7c825738ff3367fbec2ea23acb1f05 Cross2 NumMod TypeMismatch
ec900c95b85e897b9646fec8c8ccfd7329503405 Cross3 NumMod TypeMismatch
b1ab76391eea311fd45d519a5a152660c027fa7c Cross3 NumMod TypeMismatch
6fc26e1cc0de9b151323f8e05557b5e8c08291d4 FunSet NumMod TypeMismatch
c0615951957046d7a168adbf14810ab7be60a652 FunSet NumMod TypeMismatch
564149503954f381bc85cd74fdb2a72901c9be6d RecordSet NumMod TypeMismatch
4fc3d446aedcdf1732273464968ee3f569bcd6d7 RecordSet NumMod TypeMismatch
2ddc287fbbcc63b33422176c42666be5a4f88382 SetDiff NumMod TypeMismatch
f70cdfbd8e9f7600a0b64b80f90201c0f7d68318 SetDiff NumMod TypeMismatch
43d4db2b9e8d0fc57698b51f3a14d6f5994a1a00 SetUnion NumMod TypeMismatch
ff55364e35f2cfb9532de4b00cbf48ed372aaea1 SetUnion NumMod TypeMismatch
7c5caa8eb82c9764690131e3bdd80d6aba491c20 SetIntersect NumMod TypeMismatch
14c7912f11f9a55884bf41064b00f23c04ca902f SetIntersect NumMod TypeMismatch
3c2eddff8ef645d16b2446b6f688b0825d2f88b8 SubsetEq NumMod TypeMismatch
b1231e2abc33450aef16d7f13870afa5316f2e73 SubsetEq NumMod TypeMismatch
f4a57b25c2b64bfadeb2845d6b3f888d48a5f952 IfCond NumMod TypeMismatch
c6f1d30d17a8a89cb0f938a0d8614a2e21393bf7 IfCond NumMod TypeMismatch
de0dd0662319c272745b6438c10a03e23fe21c49 Subset NumMod TypeMismatch
39eb5b8ae644388aad628072743e56aef5ab2737 Subset NumMod TypeMismatch
5205196c9b33cea2fd789db5f2e610267b909348 Domain NumMod TypeMismatch
972b3f7a129f1f776c4fed3cdc4700efccbb6187 Domain NumMod TypeMismatch
a79945175729d4c40bb2f69748b99803a408c080 Union NumMod TypeMismatch
32d43df48c7847e7bbd089c5d5ec24735932150e Union NumMod TypeMismatch
98b50ad7849a6c9071d7b166b3c4ec357730d5f4 Equivalence NumMod TypeMismatch
3a94883fd64e5faf1093483f342187c00bd67b09 Equivalence NumMod TypeMismatch
61eebca4e2f101e0746040f71f408f2a72a41b72 StringEmpty NumMod TypeMismatch
d827013ffd3b4468f1db88c61032350f9c345095 StringEmpty NumMod TypeMismatch
d54890ba5e35650a87df02beeeeb6c9626900715 String NumMod TypeMismatch
7e2f7274e078688376e99746c092d710adbac5c9 String NumMod TypeMismatch
1a6fc8eedcdeac462e123d748b539312bb0528fc SeqLen NumMod TypeMismatch
04867d432f57e72de12b256f0fc8778cf26dc9f3 SeqLen NumMod TypeMismatch
6b3d6599efe7e8c542f36503e35aac8ae0e97dbd SeqConcat NumMod TypeMismatch
0b42c02b1d63391c1ce5661f0e2c68eafe916f27 SeqConcat NumMod TypeMismatch
ceba600fb8d2ad85e1c4cc61edb36432648ca678 SeqSeq NumMod TypeMismatch
fad2eb52ffc75c6c32364e9c343c5c0eee63f20e SeqSeq NumMod TypeMismatch
ad606f3a9df916592d0d5bb8b6846e9247f2f5de NatSet NumMod CanNotBeCase
91dd536cebbeddb0384cae2fc6f2e9d676f8eb86 NatSet NumMod CanNotBeCase
801a7c4d9ada85cc6446995acb6c1aeb5cf93648 IntSet NumMod CanNotBeCase
cbcd6f2bdddd9adafcaccd7debdc358be8d72d06 IntSet NumMod CanNotBeCase
82f2a05246b264c263f53cdba08902e8a8145340 StringSet NumMod CanNotBeCase
925c290ced94ec695bc3d1e479b6b7d47eac855a StringSet NumMod CanNotBeCase
fa24a82ce9f1e9db062afcdf809e5648420752f5 SeqSelectSeq NumMod TypeMismatch
2b0054332ecfea564848e25467f74a105c338619 SeqSelectSeq NumMod TypeMismatch
288037405f434c5611cb98aa860626f4dac77e28 TlcExtendFun NumMod TypeMismatch
d7ee1d62e518a3717461ad7e196e81f3abf1479e TlcExtendFun NumMod TypeMismatch
f5269b65a4b9af966dc7cd697bebaf1cd59a9e81 TlcPermuteFun NumMod TypeMismatch
a0b2d4eba895ceab0adcafcfd7e24c088beee121 TlcPermuteFun NumMod TypeMismatch
01594914362f15db8e8203a47f8086239ccd38a2 TlcSortSeq NumMod TypeMismatch
0aea2a33b3ab079228ec45d979ab26ee0672c3c3 TlcSortSeq NumMod TypeMismatch
cdaa8add07f9813b2baeb1a96ed667fadb2ae9e3 BagBagToSet NumMod TypeMismatch
c7c19d41cdf11ddc7609fe4234e02a1a53261e61 BagBagToSet NumMod TypeMismatch
434003d10136feff54f224e5b186c4345c51ac6e BagSetToBag NumMod TypeMismatch
86b271fd883173ef85fb223be6a46527d72873f4 BagSetToBag NumMod TypeMismatch
6d01143b2f1a3a1f17af7a7f36db4e84e86a7602 BagEmptyBag NumMod CanNotBeCase
d5c393ccfaf00c40ea136740d754f46d59b9c50e BagEmptyBag NumMod CanNotBeCase
d7f7dd1770fdbb2e3cd14fbc06dddfa403d52615 BagAddBag NumMod TypeMismatch
1823dbc39e7ec1f841912f5f36513056a0ec47de BagAddBag NumMod TypeMismatch
cded6fca0687f0c1ca6df0c2fbcc21e4920cdc3b BagBagSub NumMod TypeMismatch
a643eb846d5bff70432e05651256d2b178bf7c86 BagBagSub NumMod TypeMismatch
1dc6f8ec229ebad2bf1652bec2c4bf19e26551a6 BagSubsetEqBag NumMod TypeMismatch
e3022ea67d2a058b5f8ecab84bf8cab5c4823e1c BagSubsetEqBag NumMod TypeMismatch
d3a6287455f584260998839b5847c0921eafc17d BagBagUnion NumMod TypeMismatch
fa3747828be7e32e757786d25edeae8637ad6883 BagBagUnion NumMod TypeMismatch
45e38010879c09304853970ff97c43318d6a8180 BagBagCardinality NumMod TypeMismatch
2fc2208644d295071670e0e3785f7354a1a47f57 BagBagCardinality NumMod TypeMismatch
b4cb3d2680b8aa040b03207ebdb2fa3f350b97bf BagBagOfAll NumMod TypeMismatch
4ad507ae152177f0cbcaddef346b9395668d46dc BagBagOfAll NumMod TypeMismatch
ca7e60534d8af684683da09d5013a43860f6250c BagSubBag NumMod TypeMismatch
12270bee1e2ddc362a8be9a3def27052679c7666 BagSubBag NumMod TypeMismatch
f06f43193df5dc3ce641dfe7a5acb0c517b648eb FiniteSetsIsFiniteSet NumMod TypeMismatch
5141b698498e9d33b39064b70a9eca78e3286bd8 FiniteSetsIsFiniteSet NumMod TypeMismatch
0171c444b5ed24b1d8a7fdd77776cb9da13c2699 FiniteSetsCardinality NumMod TypeMismatch
b57e118993fdda62307fc28281850a1ab10ecaa8 FiniteSetsCardinality NumMod TypeMismatch
90e192414e370f05d965f953c7c6c827f8bf6da0 SeqHead NumMod TypeMismatch
df7b9f11ff9fee8594b722a64642068de1c9cf7a SeqHead NumMod TypeMismatch
9e3822f8ceeb7370ad8dbf2986be0a052f1ec26c SeqTail NumMod TypeMismatch
1d2f9cf47fa123de52e6da9b08a1d81d871acd58 SeqTail NumMod TypeMismatch