diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-02 20:34:20 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-02 20:34:20 +0000 |
commit | f3a0c5c0095258159c495d70fda6749bbf89de70 (patch) | |
tree | f06c5305b6744cc3c12e678c97248af36ff35e30 /src/hls/PrintRTLBlock.ml | |
parent | e68848fc6970acc9b973a2c9dff5eddedb833914 (diff) | |
download | vericert-f3a0c5c0095258159c495d70fda6749bbf89de70.tar.gz vericert-f3a0c5c0095258159c495d70fda6749bbf89de70.zip |
Add predicated values and instructions
Diffstat (limited to 'src/hls/PrintRTLBlock.ml')
-rw-r--r-- | src/hls/PrintRTLBlock.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/hls/PrintRTLBlock.ml b/src/hls/PrintRTLBlock.ml index caf64ff..8fef401 100644 --- a/src/hls/PrintRTLBlock.ml +++ b/src/hls/PrintRTLBlock.ml @@ -63,10 +63,10 @@ let print_program pp (prog: program) = let destination : string option ref = ref None -let print_if prog = +let print_if passno prog = match !destination with | None -> () | Some f -> - let oc = open_out f in + let oc = open_out (f ^ "." ^ Z.to_string passno) in print_program oc prog; close_out oc |