search

izlatkin / HornLauncher

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

[report] absolute path should be replace to relative #30

Closed izlatkin closed 2 years ago

izlatkin commented 2 years ago

should be refactored https://github.com/izlatkin/HornLauncher/blob/main/launcher/ReportBuilder.py

izlatkin commented 2 years ago

https://github.com/izlatkin/HornLauncher/commit/3502551c0ad357ab5dabba4307c834519f6ab9c2

izlatkin commented 2 years ago

still exist. Probably need to recheck https://github.com/izlatkin/HornLauncher/blob/main/launcher/ReportBuilder.py#L174

izlatkin commented 2 years ago

https://github.com/izlatkin/HornLauncher/commit/5a65aeac1b928d140b3b552a909636b2eb5df9a9