cd sqlsmith/build/
./sqlsmith --verbose --target="post=5432 dbname=test"