1 2 3 4 5
#!/bin/sh # Run the DF-0745 deterministic harness. cd "$(dirname "$0")" ./harness echo "RUN_EXIT=$?"