diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 19:07:30 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 19:07:30 -0800 |
| commit | b9dfb8d03b457844fbcab5ad20d744971569f0d7 (patch) | |
| tree | 385f470f4faa64399995403664da0b3f807b8aac /bindings | |
| parent | bb3a3a61fe7b971ad8ef326ec7e4d5903e6860ee (diff) | |
Add 'ppaml_tracer_init_from_env'
This new API function is similar to 'ppaml_tracer_init', but instead of
accepting the report base name as an argument, it pulls it from the
'PPAMLTRACER_TRACE_BASE' environment variable. This is useful for users
who want to be able to vary the locations of trace reports but do not
want to build tracing into their configuration file / command-line
argument parsers.
Diffstat (limited to 'bindings')
0 files changed, 0 insertions, 0 deletions