From 87ad2a60441293f99c47e284dcbba595ec34f328 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 26 Jul 2025 17:28:41 +0200 Subject: [PATCH] SMV: rename vardecls to var_list This renames the vardecls production rule in the SMV parser to var_list, to match the NuSMV manual. --- src/smvlang/parser.y | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/smvlang/parser.y b/src/smvlang/parser.y index 73e556772..e6170e972 100644 --- a/src/smvlang/parser.y +++ b/src/smvlang/parser.y @@ -388,7 +388,7 @@ module_element: ; var_declaration: - VAR_Token vardecls + VAR_Token var_list | VAR_Token ; @@ -411,6 +411,7 @@ frozenvar_declaration: simple_var_list: identifier ':' simple_type_specifier ';' | simple_var_list identifier ':' simple_type_specifier ';' + ; define_declaration: DEFINE_Token defines @@ -550,8 +551,8 @@ extern_var : variable_identifier EQUAL_Token STRING_Token } ; -vardecls : vardecl - | vardecls vardecl +var_list : var_decl + | var_list var_decl ; module_parameter: identifier @@ -659,7 +660,7 @@ enum_element: IDENTIFIER_Token } ; -vardecl : variable_identifier ':' type_specifier ';' +var_decl : variable_identifier ':' type_specifier ';' { const irep_idt &identifier=stack_expr($1).get(ID_identifier); smv_parse_treet::mc_vart &var=PARSER.module->vars[identifier];