blob: f43e5ad2256a0a81bf0779b5fdf833a0942d3048 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#! /bin/sh
. ../../testenv.sh
GHDL_STD_FLAGS="--std=08 -fpsl"
analyze test1.vhdl
elab psl_test_endpoint
if ghdl_has_feature psl_test_endpoint psl-report; then
simulate psl_test_endpoint --psl-report=psl.out
grep -q '"cover-pass": 3' psl.out
rm psl.out
fi
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"
|
