rems-project / cn-tutorial

8 stars 8 forks source link

Use `cn verify` in `check.sh` #74

Closed dsainati1 closed 3 months ago

dsainati1 commented 3 months ago

The make check-tutorial and make check commands were not working because the command passed from the Makefile to the check.sh script was only cn, which did not include the necessary verify argument. This change makes the commands run as expected.