diff options
-rw-r--r-- | README.md | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -53,3 +53,13 @@ make install ``` Which will install the binary in `./bin/coqup` by default. However, this can be changed by changing the `PREFIX` environment variable, in which case the binary will be installed in `$PREFIX/bin/coqup`. + +## Running + +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 +``` |