Release 2.0 - Githubissues

runtimeverification / rv-predict

Code for improved rv-predict and installer

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

2 stars 3 forks source link

Closed gnuoyd closed 6 years ago

gnuoyd commented 6 years ago

Fix a bug affecting the console & HTML reports in the 2.0 release. I cut a 2.0.1 release from this already. :-)

I'm tagging Yiyi in this pull so that he knows what changes I had to make to the HTML reports.