Commit 3f4947b3 authored by Sylvain Dailler's avatar Sylvain Dailler

Q313-019 Add parsing of hexadecimal for float values

Formerly we only parsed elements of float values as decimals when they can
be hexadecimal.

* src/driver/parse_smtv2_model_lexer.mll
(float_num): Now takes hexadecimal number instead of decimal numbers.

Change-Id: Ie3c4e3452c7cb68af8767d2859bfbb4bb90e607e
parent 3a94474f
......@@ -18,10 +18,11 @@ let atom = [^'('')'' ''\t''\n']
let space = [' ''\t''\n''\r']
let num = ['0'-'9']+
let opt_num = ['0'-'9']*
let hexa_num = ( num | ['a' - 'f'] | ['A' - 'F'])+
let dec_num = num"."num
let name = (['a'-'z']*'_'*['0'-'9']*)*
let dummy = ('_''_''_')?
let float_num = '#'('b' | 'x') num
let float_num = '#'('b' | 'x') hexa_num
rule token = parse
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment