Searched defs:hets_out_body (Results 1 - 1 of 1) sorted by relevance

/ontohub/spec/
H A Dhets_helper.rb52 def hets_out_body(subdir, ontology_fixture) method
58 hets_out_body('dg', ontology_fixture)
62 hets_out_body('proof', ontology_fixture)
66 hets_out_body('provers', ontology_fixture)
114 to_return(body: hets_out_body(command, ontology_fixture))
117 to_return(body: hets_out_body('provers', ontology_fixture))

Completed in 8 milliseconds