diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-04-07 09:55:16 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-08 20:22:42 +0200 |
| commit | 32bcb07c7d7a809fc94fc438835e5e3109ace30a (patch) | |
| tree | fc3d6d111c62a69064a524efc17fcff55f9aba86 /src/grt/grt-backtraces-gcc.ads | |
| parent | 3cbf31356ebc38d8c92eaf640455b35164246ef9 (diff) | |
| download | ghdl-32bcb07c7d7a809fc94fc438835e5e3109ace30a.tar.gz ghdl-32bcb07c7d7a809fc94fc438835e5e3109ace30a.tar.bz2 ghdl-32bcb07c7d7a809fc94fc438835e5e3109ace30a.zip | |
src: Introduce two separate PSL counters (Finish and Start).
Finish counter corresponds to legacy count.
Start counter corresponds to number of times start
state is left (assertion is triggered).
Diffstat (limited to 'src/grt/grt-backtraces-gcc.ads')
0 files changed, 0 insertions, 0 deletions