models/ontology_version/proving.rb

	proving.rb revision 4ba65517432841f31715544ddd15b08613b395c0
module OntologyVersion::Proving
  extend ActiveSupport::Concern

  def prove_options
    repo = ontology.repository
    Hets::ProveOptions.new(:'url-catalog' => repo.url_maps,
                           :'access-token' => repo.generate_access_token,
                           ontology: ontology)
  end
end