search

runtimeverification / rv-predict

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

Produce sequentially-consistent traces if RVP_CONSISTENT=yes is in the environment. #1007

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

While I was here, I logged changes of generation (cog) where previously store/load- and send/receive-type events were logged without a cog.