Attempt #1 to fix CI

rizinorg · Oct 11, 2024 · 6eab6ac · 6eab6ac
1 parent 9e736bf
commit 6eab6ac
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -34,6 +34,7 @@ jobs:
                 cd generator && source ~/.bash_profile
                 export OPAMCONFIRMLEVEL=yes
                 opam update
+                opam list -a
                 opam install . --deps-only
                 opam install sail=0.18
                 sudo apt-get install z3
@@ -66,9 +67,12 @@ jobs:
 
                 if diff -q riscv_ast.gen.inc ../old_output/riscv_ast.gen.inc > /dev/null 2>&1; then
                   if diff -q riscv_decode.gen.inc ../old_output/riscv_decode.gen.inc > /dev/null 2>&1; then
-                    echo "Success: The tool generates compiling C code that is identical to the files committed."
+                    if diff -q riscv_ast2str.gen.inc ../old_output/riscv_ast2str.gen.inc > /dev/null 2>&1 then
+                      echo "Success: The tool generates compiling C code that is identical to the files committed."
+                    else
+                      echo "Failure: The tool-generated ast stringification logic differ from the one committed in the repo"
                   else
-                    echo "Failure: The tool-generated decoding logic differ from that committed in the repo."
+                    echo "Failure: The tool-generated decoding logic differ from the one committed in the repo."
                     exit 1
                   fi
                 else