Searched defs:regex_parse_status (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/prove/
H A Dszs_parser.rb22 regex_parse_status(/SZS status (\w+)/)
26 status = regex_parse_status(/\n\nSZS status (\w+)/)
39 regex_parse_status(/\n# SZS status (\w+)/)
50 def regex_parse_status(regex) method in class:Hets.Prove.SZSParser

Completed in 8 milliseconds