|
|
|
@ -39,4 +39,4 @@ class PrinterWrittenVariablesAndAuthorization(AbstractPrinter): |
|
|
|
|
state_variables_written = [v.name for v in function.all_state_variables_written()] |
|
|
|
|
msg_sender_condition = self.get_msg_sender_checks(function) |
|
|
|
|
table.add_row([function.name, str(state_variables_written), str(msg_sender_condition)]) |
|
|
|
|
self.info(txt + str(table)) |
|
|
|
|
self.info(txt + str(table)) |
|
|
|
|