Merge branch 'dev_symbexec_form_riscv' of github.com:kth-step/HolBA i…

…nto dev_symbexec_form_riscv
kth-step · Feb 8, 2024 · c8dfdb7 · c8dfdb7
2 parents f6cc925 + 8d43ca8
commit c8dfdb7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -105,6 +105,7 @@ main:          $(SRCDIR)
 examples-base: main $(EXAMPLES_BASE)
 examples-all:  main $(EXAMPLES_ALL)
 benchmarks:    main $(BENCHMARKS)
+riscv:         main src/tools/symbexec/examples/riscv
 
 
 tests: $(TEST_EXES) $(TEST_DIRS)