Merge pull request #6100 from YosysHQ/mmicko/test_verific

tests: Explicitly run tests without and with Verific where applicable

.github/workflows/test-verific.yml

@@ -82,12 +82,14 @@ jobs:
 
       - name: Run Yosys tests
         run: |
-          make -C tests -j$procs vanilla-test
+          YOSYS_NOVERIFIC=1 make -C tests -j$procs vanilla-test
 
       - name: Run Verific specific Yosys tests
         run: |
+          make -C tests prep
           make -C tests/sva
           make -C tests/svtypes
+          make -C tests/check_mem
 
       - name: Run coverage
         if: ${{ github.event_name != 'merge_group'}}

tests/verilog/.gitignore

@@ -8,3 +8,4 @@
 /assign_to_reg.v
 /subdir
 /temp_foo.v
+/temp