search

runtimeverification / rv-predict

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

Added tests to ensure that the pointers to system intrinsics like pth… #1002

Open Carloon opened 5 years ago

Carloon commented 5 years ago

…read_mutex_lock are inplace and that the 'trace to the ring' calls occur only if the ring has been initialized.