Lines Matching refs:prover
4 let!(:prover) { create :prover }14 prover: prover.name,27 prover: prover,43 it 'sets :prover to the prover name' do44 expect(prove_options.options[:prover]).to eq(prover.name)