Add existing test to check

This commit is contained in:
Julian Lenz committed 2022-11-25 17:40:40 +00:00
1 parent 629cb2987a
commit 1aa28b47ae
1 file changed
+1
+1
View File
@@ -5,3 +5,4 @@ include Make.inc
check: tests
./Test_project_on_Sp
./Test_sp2n_lie_gen
./Test_Sp_start