21 options = OpenStruct.new
23   opts.banner = 'Usage: checker.rb [options] TEST_FILE'
26     options.run_prefix = v
30     options.test_file = v
34     options.paoc = v
36   opts.on('--panda-options=OPTIONS', 'Default options for panda run') do |v|
37     options.panda_options = v
39   opts.on('--paoc-options=OPTIONS', 'Default options for paoc run') do |v|
40     options.paoc_options = v
43     options.command_token = v
48   opts.on("--keep-data", "Do not remove generated data from disk") { |v| options.keep_data = true }
49 end.parse!(into: options)
51 $LOG_LEVEL = options.verbose ? Logger::DEBUG : Logger::ERROR
131   def initialize(options, name)  argument
136     @options = options
139     @architecture = options.arch
170       elsif name == :options
186 …$curr_cmd = "#{env} #{@options.run_prefix} #{@options.panda} --compiler-ignore-failures=false #{@o…
187 …-events-output=csv --compiler-dump --compiler-disasm-dump:single-file #{@options.test_file} #{entr…
209 …@aot_file = "#{Dir.getwd}/#{File.basename(@options.test_file, File.extname(@options.test_file))}.a…
211     inputs = @options.test_file
214     options = ''
220       when :options
221         options = value
235 …paoc_args = "--paoc-panda-files #{inputs} --events-output=csv --compiler-dump #{options} #{aot_out…
239 …r_cmd = "#{env} #{@options.run_prefix} #{@options.paoc} --compiler-ignore-failures=false --compile…
261     return if @options.release
267     return if @options.release
273     return 0 if @options.release
279     return if @options.release
285     return if @options.release
291     return if @options.release
298     return if @options.release
307     return if @options.release
312     return 0 if @options.release
322     return if @options.release
328     return if @options.release
334     return if @options.release
340     return if @options.release
346     return if @options.release
438     kwargs[@options.arch.to_sym]
446     return if @options.release
455     return if @options.release
463     return if @options.release
483    if !@options.keep_data
491 def read_checks(options)  argument
494   checker_start = "#{options.command_token} CHECKER"
495   File.readlines(options.source).each do |line|
497       unless line.start_with? options.command_token
501       check.append_line(line[options.command_token.size..-1])
508       check = Checker.new(options, name)
515 def main(options)  argument
516   read_checks(options).each(&:run)
521   main(options)