🔧

zci.toml

@@ -0,0 +1,73 @@
+data_dir = "/home/wangfiox/Documents/database"
+cases = [
+    "final_performance_c",
+    "functional_c",
+    "hidden_functional_c",
+    "performance_c",
+    "performance_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"
+compile_cmd = "{compiler} --target=riscv64-unknown-elf -march=rv64gc -mabi=lp64d -x c -O3 -S {sy} -o {asm} -I/home/wangfiox/Documents/database/lib -I/usr/riscv64-linux-gnu/include/"
+
+[asm2bin]
+cache = false
+asm2bin_cmd = "riscv64-suse-linux-gcc {asm} -Ldata_cli/lib -lsysy -march=rv64gc -o {bin}"
+total_timeout = 1000
+case_timeout = 100
+per_timeout = 10
+intermediary_break = false
+
+[execute]
+cache = false
+execute_cmd = "qemu-riscv64 -L data_cli/lib {bin}"
+total_timeout = 1000
+case_timeout = 100
+per_timeout = 10
+intermediary_break = false
+
+[execute.envs]
+LD_LIBRARY_PATH = "$LD_LIBRARY_PATH:/usr/riscv64-suse-linux/sys-root/lib64/lp64d"
+
+[expect]
+cache = true
+compile_cmd = "riscv64-linux-gnu-gcc -x c {sy} -S -o {asm} -march=rv64gc"
+asm2bin_cmd = "riscv64-linux-gnu-gcc {asm} -Ldata/lib -lsysy -march=rv64gc -o {bin}"
+execute_cmd = "qemu-riscv64 -L /usr/riscv64-linux-gnu {bin}"
+total_timeout = 1000
+case_timeout = 100
+per_timeout = 10
+intermediary_break = false
+
+[clean]
+dirs = ["asm", "bin", "diff", "output", "expect", "log"]
+
+[diff]
+cache = true
+diff_cmd = "diff {out1} {out2}"
+