| /ontohub/spec/models/ |
| H A D | prover_spec.rb | 4 let(:prover) { create :prover }
6 expect(prover.to_s).to eq(prover.display_name)
|
| H A D | proof_attempt_configuration_spec.rb | 5 it { should belong_to(:prover) }
22 subject.prover = nil
40 it 'with prover set' do
41 subject.prover = Prover.first
|
| /ontohub/app/helpers/ |
| H A D | proof_attempts_helper.rb | 3 proof_attempt.prover || proof_attempt.proof_attempt_configuration.prover
|
| /ontohub/spec/factories/ |
| H A D | prover_factory.rb | 3 "prover-#{n}"
6 factory :prover do
15 after(:build) do |prover|
16 prover.name = generate :prover_name
17 prover.display_name = prover.name.sub('-', ' ')
|
| H A D | proof_attempt_configuration_factory.rb | 5 association :prover, :with_sequenced_name
|
| H A D | proof_attempt_factory.rb | 7 association :prover, :with_sequenced_name
|
| /ontohub/spec/lib/hets/ |
| H A D | szs_parser_spec.rb | 5 %w(SPASS).each do |prover|
6 context "#{prover} on #{szs_status}" do
7 let(:output) { File.read(prover_output_fixture(szs_status, prover)) }
11 expect(Hets::Prove::SZSParser.new(prover, output).call).to eq('ResourceOut')
15 expect(Hets::Prove::SZSParser.new(prover, output).call).to be(nil)
23 eprover).each do |prover|
24 context "#{prover} on #{szs_status}" do
25 let(:output) { File.read(prover_output_fixture(szs_status, prover)) }
28 expect(Hets::Prove::SZSParser.new(prover, output).call).
|
| H A D | prove_options_spec.rb | 4 let!(:prover) { create :prover }
14 prover: prover.name,
27 prover: prover,
43 it 'sets :prover to the prover name' do
44 expect(prove_options.options[:prover]).to eq(prover
[all...] |
| /ontohub/app/serializers/ |
| H A D | prover_output_serializer.rb | 11 attributes :prover
19 def prover method in class:ProverOutputSerializer
20 object.prover.try(:name)
|
| H A D | proof_attempt_configuration_serializer.rb | 32 object.prover.try(:name)
|
| H A D | proof_attempt_serializer.rb | 35 object.prover.try(:name)
|
| /ontohub/app/models/ |
| H A D | proof_attempt_configuration.rb | 3 belongs_to :prover
16 [logic_mapping, prover, timeout, axioms].all?(&:blank?)
22 options[:prover] = prover if prover
|
| H A D | prover_output.rb | 5 has_one :prover, through: :proof_attempt
9 "#{proof_attempt.locid}//prover-output"
|
| H A D | proof_attempt.rb | 9 belongs_to :prover
57 unless ontology_version.provers.include?(prover)
58 ontology_version.provers << prover
|
| /ontohub/spec/lib/ |
| H A D | proof_status_determining_spec.rb | 34 let(:prover) { create :prover, name: 'eprover' }
41 create :proof_attempt, theorem: theorem, prover: prover
46 pac.prover = prover
81 create :proof_attempt, theorem: theorem, prover: prover
86 pac.prover = prover
[all...] |
| H A D | axiom_selection_proof_status_spec.rb | 33 let(:prover) { create :prover }
41 create :proof_attempt, theorem: theorem, prover: prover
46 pac.prover = prover
64 create :proof_attempt, theorem: theorem, prover: prover
69 pac.prover = prover
[all...] |
| H A D | proof_spec.rb | 4 let(:provers) { [1,2].map { create(:prover, :with_sequenced_name) } }
133 map(&:prover).uniq).to match_array(provers)
251 map(&:prover).uniq).to match_array(provers)
|
| /ontohub/spec/support/fixtures_generation/ |
| H A D | prover_output_generator.rb | 13 PROVERS.each do |prover|
14 data = data_template.merge(prover: prover, node: node)
18 write_prover_output_fixture(node, prover, json)
32 def write_prover_output_fixture(node, prover, response_hash)
33 target_file(node, prover) do |file|
38 def target_file(node, prover, &block)
39 filepath = "spec/fixtures/prover_output/generated/#{node}/#{prover}"
|
| /ontohub/lib/hets/provers/ |
| H A D | importer.rb | 18 prover = Prover.where(name: prover_hash['identifier']).
20 unless ontology_version.provers.include?(prover)
21 ontology_version.provers << prover
|
| /ontohub/lib/hets/prove/ |
| H A D | szs_parser.rb | 4 attr_reader :prover, :output
6 def initialize(prover, output)
7 @prover = prover
13 :"parse_status_#{prover.parameterize.gsub('-', '_')}"
|
| H A D | prove_evaluation_helper.rb | 22 proof_attempt.prover = find_or_create_prover_from_hash(proof_info)
|
| /ontohub/lib/hets/ |
| H A D | prove_options.rb | 41 if @options[:prover].is_a?(Prover)
42 @options[:prover] = @options[:prover].name
|
| /ontohub/spec/support/ |
| H A D | common_helper_methods.rb | 16 def prover_output_fixture(node, prover)
17 generated = fixture_file('').join('prover_output', 'generated', node, prover)
22 puts("Generated prover output fixture for #{node}, #{prover} not found.")
24 fixture_file('').join('prover_output', node, prover)
|
| /ontohub/app/fake_records/ |
| H A D | proof.rb | 33 # prover related
104 @provers = @prover_ids.map { |prover| Prover.where(id: prover).first }
132 provers.each do |prover|
134 pac.prover = prover
|
| /ontohub/spec/controllers/ |
| H A D | proofs_controller_spec.rb | 4 let(:prover) { create :prover }
9 {'prover_ids' => [prover.id.to_s, ''],
59 context 'create with wrong prover' do
168 context 'create with wrong prover' do
|