diff options
| author | Robert Norton | 2017-04-27 10:43:38 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-27 10:43:38 +0100 |
| commit | bbed94896ab872d7b3d1939c8ad21d1c7fe04665 (patch) | |
| tree | be866bbc981ca1d38dd5b6228707e773d1f0a9d4 /src/parse_ast.ml | |
| parent | 0a4963271c28cea3aa3eabf2115f4a22a4c2fa23 (diff) | |
add command line argument for setting undef values to all zero or all one. Some tests intentionally produce undefined values (e.g. divide by zero) and this might be required for them to work.
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions