Cross Reference: /ontohub/spec/models/theorem

Lines Matching refs:create
10     let(:theorem) { create :theorem }
41         let!(:url_maps) { [create(:url_map, repository: repository)] }
56     let(:open) { create :proof_status_open }
57     let(:success) { create :proof_status_success }
58     let(:unknown) { create :proof_status_unknown }
59     let(:disproven_on_subset) { create :proof_status_csas }
60     let(:disproven) { create :proof_status_csa }
61     let(:proven) { create :proof_status_proven }
62     let(:contr) { create :proof_status_contr}
66         proof_attempt = create :proof_attempt, proof_status: open
72           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
83         proof_attempt = create :proof_attempt, proof_status: unknown
89           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
99           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
110         proof_attempt = create :proof_attempt, proof_status: success
116           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
126           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
137         proof_attempt = create :proof_attempt, proof_status: disproven_on_subset
143           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
153           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
164         proof_attempt = create :proof_attempt, proof_status: disproven
170           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
180           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
191         proof_attempt = create :proof_attempt, proof_status: proven
197           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
207           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
218         proof_attempt = create :proof_attempt, proof_status: contr
224           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
237             create :proof_attempt, proof_status: ProofStatus.find(statuses.first)
241             create :proof_attempt,
255             create :proof_attempt, proof_status: ProofStatus.find(statuses.first)
259             create :proof_attempt,
274             create :proof_attempt, proof_status: ProofStatus.find(statuses.first)
278             create :proof_attempt,