diff options
| author | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-20 09:58:04 +0100 |
|---|---|---|
| committer | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-01-20 09:58:04 +0100 |
| commit | b7adf4c7a0d0f561d08d7e4dcf66b4e651596318 (patch) | |
| tree | d5b7e8e79e7ab98eaca898f65c438f8aa1be5407 /frontends/verilog/lexer.l | |
| parent | 234d0d0e1c316d7253c56c522dcc982a5e6049a1 (diff) | |
| parent | 32a91458a7dde9994ca28ec635c1bec8fe20111b (diff) | |
| download | yosys-b7adf4c7a0d0f561d08d7e4dcf66b4e651596318.tar.gz yosys-b7adf4c7a0d0f561d08d7e4dcf66b4e651596318.tar.bz2 yosys-b7adf4c7a0d0f561d08d7e4dcf66b4e651596318.zip | |
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Diffstat (limited to 'frontends/verilog/lexer.l')
| -rw-r--r-- | frontends/verilog/lexer.l | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/verilog/lexer.l b/frontends/verilog/lexer.l index 9e606d90f..81167cf4e 100644 --- a/frontends/verilog/lexer.l +++ b/frontends/verilog/lexer.l @@ -113,6 +113,8 @@ namespace VERILOG_FRONTEND { "generate" { return TOK_GENERATE; } "endgenerate" { return TOK_ENDGENERATE; } +"assert"([ \t\r\n]+"property")? { return TOK_ASSERT; } + "input" { return TOK_INPUT; } "output" { return TOK_OUTPUT; } "inout" { return TOK_INOUT; } |