Fix several HTML report issues

runtimeverification / rv-predict

Code for improved rv-predict and installer

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

2 stars 3 forks source link

Closed shd101wyy closed 5 years ago

shd101wyy commented 5 years ago

Demo:

This pull requests:

Change few wordings in report. Like Error to Error Id, File to File:Line.
Change default order or columns.
Slightly change the style of table.
Highlight search results in yellow color.
Support expand/collapse rows.

shd101wyy commented 5 years ago

Hi @gnuoyd , please take a look at the changes we made to HTML report when you have time. Thank you.