FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Record basic coverage information using Codecov by mrigger · Pull Request #21 · sqlancer/sqlancer · GitHub

Record basic coverage information using Codecov - #21

Merged
mrigger merged 6 commits into
masterfrom
codecov
Jun 7, 2020
Merged

Record basic coverage information using Codecov#21
mrigger merged 6 commits into
masterfrom
codecov

Conversation

mrigger commented Jun 6, 2020
edited
Loading

Copy link
Copy Markdown
Contributor

Add coverage information and ensure that the process does not exit prematurely. Addresses #20.

mrigger force-pushed the codecov branch 5 times, most recently from 024876e to 847aed3 Compare June 6, 2020 22:07

Copy link
Copy Markdown

Codecov Report

❗ No coverage uploaded for pull request base (master@a6f7825). Click here to learn what that means.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master      #21   +/-   ##
=========================================
  Coverage          ?   21.34%           
  Complexity        ?     1082           
=========================================
  Files             ?      382           
  Lines             ?    18188           
  Branches          ?     2337           
=========================================
  Hits              ?     3882           
  Misses            ?    14016           
  Partials          ?      290           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update a6f7825...ad204c6. Read the comment docs.

mrigger changed the title Add Codecov Record basic coverage information using Codecov Jun 7, 2020
mrigger merged commit bbe0bbd into master Jun 7, 2020
mrigger deleted the codecov branch June 7, 2020 22:29
fm4v added a commit to ClickHouse/sqlancer that referenced this pull request Jun 24, 2026
…ide-int types + EET roundtrip identities)

Implements the plan's Phase-1 P0 fast wins from
docs/plans/2026-06-13-001-feat-clickhouse-coverage-backlog-30-ideas-plan.md.

New differential / ground-truth oracles (each default-on, gated by a --flag,
self-contained, soundness-checklist-compliant):
- #2  PrewhereEquivalence      WHERE == PREWHERE == optimize_move_to_prewhere=0 (multiset)
- #3  ReadInOrderToggle        optimize_read_in_order/aggregation_in_order on==off
- #4  CountOptimization        trivial/implicit/use_projections on==off + countIf cross-check
                               + GROUP-BY-key count arm (hardens #106573, #106125)
- #5  LazyMaterializationToggle query_plan_optimize_lazy_materialization on==off (positional)
- #12 ReplacingDedup           ReplacingMergeTree(ver) FINAL == argMax(val,ver) GROUP BY key
- sqlancer#19 QuantileConsistency      quantileExact==medianExact, monotone-in-level, Low<=Exact<=High
- sqlancer#20 UniqExactness            uniqExact == count(DISTINCT) == length(groupUniqArray)
- sqlancer#21 ArgExtremum              argMax / arraySort(groupArray) / groupArraySorted vs Java truth
- sqlancer#28 MaterializedColumn       MATERIALIZED/ALIAS col == defining expr (single-snapshot)

Generator/catalog:
- sqlancer#16 emit signed Int128/Int256 + Decimal256 (Decimal precision 39..76); Interval
      column emission deliberately NOT added (ClickHouse forbids storing Interval in
      tables); ClickHouseTypeParser gains an Interval read-back branch for free.
- sqlancer#23 EET roundtrip identities: unhex(hex), base64Decode(base64Encode),
      tryBase64Decode(base64Encode), toIPv4(IPv4NumToString(toUInt32)),
      toIPv6(IPv6NumToString) -- each type-gated; +7 unit-test cases.

Wired into ClickHouseOracleFactory, ClickHouseOptions (--*-oracle flags) and
.claude/run-sqlancer.sh ALL_ORACLES. mvn compile green; EETIdentitiesTest 20/20.
Probe-on-head items (recorded for dev-vm validation): query_plan_optimize_lazy_materialization,
read_in_order_use_buffering, optimize_trivial_count_query family, groupArraySorted/array text
format, IPv6 IPv4-mapped roundtrip.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants


Back | FazBrowse Home | New Git URL