diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 20:00:09 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 20:00:09 -0800 |
| commit | 0b617259a3c1c1f7e2c097e0f56d8ae3c5cc96f7 (patch) | |
| tree | a0b88207e23dd2b45aeedf57fd987cfaefa5a975 /bindings/java/src/java/com/galois/ppaml/tracer/Phase.java | |
| parent | 32e5e36ea862c3fb981e7cc358280cbc7fbc8605 (diff) | |
Haskell: Add 'withTracer''
'withTracer'' wraps 'ppaml_tracer_init_from_env' in the C library.
Diffstat (limited to 'bindings/java/src/java/com/galois/ppaml/tracer/Phase.java')
0 files changed, 0 insertions, 0 deletions