diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-04 18:37:11 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-08-04 18:37:11 +0100 |
commit | 95ef66d14377cbd88142b5ccb3d598fde6fec243 (patch) | |
tree | 4c9f11a44ccdc16f284e02073baf3b49d50588ef /src/hls/HTLgenspec.v | |
parent | 710979db5857d58de4478c3e8a6d645ebab9d8c1 (diff) | |
download | vericert-95ef66d14377cbd88142b5ccb3d598fde6fec243.tar.gz vericert-95ef66d14377cbd88142b5ccb3d598fde6fec243.zip |
Fix test/test_all.sh
It was incorrectly extracting the result from the iverilog output
Diffstat (limited to 'src/hls/HTLgenspec.v')
0 files changed, 0 insertions, 0 deletions