diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-10-15 20:39:54 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-10-15 20:39:54 +0200 |
commit | 847de3fbeb301f60b00d59524c14cf74f562c268 (patch) | |
tree | 4b7de2d449da44e80fc194a625249237ac414a2a /src/psl/psl-nfas-utils.ads | |
parent | bbdbb49e9c72b322eb2b07cd07ea164a508be7c3 (diff) | |
download | ghdl-847de3fbeb301f60b00d59524c14cf74f562c268.tar.gz ghdl-847de3fbeb301f60b00d59524c14cf74f562c268.tar.bz2 ghdl-847de3fbeb301f60b00d59524c14cf74f562c268.zip |
vhdl: Add the implicit [*] at start of PSL cover sequence.
Diffstat (limited to 'src/psl/psl-nfas-utils.ads')
-rw-r--r-- | src/psl/psl-nfas-utils.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/psl/psl-nfas-utils.ads b/src/psl/psl-nfas-utils.ads index f30f665a8..3f11ee880 100644 --- a/src/psl/psl-nfas-utils.ads +++ b/src/psl/psl-nfas-utils.ads @@ -33,6 +33,10 @@ package PSL.NFAs.Utils is -- N must be a boolean expression. function Has_EOS (N : Node) return Boolean; + -- Ensure there is an edge from init state to itself, for the implicit + -- [*] of cover directive. + procedure Set_Init_Loop (N : NFA); + -- Raise Program_Error if N is not internally coherent. procedure Check_NFA (N : NFA); end PSL.NFAs.Utils; |