diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-11-13 23:00:52 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-13 23:00:52 +0000 |
commit | b25501acffb8fa761832dfe9ad1a3138b165ff90 (patch) | |
tree | f4635275a435756125373ac435250fe8097ac551 /scripts/verilator_main.cpp | |
parent | 003c2ebeed882c83ac06a0cd1f7449677ca31d14 (diff) | |
download | vericert-b25501acffb8fa761832dfe9ad1a3138b165ff90.tar.gz vericert-b25501acffb8fa761832dfe9ad1a3138b165ff90.zip |
Remove verilator from Makefile
Diffstat (limited to 'scripts/verilator_main.cpp')
-rw-r--r-- | scripts/verilator_main.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/verilator_main.cpp b/scripts/verilator_main.cpp index 4561158..94b6a33 100644 --- a/scripts/verilator_main.cpp +++ b/scripts/verilator_main.cpp @@ -19,7 +19,7 @@ int main(int argc, char **argv) { tb->reset = 0; tb->eval(); tb->clk = 1; tb->eval(); tb->clk = 0; tb->eval(); - int cycles = 1; + size_t cycles = 1; // Tick the clock until we are done while(!tb->finish) { @@ -30,6 +30,6 @@ int main(int argc, char **argv) { cycles++; } - printf("cycles: %d\nfinished: %d\n", cycles, (unsigned)tb->return_val); + printf("cycles: %lu\nfinished: %u\n", cycles, (unsigned)tb->return_val); exit(EXIT_SUCCESS); } |