diff options
| author | Prashanth Mundkur | 2018-07-09 16:49:31 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-09 16:49:31 -0700 |
| commit | 85def9a2d488cc2d74394663f9f6323258e5fa59 (patch) | |
| tree | aa02700a7a6e0d7be74f7902107747bf1bc74a9b /aarch64 | |
| parent | 1f950bdf4f6f80b472ec06eb07a3144666840126 (diff) | |
Initialize fresh memory to 0 in the OCaml backend.
This makes it consistent with the C backend, and also makes it easier to compare traces across execution re-runs.
Diffstat (limited to 'aarch64')
0 files changed, 0 insertions, 0 deletions