tests/svtypes/run-test.sh

   1 #!/usr/bin/env bash
   2 set -e
   3 {
   4 echo "all::"
   5 for x in *.ys; do
   6         echo "all:: run-$x"
   7         echo "run-$x:"
   8         echo "  @echo 'Running $x..'"
   9         echo "  @../../yosys -ql ${x%.ys}.log $x"
  10 done
  11 for x in *.sv; do
  12         if [ ! -f "${x%.sv}.ys"  ]; then
  13                 echo "all:: check-$x"
  14                 echo "check-$x:"
  15                 echo "  @echo 'Checking $x..'"
  16                 echo "  @../../yosys -ql ${x%.sv}.log -p \"prep -top top; sat -verify -prove-asserts\" $x"
  17         fi
  18 done
  19 } > run-test.mk
  20 exec ${MAKE:-make} -f run-test.mk