blob: 4d1d395c946bc94224bf5549469a7312f1886ad4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#! /bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS="--std=02 -fpsl"
analyze psl_test_named_statement.vhd
elab_simulate psl_test_named_statement --stop-time=200ns 2>&1 | tee psl.out
if ! grep -q "psl assertion error" psl.out; then
echo "missing psl error"
exit 1
fi
clean
rm -f psl.out
echo "Test successful"
|
