testsuite/gna/ticket18/testsuite.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh

. ../../testenv.sh

GHDL_FLAGS="-fpsl --std=02"

analyze psl_test_error.vhd
elab_simulate psl_test_error --stop-time=200ns

analyze psl_test_working.vhd
elab_simulate psl_test_working --stop-time=200ns

clean