Rodrigo Arias
6f7ce4063f
Allows programs to update to a new libovni library without breaking the instrumentation. Only until the first call to ovni_thread_require() the models are enabled on demand. |
||
---|---|---|
.. | ||
emu | ||
rt | ||
unit | ||
CMakeLists.txt | ||
macros.cmake | ||
match-error.sh | ||
match-ok.sh | ||
ovni-driver.sh |