The CLI and JSON output of horus-compile was altered to spit out the specs separately. Now horus-check takes an additional argument --spec_output. However, the docs display the old way of doing things in several places, for example:
|
When we run Horus on the above program, we get: |
|
```console |
|
user@computer:~/pkgs/horus-checker$ horus-check -s cvc5 a.json |
|
f |
|
Verified |
|
|
|
g |
|
False |
|
|
|
``` |