Canonicalize test path

Author: aborg-dev

ci/zkasm-result.py

@@ -138,9 +138,9 @@ def main():
         "--update", action="store_true", help="Whether to update state CSVs"
     )
     args = parser.parse_args()
-    tests_path = args.path
-    generated_dir = f"{tests_path}/generated"
-    test_results_path = f"{tests_path}/state.csv"
+    tests_path = os.path.normpath(args.path)
+    generated_dir = os.path.join(tests_path, "generated")
+    test_results_path = os.path.join(tests_path, "state.csv")
 
     test_results = read_test_execution_results(sys.stdin)
     record_failed_compilation_results(tests_path, generated_dir, test_results)

docs/zkasm/test_summary.csv

@@ -1,5 +1,4 @@
 Suite path,Passing count,Total count,Total cycles
 cranelift/zkasm_data,25,26,1023
-cranelift/zkasm_data/spectest/i32,138,364,3603
-cranelift/zkasm_data/spectest/i32/,155,364,4589
+cranelift/zkasm_data/spectest/i32,155,364,4589
 cranelift/zkasm_data/spectest/i64,161,374,4042