search

runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

rv-error improvements #1010

Closed gnuoyd closed 6 years ago

gnuoyd commented 6 years ago

Write synopses for each of the data-race types we find.

In console reports, insert a preposition between a couple of names in a - locked line.

gnuoyd commented 6 years ago

Jenkins: test this please.