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/haskell | |
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/haskell')
0 files changed, 0 insertions, 0 deletions