diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 20:05:44 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 20:05:44 +0100 |
commit | 374fe13166560721f45091168ccc9c441b285c6d (patch) | |
tree | 2f6647d93efc130648dbecb95cddf7cc155873fa /README.md | |
parent | d1564c62d6936545a44919a262695c51a9cef16a (diff) | |
download | vericert-374fe13166560721f45091168ccc9c441b285c6d.tar.gz vericert-374fe13166560721f45091168ccc9c441b285c6d.zip |
Fix examples for current version of coqup
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -73,7 +73,7 @@ Which will install the binary in `./bin/coqup` by default. However, this can be To test out `coqup` you can try the following examples which are in the test folder using the following: ``` shell -./bin/coqup test/loop.c -o loop.v -./bin/coqup test/conditional.c -o conditional.v -./bin/coqup test/add.c -o add.v +./bin/coqup --hls test/loop.c -o loop.v +./bin/coqup --hls test/conditional.c -o conditional.v +./bin/coqup --hls test/add.c -o add.v ``` |