Searched refs:stub_hets_for (Results 1 - 11 of 11) sorted by relevance

/ontohub/spec/models/repository/
H A Dgit_spec.rb11 stub_hets_for('clif/cat1.clif', with: 'cat', with_version: 1)
12 stub_hets_for('clif/cat2.clif', with: 'cat', with_version: 2)
13 stub_hets_for('clif/cat1.clif', with: 'cat', with_version: 3)
14 stub_hets_for('clif/Px.clif', with: 'Px')
H A Dgit_mv_spec.rb20 stub_hets_for('clif/Px.clif', with: 'Px')
21 stub_hets_for('clif/Qy.clif', with: 'Qy')
22 stub_hets_for('clif/Rz.clif', with: 'Rz')
/ontohub/spec/models/
H A Dsymbol_mapping_spec.rb11 stub_hets_for('dol/simple_mapping.dol')
H A Dontology_spec.rb205 stub_hets_for('casl/test2.casl')
229 stub_hets_for('casl/test2_child_renamed.casl')
247 stub_hets_for('casl/test2.casl')
267 stub_hets_for('casl/test2_child_deleted.casl')
285 stub_hets_for('casl/test2.casl')
350 stub_hets_for('casl/partial_order.casl')
375 stub_hets_for('tptp/Simple_Implications_Group.tptp')
410 stub_hets_for('tptp/zfmisc_1__t92_zfmisc_1.p')
444 stub_hets_for('dol/double_mapped_logic_translated_blendoid.dol')
H A Dcommit_spec.rb20 stub_hets_for(file)
H A Dsine_axiom_selection_spec.rb104 before { stub_hets_for(ontology_filepath) }
/ontohub/spec/models/ontology_version/
H A Dprovers_spec.rb9 stub_hets_for('prove/Simple_Implications.casl')
H A Dparsing_spec.rb11 stub_hets_for('owl/pizza.owl')
16 stub_hets_for('clif/Px.clif')
17 stub_hets_for('clif/Qy.clif')
201 stub_hets_for(path)
249 stub_hets_for(ontology_path)
275 stub_hets_for(ontology_path)
/ontohub/spec/lib/
H A Daxiom_selection_proof_status_spec.rb16 before { stub_hets_for(ontology_filepath) }
H A Dproof_status_determining_spec.rb16 before { stub_hets_for(ontology_filepath) }
/ontohub/spec/
H A Dhets_helper.rb109 def stub_hets_for(ontology_fixture, method

Completed in 74 milliseconds