From 1f8a05ae6178e47bf8b52c0d8238178b7985816f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sat, 27 Jan 2018 20:07:14 +0000 Subject: [PATCH] Additional test targets in Makefile * make test - just runs a single test * make testsecho - prints the command to run the test suite --- prism/Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/prism/Makefile b/prism/Makefile index d3c9995e..ec19365f 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -408,6 +408,11 @@ make_dirs: for lib in `ls *$(LIBSUFFIX)`; do ln -fs $$lib `echo $$lib | sed s/$(LIBSUFFIX)/.jnilib/`; done;); \ fi +# Run a single test case +test: + bin/prism ../prism-tests/functionality/verify/dtmcs/dtmc_pctl.pm ../prism-tests/functionality/verify/dtmcs/dtmc_pctl.pm.props -prop 2 -test + +# Run all tests (in ../prism-tests and ./tests) tests: testslocal @if [ -d ../prism-tests ]; then \ cd ../prism-tests && "$(PWD)"/etc/scripts/prism-auto -t -m . -p "$(PWD)"/bin/prism --nailgun --ngprism "$(PWD)"/bin/ngprism; \ @@ -415,6 +420,11 @@ tests: testslocal echo "Skipping tests"; \ fi +# Just display the command to run the test suite on this version of PRISM +testsecho: + @echo etc/scripts/prism-auto -t -m --nailgun --ngprism bin/ngprism ../prism-tests -p bin/prism + +# Run local tests (in ./tests) testslocal: @if [ -d tests ]; then \ cd tests && "$(PWD)"/etc/scripts/prism-auto -t -m . -p "$(PWD)"/bin/prism --nailgun --ngprism "$(PWD)"/bin/ngprism; \