diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-03-23 05:25:30 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-03-23 05:25:30 +0100 |
| commit | 50ad0f98f084b960af0af48740590652c9715baa (patch) | |
| tree | cd4c6e22684dd648682f8976bc08469179583666 /testsuite/gna/issue45/testsuite.sh | |
| parent | 646ab63baa6ada918f6e0f292748bb5e8482b8c3 (diff) | |
| download | ghdl-50ad0f98f084b960af0af48740590652c9715baa.tar.gz ghdl-50ad0f98f084b960af0af48740590652c9715baa.tar.bz2 ghdl-50ad0f98f084b960af0af48740590652c9715baa.zip | |
Testcase for incorrect use of PSL endpoint in expressions.
Diffstat (limited to 'testsuite/gna/issue45/testsuite.sh')
| -rwxr-xr-x | testsuite/gna/issue45/testsuite.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/gna/issue45/testsuite.sh b/testsuite/gna/issue45/testsuite.sh index 79e947ecc..43e3613c1 100755 --- a/testsuite/gna/issue45/testsuite.sh +++ b/testsuite/gna/issue45/testsuite.sh @@ -13,6 +13,11 @@ 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" |