generalize running model-checking tests

tests/Makefile.am

@@ -60,7 +60,8 @@ EXTRA_DIST =					\
 	datawizard/interfaces/block/block_opencl_kernel.cl \
 	perfmodels/opencl_memset_kernel.cl \
 	$(MICROBENCHS:=.sh) \
-	microbenchs/microbench.sh
+	microbenchs/microbench.sh \
+	model-checking/starpu-mc.sh.in
 
 CLEANFILES = 					\
 	*.gcno *.gcda *.linkinfo core starpu_idle_microsec.log *.mod *.png *.output

tests/model-checking/prio_list.sh

@@ -0,0 +1,19 @@
+#!/bin/bash -x
+#
+# StarPU --- Runtime system for heterogeneous multicore architectures.
+#
+# Copyright (C) 2017  Université de Bordeaux
+#
+# StarPU is free software; you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation; either version 2.1 of the License, or (at
+# your option) any later version.
+#
+# StarPU is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+#
+# See the GNU Lesser General Public License in COPYING.LGPL for more details.
+
+source $(dirname $0)/starpu-mc.sh
+test prio_list

tests/model-checking/prio_list.sh.in

@@ -15,7 +15,7 @@
 #
 # See the GNU Lesser General Public License in COPYING.LGPL for more details.
 
-# Test prio_lists with simgrid model checker
+# Test a model-checking program with simgrid model checker
 
 SIMGRID_MC=@SIMGRID_MC@
 abs_top_srcdir=@abs_top_srcdir@
@@ -32,5 +32,6 @@ MC_FLAGS=--cfg=model-check/reduction:none
 #MC_FLAGS+=--cfg=model-check/sparse-checkpoint:yes
 #MC_FLAGS+=--cfg=model-check/visited:1000
 
-PREFIX=$(dirname $0)
-$SIMGRID_MC $abs_builddir/prio_list $abs_top_srcdir/tests/model-checking/platform.xml MAIN $MC_FLAGS
+test() {
+	$SIMGRID_MC $abs_builddir/$1 $abs_top_srcdir/tests/model-checking/platform.xml MAIN $MC_FLAGS
+}