From acd32380cc9a2cc89c3ff9710405a5463a72d1be Mon Sep 17 00:00:00 2001 From: Gianluca Scacco Date: Sun, 21 Mar 2021 22:13:20 +0100 Subject: [PATCH 1/2] added printf argument --- promela/ast.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/promela/ast.py b/promela/ast.py index ea7d9fd..fee6c86 100644 --- a/promela/ast.py +++ b/promela/ast.py @@ -897,7 +897,7 @@ def __init__(self, s, args): self.args = args def __str__(self): - return 'printf()'.format(s=self.s, args=self.args) + return 'printf({s})'.format(s=self.s, args=self.args) class Operator(object): From e22101041c2bb02530fcea734e01df14572ba9c3 Mon Sep 17 00:00:00 2001 From: Gianluca Scacco Date: Sun, 21 Mar 2021 22:14:20 +0100 Subject: [PATCH 2/2] Wrong position of name_list --- promela/yacc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/promela/yacc.py b/promela/yacc.py index d650c06..c66c3f6 100644 --- a/promela/yacc.py +++ b/promela/yacc.py @@ -251,7 +251,7 @@ def p_one_decl_mtype_vis(self, p): def p_one_decl_mtype(self, p): """one_decl : MTYPE asgn LBRACE name_list RBRACE""" - p[0] = self.ast.MessageType(p[3]) + p[0] = self.ast.MessageType(p[4]) def p_name_list_iter(self, p): """name_list : name_list COMMA NAME"""