starpu-mc.sh.in 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. #!/bin/bash -x
  2. # StarPU --- Runtime system for heterogeneous multicore architectures.
  3. #
  4. # Copyright (C) 2017 CNRS
  5. # Copyright (C) 2017 Université de Bordeaux
  6. #
  7. # StarPU is free software; you can redistribute it and/or modify
  8. # it under the terms of the GNU Lesser General Public License as published by
  9. # the Free Software Foundation; either version 2.1 of the License, or (at
  10. # your option) any later version.
  11. #
  12. # StarPU is distributed in the hope that it will be useful, but
  13. # WITHOUT ANY WARRANTY; without even the implied warranty of
  14. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  15. #
  16. # See the GNU Lesser General Public License in COPYING.LGPL for more details.
  17. #
  18. # Test a model-checking program with simgrid model checker
  19. SIMGRID_MC=@SIMGRID_MC@
  20. abs_top_srcdir=@abs_top_srcdir@
  21. abs_builddir=@abs_builddir@
  22. set -e
  23. [ -x "$SIMGRID_MC" ] || exit 77
  24. MC_FLAGS=--cfg=model-check/reduction:none
  25. # makes it much longer actually
  26. #MC_FLAGS+=--cfg=contexts/factory:ucontext
  27. #MC_FLAGS+=--cfg=model-check/sparse-checkpoint:yes
  28. #MC_FLAGS+=--cfg=model-check/visited:1000
  29. test() {
  30. $SIMGRID_MC $abs_builddir/$1 $abs_top_srcdir/tests/model-checking/platform.xml MAIN $MC_FLAGS
  31. }