[tests] all coverage is closed by default in ci report

Signed-off-by: Clo91eaf <[email protected]>
chipsalliance · Dec 16, 2024 · f4dbf3e · f4dbf3e
1 parent a7be4cf
commit f4dbf3e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/tests/default.nix b/tests/default.nix
@@ -113,7 +113,11 @@ let
           mkdir -p $out/cases/${caseDrv.pname}
           cp ${caseDrv}/bin/${caseDrv.pname}.elf $out/cases/${caseDrv.pname}/
           cp ${caseDrv}/${caseDrv.pname}.json $out/configs/
-          cp ${caseDrv}/${caseDrv.pname}.cover $out/configs/
+          if [ -f ${caseDrv}/${caseDrv.pname}.cover ]; then
+            cp ${caseDrv}/${caseDrv.pname}.cover $out/configs/
+          else
+            echo "-assert *" > $out/configs/${caseDrv.pname}.cover
+          fi
         '')
         allCases);
     in

diff --git a/tests/mlir/default.nix b/tests/mlir/default.nix
@@ -55,9 +55,7 @@ let
           ${caseName}.c $pname.S ${t1main} \
           -o $pname.elf
 
-        if [ ! -f ${sourcePath}/${caseName}.json ]; then
-          echo "Error: ${sourcePath}/${caseName}.json not found" >&2
-        else
+        if [ -f ${sourcePath}/${caseName}.json ]; then
           ${jq}/bin/jq -r '[.assert[] | "+assert " + .name] + [.tree[] | "+tree " + .name] + [.module[] | "+module " + .name] | .[]' \
               ${sourcePath}/${caseName}.json > $pname.cover
         fi