Nice to have: report "as if synchronized by ..." like tsan

runtimeverification / rv-predict

Code for improved rv-predict and installer

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

2 stars 3 forks source link

Nice to have: report "as if synchronized by ..." like tsan #1005

Open gnuoyd opened 5 years ago

gnuoyd commented 5 years ago

For example, "as if synchronized by nanosleep." We'd have to instrument sleeps, and we'd have to do something different in the analysis backend. Shouldn't be too hard?