mirror of
https://github.com/verilator/verilator.git
synced 2026-10-02 16:13:34 +02:00
The coverage numbers decreased when adding -Og to the debug build. This patch restores them by adding --enable-coverage to configure and building without -Og if requested.