Lines Matching refs:map
4 let(:provers) { [1,2].map { create(:prover, :with_sequenced_name) } }
9 let(:axioms) { (1..3).map { create :axiom, ontology: ontology } }
16 proof: {prover_ids: [*provers.map(&:id).map(&:to_s), ''],
86 axioms: axioms.map(&:id)
131 map(&:reload).
132 map(&:proof_attempt_configuration).
133 map(&:prover).uniq).to match_array(provers)
200 axioms: axioms.map(&:id)
249 map(&:reload).
250 map(&:proof_attempt_configuration).
251 map(&:prover).uniq).to match_array(provers)