sysy-data/zci.toml

data_dir = "."
cases = ["functional_c"]
server = "http://10.249.12.73/zci"
executer = "simulate_1"

[test]
task_name = "test"
task_path = "./data_cli/task1"
cases = ["performance_c"]
server_ip = "10.249.12.73"
server_port = 8080
tag = "starfive"
[test.config]
cache = false
execute_cmd = "{bin}"
total_timeout = 10000
case_timeout = 1000
per_timeout = 100
intermediary_break = false
# [test.config.envs]
# LD_LIBRARY_PATH = "$LD_LIBRARY_PATH:data/lib"

[status]
server_ip = "10.249.12.73"
server_port = 8080

[compile]
cache = false
# compiler = "clang"
compiler = "compiler-cs"
# compile_cmd = "{compiler} -S {sy} -l {asm} -o /dev/null"
compile_cmd = "{compiler} -S {sy} -o {asm} -O"

[asm2bin]
cache = false
asm2bin_cmd = "riscv64-unknown-linux-gnu-gcc {asm} -I lib -Llib -lsysy -march=rv64gc -o {bin}"

[execute]
cache = false
execute_cmd = "qemu-riscv64 {bin}"
per_timeout = 20
intermediary_break = false


[expect]
cache = false
compile_cmd = "riscv64-unknown-linux-gnu-gcc -x c {sy} -I lib -S -o {asm} -march=rv64gc"
asm2bin_cmd = "riscv64-unknown-linux-gnu-gcc {asm} -I lib -Llib -lsysy -march=rv64gc -o {bin}"
execute_cmd = "qemu-riscv64 {bin}"

[clean]
dirs = ["asm", "bin", "diff", "output", "log"] # "expect",

[diff]
cache = true
diff_cmd = "diff {out1} {out2}"