diff options
| author | Tristan Gingold | 2014-12-13 13:35:27 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2014-12-13 13:35:27 +0100 |
| commit | 6b0e4e8d1e42ac329e12fafa3758f3ccd106b436 (patch) | |
| tree | 9f4cfe08199349f1e7af54580e2c92c3e737bb79 /src/vhdl/disp_vhdl.adb | |
| parent | e3f6f212fe25e2fdb757d6bbf27fd51d0c296e8d (diff) | |
| download | ghdl-6b0e4e8d1e42ac329e12fafa3758f3ccd106b436.tar.gz ghdl-6b0e4e8d1e42ac329e12fafa3758f3ccd106b436.tar.bz2 ghdl-6b0e4e8d1e42ac329e12fafa3758f3ccd106b436.zip | |
PSL: allow labels on psl directives (fix ticket26).
Diffstat (limited to 'src/vhdl/disp_vhdl.adb')
| -rw-r--r-- | src/vhdl/disp_vhdl.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/vhdl/disp_vhdl.adb b/src/vhdl/disp_vhdl.adb index 73a8e42..3683ae5 100644 --- a/src/vhdl/disp_vhdl.adb +++ b/src/vhdl/disp_vhdl.adb @@ -2891,7 +2891,9 @@ package body Disp_Vhdl is procedure Disp_Psl_Assert_Statement (Stmt : Iir) is begin - Put ("--psl assert "); + Put ("--psl "); + Disp_Label (Stmt); + Put ("assert "); Disp_Psl_Expression (Get_Psl_Property (Stmt)); Put_Line (";"); Disp_PSL_NFA (Get_PSL_NFA (Stmt)); @@ -2899,7 +2901,9 @@ package body Disp_Vhdl is procedure Disp_Psl_Cover_Statement (Stmt : Iir) is begin - Put ("--psl cover "); + Put ("--psl "); + Disp_Label (Stmt); + Put ("cover "); Disp_Psl_Expression (Get_Psl_Property (Stmt)); Put_Line (";"); Disp_PSL_NFA (Get_PSL_NFA (Stmt)); |