aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/hardcheck.sh
blob: 82b63182bc1c45ff38b22515e873b356f34d86c0 (plain)
1
2
3
4
5
6
#!/bin/bash
# Tests the execution of the binaries produced by CompCert, in hardware

source do_test.sh

do_test hardcheck