diff --git a/scripts/run_leanchecker.sh b/scripts/run_leanchecker.sh
index f201c1d..04006f6 100755
--- a/scripts/run_leanchecker.sh
+++ b/scripts/run_leanchecker.sh
@@ -32,7 +32,11 @@ git checkout "$toolchain_version"
 cp ../lean-toolchain .
 
 lake build
-./test.sh
+if [ -f ./test.sh ]; then
+  ./test.sh
+else
+  lake test
+fi
 )
 
 echo "Running external lean4checker"