Use smoke tests in package testing

runtimeverification · Jan 12, 2024 · 4536919 · 4536919
1 parent e75a63b
commit 4536919
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/package/test-package b/package/test-package
@@ -1,10 +1,10 @@
 #!/bin/sh -ex
-cp -r /usr/share/kframework/pl-tutorial ~
+cp -r `pwd`/k-distribution/tests/smoke ~
 WD=`pwd`
 cd
 echo 'Starting kserver...'
 spawn-kserver $WD/kserver.log
-cd pl-tutorial
+cd smoke
 echo 'Testing tutorial in user environment...'
 make -j`nproc`
 make clean