diff options
author | Tristan Gingold <tgingold@free.fr> | 2016-03-17 05:03:36 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-03-18 05:22:04 +0100 |
commit | 73a6ed8e5e982034920d8c9fe95faddefdcffa43 (patch) | |
tree | 14da67e29b2452272a908e2145e9c87df84a53ef /src/grt/grt-modules.adb | |
parent | d0b0f30b71d77e2dbf9952e9accd8e50e69fc731 (diff) | |
download | ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.tar.gz ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.tar.bz2 ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.zip |
PSL: add counters, generate rti and add --psl-report
Diffstat (limited to 'src/grt/grt-modules.adb')
-rw-r--r-- | src/grt/grt-modules.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/grt/grt-modules.adb b/src/grt/grt-modules.adb index 0feb46cb1..befe77188 100644 --- a/src/grt/grt-modules.adb +++ b/src/grt/grt-modules.adb @@ -32,6 +32,7 @@ with Grt.Waves; with Grt.Vital_Annotate; with Grt.Disp_Tree; with Grt.Disp_Rti; +with Grt.Psl; with Grt.Backtraces; package body Grt.Modules is @@ -46,6 +47,7 @@ package body Grt.Modules is Grt.Vpi.Register; Grt.Vital_Annotate.Register; Grt.Disp_Rti.Register; + Grt.Psl.Register; Grt.Backtraces.Register; end Register_Modules; end Grt.Modules; |