57 lines
1.2 KiB
TOML
57 lines
1.2 KiB
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}"
|