Searched refs:ProofExecution (Results 1 - 5 of 5) sorted by relevance

/ontohub/spec/lib/
H A Dproof_execution_worker_spec.rb10 context 'perform calls a ProofExecution' do
12 allow_any_instance_of(ProofExecution).to receive(:call)
13 allow(ProofExecution).to receive(:new).and_call_original
14 expect(ProofExecution).to receive(:new).once.with(proof_attempt)
22 context 'perform creates a ProofExecution with a ProofAttempt object' do
24 allow_any_instance_of(ProofExecution).to receive(:call)
25 allow(ProofExecution).to receive(:new).and_call_original
26 expect_any_instance_of(ProofExecution).to receive(:call).once
H A Dproof_status_determining_spec.rb57 ProofExecution.new(proof_attempt).call
93 ProofExecution.new(proof_attempt).call
124 ProofExecution.new(proof_attempt).call
152 ProofExecution.new(proof_attempt).call
H A Daxiom_selection_proof_status_spec.rb52 ProofExecution.new(proof_attempt).call
75 ProofExecution.new(proof_attempt).call
100 ProofExecution.new(proof_attempt).call
/ontohub/lib/
H A Dproof_execution_worker.rb6 ProofExecution.new(proof_attempt).call
H A Dproof_execution.rb1 class ProofExecution class

Completed in 12 milliseconds