# Tests for the Printf package

# -----
# Test various format strings

# The file test.c.bak can be run to see the strings generated by C

test_veri_only_bsv PrintfTest

# -----

# XXX Test the error situations

# -----