#!/bin/bash

make -C benchmarks/riscv_tests/isa run