1 2 3 4
#!/bin/sh # DF-5004 run (see VERDICT.md for preconditions) cd "$(dirname "$0")" ./run.sh (cases: control / tc5 / pd200; ref0 belongs to DF-5005)