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-psl.adb | |
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-psl.adb')
-rw-r--r-- | src/grt/grt-psl.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/grt-psl.adb b/src/grt/grt-psl.adb index 0ff366f89..04c338a21 100644 --- a/src/grt/grt-psl.adb +++ b/src/grt/grt-psl.adb @@ -171,7 +171,7 @@ package body Grt.Psl is Report_Stream := F; Status := Psl_Traverse_Blocks (Get_Top_Context); - pragma Assert (Status = Traverse_Ok); + pragma Assert (Status = Traverse_Ok or Status = Traverse_Skip); Put_Line (F, "],"); Put_Line (F, " ""summary"" : {"); |