Searched refs:setup_hets (Results 1 - 9 of 9) sorted by relevance

/ontohub/spec/models/ontology_version/
H A Dprovers_spec.rb4 setup_hets
/ontohub/spec/models/repository/
H A Dgit_spec.rb4 setup_hets
H A Dgit_mv_spec.rb4 setup_hets
/ontohub/spec/controllers/
H A Dfiletypes_controller_spec.rb4 setup_hets
/ontohub/spec/lib/
H A Daxiom_selection_proof_status_spec.rb4 setup_hets
H A Dproof_status_determining_spec.rb4 setup_hets
/ontohub/spec/models/
H A Dsine_axiom_selection_spec.rb101 setup_hets
H A Dontology_spec.rb5 setup_hets
/ontohub/spec/
H A Dhets_helper.rb99 def setup_hets method

Completed in 191 milliseconds