Cross Reference: /ontohub/spec/models/theorem

Lines Matching refs:status
64     context 'from status open' do
70       %i(open unknown success disproven_on_subset disproven proven contr).each do |status|
71         context "to status #{status}" do
72           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
74           it "theorem has status #{status}" do
75             expect(theorem.proof_status).to eq(send(status))
81     context 'from status unknown' do
87       %i(open).each do |status|
88         context "to status #{status}" do
89           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
91           it "theorem has status unknown" do
97       %i(success disproven_on_subset disproven proven contr).each do |status|
98         context "to status #{status}" do
99           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
101           it "theorem has status #{status}" do
102             expect(theorem.proof_status).to eq(send(status))
108     context 'from status success' do
114       %i(open unknown).each do |status|
115         context "to status #{status}" do
116           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
118           it "theorem has status success" do
124       %i(success disproven_on_subset disproven proven contr).each do |status|
125         context "to status #{status}" do
126           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
128           it "theorem has status #{status}" do
129             expect(theorem.proof_status).to eq(send(status))
135     context 'from status disproven_on_subset' do
141       %i(open unknown success).each do |status|
142         context "to status #{status}" do
143           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
145           it "theorem has status unknown" do
151       %i(disproven_on_subset disproven proven contr).each do |status|
152         context "to status #{status}" do
153           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
155           it "theorem has status #{status}" do
156             expect(theorem.proof_status).to eq(send(status))
162     context 'from status disproven' do
168       %i(open unknown success disproven_on_subset).each do |status|
169         context "to status #{status}" do
170           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
172           it "theorem has status unknown" do
178       %i(disproven contr).each do |status|
179         context "to status #{status}" do
180           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
182           it "theorem has status #{status}" do
183             expect(theorem.proof_status).to eq(send(status))
189     context 'from status proven' do
195       %i(open unknown success disproven_on_subset).each do |status|
196         context "to status #{status}" do
197           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
199           it "theorem has status unknown" do
205       %i(proven contr).each do |status|
206         context "to status #{status}" do
207           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
209           it "theorem has status #{status}" do
210             expect(theorem.proof_status).to eq(send(status))
216     context 'from status contr' do
222       %i(open unknown success disproven_on_subset disproven proven contr).each do |status|
223         context "to status #{status}" do
224           before { create :proof_attempt, theorem: theorem, proof_status: send(status) }
226           it "theorem has status unknown" do