Index

Skipped feature combinations by plug feature NumLe

Id Case Feature Plug Feature Skip Reason
75c724ec5d55904f23487aaf87c46e684e61186d OneLineComment NumLe CanNotBeCase
dd79b3d597d47351b59db5b9c7475ef6996af59a OneLineComment NumLe CanNotBeCase
9a3a1495e6204c1780a0c7dceb05ba7d860f695b MultiLineComment NumLe CanNotBeCase
933c24041ba6285e4672fc087b18c8b8d12f93d6 MultiLineComment NumLe CanNotBeCase
76264ea1274b702d7e1f79fd1d49498d686d697c BoolTrue NumLe CanNotBeCase
ab09c4374467bf07100a536cadf2b80b6811e945 BoolTrue NumLe CanNotBeCase
c0dc27f68b3c7eb8811f99e07d8d17733f7e9267 BoolFalse NumLe CanNotBeCase
ea05e7c8df48efe654a467d9588fb7b1695b2077 BoolFalse NumLe CanNotBeCase
df426fde5f258dd5856a7dc56f98ee63e31f3e1f BoolSet NumLe CanNotBeCase
1df71820362b349d3d2d2238fe101dc5e74388b1 BoolSet NumLe CanNotBeCase
14407d30108dd590ec30b96f2f8a98be074462c2 SetEmpty NumLe CanNotBeCase
3a8f0919058d276b424f1d253c13bf7c9d1dcf20 SetEmpty NumLe CanNotBeCase
07a6a1cca0e85d5d516d2ad3d0093068ba89c3e7 Set1InDef NumLe TypeMismatch
398fa2cf8def30cdc876cd643f56c79dd27ba719 Set1InDef NumLe TypeMismatch
0b8bdb0d23e727acbaf621583e9de6ffcdc9b8f3 Set2InDef NumLe TypeMismatch
246171e0545a4558c35c10cd620a46c880d7e8e6 Set2InDef NumLe TypeMismatch
1584ea65e7fca85ce54f7637edc2044a797723fb InDef0 NumLe CanNotBeCase
b19931f7d6cd090d94679230a9cc20a66f49186d InDef0 NumLe CanNotBeCase
1fa494e5cd11e1a61d2fece5cef45e034a5e1fe7 InDef1 NumLe CanNotBeCase
bca1d81e3570bb45e2716fe978800d266446f6db InDef1 NumLe CanNotBeCase
afce49292793f3a88f4df172e3e79b5946d8a266 InDef2 NumLe CanNotBeCase
245021a10b458f483e360055fb4226e8fdcab6a7 InDef2 NumLe CanNotBeCase
20c5489a46566745915a4f7e3bcffb2f75380785 FunInDef NumLe TypeMismatch
29f0eb6573c902443a436d9eaf39c42c1e065cf3 FunInDef NumLe TypeMismatch
b45aabcaf0a138c8760f6088bff57eb4a7290ae1 ExistsInDef NumLe TypeMismatch
930994049605155860913c4c233fe8d3733161a6 ExistsInDef NumLe TypeMismatch
3ca1d548382e41df7eb9164d238eec5f622f9e4c ForallInDef NumLe TypeMismatch
afe5563186eee802d484fd60119e1bd70466f1cf ForallInDef NumLe TypeMismatch
688c0f6003e0de00508bc1df2a9c9df9d609acc3 ChooseInDef NumLe TypeMismatch
56f4075162f6719152bd51b740a8d9d31e188872 ChooseInDef NumLe TypeMismatch
bcde1a9ee7f6175d7183421c929eb9f2a759c654 TupleEmpty NumLe CanNotBeCase
8ba1a81ba972fa3ff531a0bf80cc2c4447207bae TupleEmpty NumLe CanNotBeCase
c706bfa86777a3882aedec2b4c4b86d1978a1d6e Except0 NumLe TypeMismatch
c1d8f880a368fdaeb1ccbcd27699e84e4e160efa Except0 NumLe TypeMismatch
a232fdf4eb2c5c4a1e720f1c0a7b9b779dfc2c35 Except2FunTuple NumLe TypeMismatch
52d191ae9d73604774ba84eb1fcca9077d68cd53 Except2FunTuple NumLe TypeMismatch
b201e8a64ce13354b0b623f20f41a9ba3002966e NumZero NumLe TypeMismatch
0dfc0ed51d4fa872fcbd8ce436ad796a596d5b53 NumZero NumLe TypeMismatch
2431c00fd8661463142b589213b82c8a14e8ed26 NumOne NumLe TypeMismatch
12559021b724d6b254f91bd1c56d62746f28b625 NumOne NumLe TypeMismatch
14e1b930ce1e2d027ab86638a5724102917f0d85 NumMaxInt NumLe TypeMismatch
f085112b843a25df3baed84b8507095da2401b8b NumMaxInt NumLe TypeMismatch
6df19d603ddda1e646892b8e3c6eae2d8c6b0cd9 NumUnaryMinus NumLe TypeMismatch
28059cc8630b4bc34c87bc98e7e8490dad69ca94 NumUnaryMinus NumLe TypeMismatch
8ef2ebdc8028b9c452ef6e776df4990cf7adcfd8 NumPlus NumLe TypeMismatch
6ee075c04c892c767fd7e3e405540ddf355c964e NumPlus NumLe TypeMismatch
2423370e4aef70ed7891a744782ba69e3b264a29 NumMinus NumLe TypeMismatch
8dcd74bb7412fd6eb335d12eaca68eafcbacf5f1 NumMinus NumLe TypeMismatch
7ef87010e9fdd2de3081d3f3402c036898dd8e49 NumMul NumLe TypeMismatch
dc7b987efa18f185c556caa709c20b7c2e51de47 NumMul NumLe TypeMismatch
8d0b1be114ff5cd99f5d74b4ffa85dcc52e45991 NumDiv NumLe TypeMismatch
d55fdf3dbd5af5ed9c16d70e006039dd8176adf5 NumDiv NumLe TypeMismatch
027fdf7268196f154e20b4bbb033943c34310d93 NumMod NumLe TypeMismatch
9c41fed0559c1489f39e71795994bf1ce0a80233 NumMod NumLe TypeMismatch
53a431b5485a23807f02dd54089a3c4a7def9eee NumPow NumLe TypeMismatch
6c87b800aac61a6b8a99247f577944b47027bfec NumPow NumLe TypeMismatch
8a96f47b2fbb035738fa0624f071dbca2effa00e NumGt NumLe TypeMismatch
679d5fab4a407b7fc2c8f3e2f00698b46d59e370 NumGt NumLe TypeMismatch
d384dc43216d889e7ea5fd0d8193dccbda19436c NumGe NumLe TypeMismatch
43c77ae231bba307580f1aa9ddae842b85c88be0 NumGe NumLe TypeMismatch
2cb44b9b774e02878630dbf8281d77dca9a46e89 NumLt NumLe TypeMismatch
3ab361b6972a09cb79b6329aff51029f35ae0e96 NumLt NumLe TypeMismatch
556204153194177555f793cae6c94585266380ee NumLe NumLe TypeMismatch
3f640c44307358eb647b654be495e61207b09862 NumLe NumLe TypeMismatch
55ce35763f1e4e9f1a8e4474404d90677568fb04 DefFunInDef NumLe TypeMismatch
a546461346e34fc9a371751497648287041181e5 DefFunInDef NumLe TypeMismatch
f36687fd0637f53159fa9149c04f4326f2be6dbd LetDefFunInDef NumLe TypeMismatch
1a5bfa85d735a5e8367dec0f5199567b8fbf863e LetDefFunInDef NumLe TypeMismatch
8635d69999e1cbe7ae23f852d320be034f06be67 ConstantModelValue NumLe CanNotBeCase
8b1b9491e255c2f52a9a6f8c1dbf098354ce18a9 ConstantModelValue NumLe CanNotBeCase
129b2ea6347c51846bf36181339c48dd8cbb762c Cross2 NumLe TypeMismatch
521178d43216baae7a7bf507f50229bbfd89381e Cross2 NumLe TypeMismatch
07f86525410cb21355d863039af766f02cff50c4 Cross3 NumLe TypeMismatch
b5f69ff071a412d6af4c43bf458c9f14bab1c3a7 Cross3 NumLe TypeMismatch
98a14a3220d0d101ccd4b609203a98dc02258c22 FunSet NumLe TypeMismatch
27859aded901e164421ebe94e0b2fe90b9a52519 FunSet NumLe TypeMismatch
cc7d72e0b36d58029c01053700e6332d889f8b8a RecordSet NumLe TypeMismatch
9ce20a67410cd288bb33cb2402f44cf7564ed464 RecordSet NumLe TypeMismatch
215f613a6db4251c8de0e4986aa21f50a52f2404 SetDiff NumLe TypeMismatch
1c0ece71dc8e6e1a14baf3d8669c041f0f37f2b2 SetDiff NumLe TypeMismatch
395ad4c07b7ac621176f35bc821e66d71f8aeca7 SetUnion NumLe TypeMismatch
a05f06ac2d7a80cbbb23ae3bf2675d3fdeaa0b3a SetUnion NumLe TypeMismatch
45e0c9c793235a3620678688b26f5592c7fed1fe SetIntersect NumLe TypeMismatch
52b8ebc46d1b14c5ea12b6204456c50fbbd79421 SetIntersect NumLe TypeMismatch
a5e08b1751769ff659c1228f8e7a01e2603830aa SubsetEq NumLe TypeMismatch
cda8ae96bb4b70ec10b58095244e44923d4978b5 SubsetEq NumLe TypeMismatch
e763ba54ce7d7186e899cb3c863904e5ecb83edf Subset NumLe TypeMismatch
d4b86dd08e60283be4308bbda475060347d955ec Subset NumLe TypeMismatch
d731c1323fe6966b7d06cbdf26da7fd2cf91c467 Domain NumLe TypeMismatch
d6f0ce7adecbd0a0fb67384013d5f596e5b90489 Domain NumLe TypeMismatch
a545fc962be535d5859162cc6e4d26560edf3743 Union NumLe TypeMismatch
01be166e48a78e8622008323c6e4a7e50e5160f7 Union NumLe TypeMismatch
e770ae7f2f1ee29a4bf3acb586d2150e9003eaaf StringEmpty NumLe TypeMismatch
4431c62beecb966168e7f13ae8a868f21c8f5c89 StringEmpty NumLe TypeMismatch
2e2a020347dcc08c7e5768acc9c42e390509fbc5 String NumLe TypeMismatch
9a4612e5718d1d735bffb76c78c98bda89948ba3 String NumLe TypeMismatch
6d330c4272cd5fd99e913028ce088c075a6d9a97 SeqLen NumLe TypeMismatch
82baf50bb64a7178ef1356dd30ea3f7aeb97e6f6 SeqLen NumLe TypeMismatch
93ab392e9aad7ad3cbc13c0f80cc13aa2f4c6825 SeqConcat NumLe TypeMismatch
09c4332af187ec95bf645660edd31ef710d092ff SeqConcat NumLe TypeMismatch
a687ace6d82dfa76d1e39d4f82ff4e841e3ace48 SeqSeq NumLe TypeMismatch
f9bbcf75d3e894f27ef8f16c798cb8a16dac78d3 SeqSeq NumLe TypeMismatch
9b8aa2d43344d8cd4e0bf023af8ca61cf0b7fb40 NatSet NumLe CanNotBeCase
6788ce2b76eb42536c0ed7d8d7f3eedcf27c0315 NatSet NumLe CanNotBeCase
8ad39112b9187ed92e6bd41663483590228e7548 IntSet NumLe CanNotBeCase
245eaf1d6eede0a5c9436b4377287a9ebb2d58b7 IntSet NumLe CanNotBeCase
d7d6811d785d3839ae995a087956cf5d19bcbb90 StringSet NumLe CanNotBeCase
747b0849dc40eac64e03d51a42b92aa28a8f1a15 StringSet NumLe CanNotBeCase
0dcc09ad2e66a3d4cabb78ee56ab65dcca7b154a SeqSelectSeq NumLe TypeMismatch
91d09e68aea11add04326f166628ccf235180895 SeqSelectSeq NumLe TypeMismatch
a80e5f2e083b823de0fc3ed473fa702690619ccb SeqSubSeq NumLe TypeMismatch
b80a9c7a7c3c58e53e69db7c6bfb2edb0dddaa77 SeqSubSeq NumLe TypeMismatch
d48611281d5d0f84f7851502c21aac1a9b98aa7b NumRange NumLe TypeMismatch
dd39af8244d01ab6c44b65ca411507e84ec442aa NumRange NumLe TypeMismatch
232a9eada3183b56787e5d4ef20a85d643e054de TlcExtendFun NumLe TypeMismatch
49d861db3b1aef5be81f430276af19accf64f624 TlcExtendFun NumLe TypeMismatch
ee9dbad9517ef47ce36dcf3051acf0a28b6654ae TlcPermuteFun NumLe TypeMismatch
32e43c811dc2baba6bd55bf0a06456c84458de40 TlcPermuteFun NumLe TypeMismatch
8f3a6b4c6ec5ab5351d2e60f14913c92db7ffba8 TlcSortSeq NumLe TypeMismatch
c7642ac4c58148509749a26588dc9e5d2f774fc4 TlcSortSeq NumLe TypeMismatch
6dc55905961758d440698050e80d6078c60cae42 BagBagToSet NumLe TypeMismatch
158dc49ba6eea92b87424196e3f0bb3162a55e51 BagBagToSet NumLe TypeMismatch
c961230e1b665778c22c1a9d1c2c72a3cb9c8bb2 BagSetToBag NumLe TypeMismatch
88d68da5422afa3eaf65679353e2301030d0494d BagSetToBag NumLe TypeMismatch
54aae7a91fcf68012d25e7e5b85853f8c4ddae65 BagEmptyBag NumLe CanNotBeCase
6bce94033b8d208f7b34ae791772ad7e43df5d33 BagEmptyBag NumLe CanNotBeCase
1e2c33a32123dcb1dd980db2b1f7c12c60a246a9 BagAddBag NumLe TypeMismatch
dcd4994f069c47b5d71f905fe2247176bd6153d6 BagAddBag NumLe TypeMismatch
4b4b692bdd3ecff6784b40c75fd2b55a09e89067 BagBagSub NumLe TypeMismatch
3c586872d86479150f03e483d95b3052d1bfe43d BagBagSub NumLe TypeMismatch
6fcfae055c790c015926d2cdb04dc6ab67e70812 BagSubsetEqBag NumLe TypeMismatch
fcc3c831990533d8795e4143949ba62879deb9de BagSubsetEqBag NumLe TypeMismatch
6d6ceccec7abbce92af796d4416e6dc222fc5f1b BagBagUnion NumLe TypeMismatch
d86e797ce9ba7a3d68fb883f4afcdbefb21dfa02 BagBagUnion NumLe TypeMismatch
29a854a271fb8f69eecfc258853b753c36418083 BagBagCardinality NumLe TypeMismatch
d2e41112dd2bb37eaec0e431aee42c4a11f378b0 BagBagCardinality NumLe TypeMismatch
67e5c1ba9d6edad9717173060f4e105a2b232328 BagBagOfAll NumLe TypeMismatch
2f419d83aa8c0b793b6c95042b8fe01a99ae670f BagBagOfAll NumLe TypeMismatch
792ff9cf5a7145a61e85306dfd79b08502d95b14 BagSubBag NumLe TypeMismatch
e3898fb9dbd00be99ef5d0c3881a2e3da70d209e BagSubBag NumLe TypeMismatch
09b64ce0d23f9fc2eac5190d777496409433c648 FiniteSetsIsFiniteSet NumLe TypeMismatch
d2c4718cc5b1334506560373ad4f7de768d2aba8 FiniteSetsIsFiniteSet NumLe TypeMismatch
45774a462424b671ccdf2e849da0cd56e089b3fe FiniteSetsCardinality NumLe TypeMismatch
92799e37167a257481639618c88462954406550c FiniteSetsCardinality NumLe TypeMismatch
096671d5cb6c6f788818da0a15bb10976ec0ae93 SeqHead NumLe TypeMismatch
9e32d7b435e3bbb610a335ec90d868741ae7d6c3 SeqHead NumLe TypeMismatch
0c5e700a931a33cca58035bef3663808c9b37773 SeqTail NumLe TypeMismatch
61c690537b907583630660f5223363714dd27734 SeqTail NumLe TypeMismatch