Cross Reference: proof_attempt_spec.rb
xref
: /
ontohub
/
spec
/
models
/
proof_attempt_spec.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
proof_attempt_spec.rb revision 72c95efaba482fc9802fbe0b2f0cd9ecaaf9111d
2
N/A
require
'spec_helper'
2
N/A
2
N/A
describe
ProofAttempt
do
2
N/A
context
'Associations'
do
2
N/A
it
{
should
belong_to
(:
theorem
)
}
2
N/A
it
{
should
belong_to
(:
proof_status
)
}
2
N/A
end
2
N/A
2
N/A
context
'Updating Theorem Proof Status'
do
2
N/A
let
(:
proof_attempt
)
{
create
:
proof_attempt
}
2
N/A
let
(:
theorem
)
{
proof_attempt.theorem
}
2
N/A
2
N/A
before
do
2
N/A
allow
(
theorem
)
.
to
receive
(:
update_proof_status
)
2
N/A
proof_attempt.proof
_status
=
ProofStatus.find
(
'SOL'
)
2
N/A
proof_attempt.save
2
N/A
end
2
N/A
2
N/A
it
'calls update_status on the theorem'
do
2
N/A
expect
(
theorem
)
.
to
have_received
(:
update_proof_status
)
58
N/A
end
2
N/A
end
2
N/A
end
2
N/A