tinyriscv/tools/riscv-torture/project/build.properties