Skip to content

Pass --compact-trace to CBMC for concrete playback - #4680

Merged
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:playback-compact-trace
Jul 29, 2026
Merged

Pass --compact-trace to CBMC for concrete playback#4680
feliperodri merged 1 commit into
model-checking:mainfrom
tautschnig:playback-compact-trace

Pass --compact-trace to CBMC for concrete playback

948a747
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Jul 28, 2026 in 9s