Searched refs:prover_output_fixture (Results 1 - 2 of 2) sorted by relevance

/ontohub/spec/lib/hets/
H A Dszs_parser_spec.rb7 let(:output) { File.read(prover_output_fixture(szs_status, prover)) }
25 let(:output) { File.read(prover_output_fixture(szs_status, prover)) }
/ontohub/spec/support/
H A Dcommon_helper_methods.rb16 def prover_output_fixture(node, prover) method

Completed in 11 milliseconds