Lines Matching refs:prover
34 let(:prover) { create :prover, name: 'eprover' }
41 create :proof_attempt, theorem: theorem, prover: prover
46 pac.prover = prover
81 create :proof_attempt, theorem: theorem, prover: prover
86 pac.prover = prover
105 let(:prover) { create :prover, name: 'SPASS' }
112 create :proof_attempt, theorem: theorem, prover: prover
117 pac.prover = prover
140 create :proof_attempt, theorem: theorem, prover: prover
145 pac.prover = prover