ci: add a --no-diff test (#137)

OpenXiangShan · Sep 8, 2023 · 779bf4c · 779bf4c
1 parent a224ba3
commit 779bf4c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -48,6 +48,16 @@ jobs:
             rm -r difftest
             cp -r $GITHUB_WORKSPACE .
 
+      - name: Simulation with No Diff
+        run: |
+            cd $GITHUB_WORKSPACE/../xs-env
+            source ./env.sh
+            cd $GITHUB_WORKSPACE/../xs-env/NutShell
+            source ./env.sh
+            make clean
+            make emu EMU_CXX_EXTRA_FLAGS="-DFIRST_INST_ADDRESS=0x80000000"
+            ./build/emu -b 0 -e 0 -i ./ready-to-run/microbench.bin --no-diff
+
       - name: Basic Difftest
         run: |
             cd $GITHUB_WORKSPACE/../xs-env