Searched refs:ProofExecutionWorker (Results 1 - 6 of 6) sorted by relevance

/ontohub/lib/
H A Dproof_execution_worker.rb1 class ProofExecutionWorker < BaseWorker class
/ontohub/spec/lib/
H A Dproof_execution_worker_spec.rb3 describe ProofExecutionWorker do
4 let(:pew) { ProofExecutionWorker.new }
H A Dproof_spec.rb106 allow(ProofExecutionWorker).to receive(:perform_async)
224 allow(ProofExecutionWorker).to receive(:perform_async)
277 allow(ProofExecutionWorker).to receive(:perform_async) do |*args|
278 ProofExecutionWorker.new.perform(*args)
/ontohub/spec/models/
H A Dproof_attempt_spec.rb40 allow(ProofExecutionWorker).to receive(:perform_async)
45 expect(ProofExecutionWorker).
/ontohub/app/fake_records/
H A Dproof.rb174 ProofExecutionWorker.perform_async(proof_attempt.id)
176 ProofExecutionWorker.new.perform(proof_attempt.id)
/ontohub/app/models/
H A Dproof_attempt.rb64 ProofExecutionWorker.perform_async(id)

Completed in 17 milliseconds