spec/models/proof_attempt_spec.rb

	proof_attempt_spec.rb revision e200ddd4b78a4915a072095be2a2e6cac65ed333
bcb4e51a409d94ae670de96afb8483a4f7855294Stephan Boschrequire 'spec_helper'
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmodydescribe ProofAttempt do
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody  context 'Updating Theorem Proof Status' do
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody    let(:proof_attempt) { create :proof_attempt }
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody    let(:theorem) { proof_attempt.theorem }
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody    before do
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody      allow(theorem).to receive(:update_proof_status)
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody      proof_attempt.proof_status = ProofStatus.find('SOL')
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody      proof_attempt.save
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody    end
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody
0175d37a5ae5a4d146ca41b684bd38d9b03683cbMartti Rannanjärvi    it 'calls update_status on the theorem' do
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody      expect(theorem).to have_received(:update_proof_status)
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody    end
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody  end
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmodyend
992a1726a41b42fa47204565ff17f7c635fcb421Phil Carmody