diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-06-04 15:53:28 +0200 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-06-04 15:53:28 +0200 |
| commit | 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc (patch) | |
| tree | c7741792267ed92280be62ce8d4c686021cb7368 /Makefile | |
| parent | 8efe6ee7f573296d27a9808102f31a99d3efdb58 (diff) | |
| download | yosys-5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc.tar.gz yosys-5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc.tar.bz2 yosys-5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc.zip | |
Add printf format attributes to btorf/infof helper functions
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions