Searched refs:SZSParser (Results 1 - 3 of 3) sorted by relevance

/ontohub/spec/lib/hets/
H A Dszs_parser_spec.rb3 describe Hets::Prove::SZSParser do
11 expect(Hets::Prove::SZSParser.new(prover, output).call).to eq('ResourceOut')
15 expect(Hets::Prove::SZSParser.new(prover, output).call).to be(nil)
28 expect(Hets::Prove::SZSParser.new(prover, output).call).
/ontohub/lib/hets/prove/
H A Dszs_parser.rb3 class SZSParser class in class:Hets.Prove
H A Dprove_evaluation_helper.rb36 szs_parser = Hets::Prove::SZSParser.

Completed in 41 milliseconds