Cross Reference: prover_factory.rb
xref
: /
ontohub
/
spec
/
factories
/
prover_factory.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
prover_factory.rb revision b4fb9dd323281635ac45a8a6379b78a2a4555324
1236
N/A
FactoryGirl.define
do
1236
N/A
sequence
:
prover_name
do
|n|
1236
N/A
"prover-#{n}"
1236
N/A
end
1236
N/A
1236
N/A
factory
:
prover
do
1236
N/A
name
{
'SPASS'
}
1236
N/A
display_name
{
'SPASS Prover'
}
1236
N/A
174
N/A
initialize_with
do
1236
N/A
Prover.find
_by_name
(
name
)
||
Prover.new
(
name
:
name
)
1236
N/A
end
1236
N/A
1236
N/A
trait
:
with_sequenced_name
do
1236
N/A
after
(:
build
)
do
|
prover
|
1236
N/A
prover.name
=
generate
:
prover_name
1236
N/A
prover.display
_name
=
prover.name.sub
(
'-'
,
' '
)
1236
N/A
end
1236
N/A
end
1236
N/A
end
1236
N/A
end
1236
N/A