chore(Makefile): entrypoint for Lean tests

This way, it's possible to only run Lean tests. Signed-off-by: Raito Bezarius <[email protected]>
rems-project · Jan 13, 2025 · 3aa2b92 · 3aa2b92
1 parent 7b15019
commit 3aa2b92
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -41,5 +41,8 @@ test:
 core-tests:
 	SAIL_DIR=`pwd` SAIL=`pwd`/sail test/run_core_tests.sh
 
+lean-tests:
+	SAIL_DIR=`pwd` SAIL=`pwd`/sail test/lean/run_tests.py
+
 c-tests:
 	SAIL_DIR=`pwd` SAIL=`pwd`/sail test/c/run_tests.py