Cross Reference: proof_attempt_factory.rb
xref
: /
ontohub
/
spec
/
factories
/
proof_attempt_factory.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
proof_attempt_factory.rb revision 5a102b3c56d4ac75632c7e9244ee0ce5bdbbf13a
1516
N/A
FactoryGirl.define
do
941
N/A
factory
:
proof_attempt
do
941
N/A
time_taken
{
rand
(
5
)
}
941
N/A
941
N/A
association
:
proof_status
,
factory
: :
proof_status_open
941
N/A
association
:
theorem
941
N/A
association
:
prover
, :
with_sequenced_name
941
N/A
941
N/A
after
(:
build
)
do
|
proof_attempt
|
941
N/A
if
proof_attempt.proof
_attempt_configuration
941
N/A
proof_attempt.proof_attempt_configuration.proof
_attempt
=
proof_attempt
941
N/A
else
941
N/A
proof_attempt.proof
_attempt_configuration
=
941
N/A
build
:
proof_attempt_configuration
,
941
N/A
proof_attempt
:
proof_attempt
941
N/A
end
941
N/A
end
941
N/A
941
N/A
trait
:
with_tactic_script
do
941
N/A
after
(:
build
)
do
|
proof_attempt
|
941
N/A
proof_attempt.tactic
_script
=
941
N/A
build
:
tactic_script
,
proof_attempt
:
proof_attempt
3315
N/A
end
941
N/A
after
(:
create
)
do
|
proof_attempt
|
3339
N/A
proof_attempt.tactic_script.save
!
941
N/A
end
941
N/A
end
1715
N/A
941
N/A
trait
:
proven
do
1230
N/A
association
:
proof_status
,
factory
: :
proof_status_proven
941
N/A
after
(:
build
)
do
|
proof_attempt
|
941
N/A
create
:
prover_output
,
proof_attempt
:
proof_attempt
1230
N/A
end
941
N/A
after
(:
create
)
do
|
proof_attempt
|
1230
N/A
proof_attempt.prover_output.save
!
3234
N/A
end
3234
N/A
end
941
N/A
end
941
N/A
end
941
N/A