Rodrigo Arias
505245d54c
The marks are parsed from the metadata definition, then merged from all threads and a new channel for each mark type is created. The channel type is specified using a flag when calling ovni_mark_type(), so the channels is set to single or stack. For now, only ovni_mark_push() and ovni_mark_pop() are implemented. |
||
---|---|---|
.. | ||
emu | ||
rt | ||
unit | ||
CMakeLists.txt | ||
macros.cmake | ||
match-error.sh | ||
match-ok.sh | ||
ovni-driver.sh |