lib/hets/szs_parser_spec.rb

1570N/Arequire 'spec_helper'
1570N/A
1570N/Adescribe Hets::Prove::SZSParser do
1570N/A  %w(Theorem CounterSatisfiable ResourceOut).each do |szs_status|
1630N/A    %w(SPASS).each do |prover|
1570N/A      context "#{prover} on #{szs_status}" do
1570N/A        let(:output) { File.read(prover_output_fixture(szs_status, prover)) }
1570N/A
1570N/A        if szs_status == 'ResourceOut'
1570N/A          it "returns ResourceOut" do
1570N/A            expect(Hets::Prove::SZSParser.new(prover, output).call).to eq('ResourceOut')
1570N/A          end
1570N/A        else
1570N/A          it "returns nil" do
1570N/A            expect(Hets::Prove::SZSParser.new(prover, output).call).to be(nil)
1570N/A          end
1570N/A        end
1570N/A      end
1570N/A    end
1570N/A
1570N/A    %w(darwin
1570N/A       darwin-non-fd
1570N/A       eprover).each do |prover|
1570N/A      context "#{prover} on #{szs_status}" do
1570N/A        let(:output) { File.read(prover_output_fixture(szs_status, prover)) }
1570N/A
1570N/A        it "returns status '#{szs_status}'" do
1570N/A          expect(Hets::Prove::SZSParser.new(prover, output).call).
1570N/A            to eq(szs_status)
1570N/A        end
1570N/A      end
1570N/A    end
1570N/A  end
1570N/Aend
1570N/A