Gabriele Monaco <[email protected]> writes: > The rvgen parser for LTL stores literal true values in the python > representation (capitalised True), this doesn't build in C. > The Literal class should already handle this case but ASTNode skips its > strigification method and converts the value (true/false) directly. > > Fix by delegating ASTNode stringification to the Literal and Variable > classes instead of bypassing them. > > Fixes: 97ffa4ce6ab32 ("verification/rvgen: Add support for linear temporal > logic") > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
