search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Improve `dune runtest` output #1424

Closed sim642 closed 2 months ago

sim642 commented 2 months ago

See #1392.