blob: 43e3613c1f12b1f726faff56a1f4f2e0599f88a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#! /bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS="--std=08 -fpsl"
analyze test1.vhdl
elab_simulate psl_test_endpoint --psl-report=psl.out
grep -q '"cover-pass": 3' psl.out
rm psl.out
analyze test2.vhdl
elab_simulate psl_test2_endpoint --assert-level=error --expect-failure
analyze_failure endpoint_eval_err.vhdl
analyze endpoint_eval.vhdl
elab_simulate psl_endpoint_eval_in_vhdl
clean
echo "Test successful"
|