mirror of
https://github.com/verilator/verilator.git
synced 2026-08-30 01:38:21 +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.