Skip to content

added basic trace metadata collection; tracegen refactored to clikt #1418

added basic trace metadata collection; tracegen refactored to clikt

added basic trace metadata collection; tracegen refactored to clikt #1418

Annotations

2 warnings

test-benchexec (ReachSafety-XCSP, HORN)

succeeded Sep 20, 2024 in 16m 23s