search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

[report] add graph.pdf in the report #50

Open izlatkin opened 2 years ago

izlatkin commented 2 years ago

use option dump_cfg = false install dot command to generate pdf dot -Tpdf -o chc.pdf chc.dot

see: https://github.com/izlatkin/aeval/blob/tg/include/deep/Horn.hpp#L1392