From 374fe13166560721f45091168ccc9c441b285c6d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 17 Apr 2020 20:05:44 +0100 Subject: Fix examples for current version of coqup --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 71052f7..c463028 100644 --- a/README.md +++ b/README.md @@ -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 ``` -- cgit