Module ImportFrom alias alias alias alias Import alias Assign AttributeStore NameLoad attr NameLoad If CompareEq NameLoad Str body FunctionDef arguments args NameParam defaults vararg kwarg body If Call AttributeLoad AttributeLoad NameLoad attr attr body Expr Call AttributeLoad AttributeLoad NameLoad attr attr BinOpAdd BinOpAdd Str Call NameLoad NameLoad Str orelse Expr Call AttributeLoad AttributeLoad NameLoad attr attr BinOpAdd BinOpAdd Str Call NameLoad NameLoad Str decorator_list Import alias Assign AttributeStore NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr Str ImportFrom alias Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr
N/A __future__ absolute_import division print_function unicode_literals N/A sys N/A N/A sys dont_write_bytecode True N/A N/A __name__ __main__ N/A showwarning N/A N/A message N/A args kwargs N/A N/A N/A N/A N/A sys stderr isatty N/A N/A N/A N/A N/A sys stderr write N/A N/A [31;1mWarning:  N/A str message [m
 N/A N/A N/A N/A N/A sys stderr write N/A N/A Warning:  N/A str message N/A N/A warnings N/A N/A warnings showwarning showwarning N/A N/A N/A warnings warn Using benchexec.test_tool_wrapper is deprecated, please call benchexec.test_tool_info. benchexec test_tool_info N/A N/A N/A sys exit N/A N/A test_tool_info main