diff options
author | Tristan Gingold <tgingold@free.fr> | 2016-03-22 05:34:06 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-03-22 05:44:49 +0100 |
commit | db9df06f901abe21976ae8f5d3b680965daef70b (patch) | |
tree | 7a5a5d9a2485c9fb0b593dd1f25f5b96defbbb34 /src/grt/grt-rtis.ads | |
parent | 89cff67d5cf64c46818043e269c1d9f56a2ac149 (diff) | |
download | ghdl-db9df06f901abe21976ae8f5d3b680965daef70b.tar.gz ghdl-db9df06f901abe21976ae8f5d3b680965daef70b.tar.bz2 ghdl-db9df06f901abe21976ae8f5d3b680965daef70b.zip |
PSL: add clocked SERE, make endpoints visible from VHDL.
Diffstat (limited to 'src/grt/grt-rtis.ads')
-rw-r--r-- | src/grt/grt-rtis.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/grt/grt-rtis.ads b/src/grt/grt-rtis.ads index 06e09647c..97687ba33 100644 --- a/src/grt/grt-rtis.ads +++ b/src/grt/grt-rtis.ads @@ -89,6 +89,8 @@ package Grt.Rtis is Ghdl_Rtik_Attribute_Stable, Ghdl_Rtik_Psl_Assert, Ghdl_Rtik_Psl_Cover, + Ghdl_Rtik_Psl_Endpoint, + Ghdl_Rtik_Error); for Ghdl_Rtik'Size use 8; |