Function annotate_happens_before

pub fn annotate_happens_before(obj: *const ())

Available on crate feature client_requests_defs only.

Create completely arbitrary happens-before edges between threads

See super::helgrind::annotate_happens_before