Fix/rv html report missing files bug

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

Fix/rv html report missing files bug #1003

Closed shd101wyy closed 6 years ago

shd101wyy commented 6 years ago

This pull request fixes the bug that some files are not included in HTML report.
For example, in this bind9 report, pthread.c file is missing, therefore /repo/lib/isc/pthreads/thread.c:61 couldn't display. This pull request should fix this issue. Thank you