path: root/test/kvx/hardcheck.sh

#!/bin/bash
# Tests the execution of the binaries produced by CompCert, in hardware

source do_test.sh

do_test hardcheck 1