Skip to content

CBMC/JBMC --cover: only store traces with --trace to avoid memory exhaustion#5714

Merged
tautschnig merged 3 commits into
diffblue:developfrom
tautschnig:cover-trace
Jan 21, 2021
Merged

CBMC/JBMC --cover: only store traces with --trace to avoid memory exhaustion#5714
tautschnig merged 3 commits into
diffblue:developfrom
tautschnig:cover-trace

CBMC --cover: only store traces with --show-test-suite

87e8440
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs