diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-01 11:05:12 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-01 11:05:12 +0000 |
commit | 975a5fb0c11af6e8db3f250322794c0712f4af90 (patch) | |
tree | 700cb068388ba30685c099f593dbd0bbcca29204 /src/extraction | |
parent | 5ba31274207ba24a15682f1aec9ad9e0f50e08ee (diff) | |
download | vericert-kvx-975a5fb0c11af6e8db3f250322794c0712f4af90.tar.gz vericert-kvx-975a5fb0c11af6e8db3f250322794c0712f4af90.zip |
Change lists in case statements to stmnt_list
Diffstat (limited to 'src/extraction')
-rw-r--r-- | src/extraction/Extraction.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/extraction/Extraction.v b/src/extraction/Extraction.v index 8aec96e..7d6e57c 100644 --- a/src/extraction/Extraction.v +++ b/src/extraction/Extraction.v @@ -190,6 +190,7 @@ Separate Extraction HTLgen.tbl_to_case_expr Pipeline.pipeline RTLBlockInstr.sat_pred_temp + Verilog.stmnt_to_list Compiler.transf_c_program Compiler.transf_cminor_program Cexec.do_initial_state Cexec.do_step Cexec.at_final_state |