Repository navigation

feat(testcomp): one wrapper and one tool-info module for SV-COMP and Test-Comp - #89

Merged

GuilhermeBn198 merged 2 commits into

feat/testcomp-unified-wrapper

Oct 26, 2026

Merged

feat(testcomp): one wrapper and one tool-info module for SV-COMP and Test-Comp#89
GuilhermeBn198 merged 2 commits into
developfrom
feat/testcomp-unified-wrapper

Commits on Oct 26, 2026
- test(testcomp): sweep per-task work dirs left by killed runs
  GuilhermeBn198
  committed
  6e3eacb
- feat(testcomp): one wrapper and one tool-info module for SV-COMP and Test-Comp
  GuilhermeBn198
  committed
  9fb3718