ci: add npc difftest
All checks were successful
Run CTests within npc / npc-test (push) Successful in 8m53s
Build abstract machine with nix / build-abstract-machine (pull_request) Successful in 4m37s

This commit is contained in:
xinyangli 2024-04-05 11:30:52 +08:00
parent 6f7d7ba383
commit e1438e25ed
Signed by: xin
SSH key fingerprint: SHA256:qZ/tzd8lYRtUFSrfBDBMcUqV4GHKxqeqRA3huItgvbk
7 changed files with 143 additions and 12 deletions

View file

@ -9,3 +9,9 @@ verilate(V${TOPMODULE} TRACE COVERAGE THREADS
VERILATOR_ARGS
"--vpi" # Enable VPI
)
add_test(
NAME V${TOPMODULE}
COMMAND V${TOPMODULE}
--no-bin -m ${PROJECT_SOURCE_DIR}/resource/addi.txt
--diff-lib ${DIFFTEST_LIB})