prover_factory.rb revision 4b892a7f6b14ae97b79386d8b7fa46d48e894b40
FactoryGirl.define do
sequence :prover_name do |n|
"prover-#{n}"
end
factory :prover do
name { 'SPASS' }
display_name { 'SPASS Prover' }
trait :with_sequenced_name do
after(:build) do |prover|
prover.name = generate :prover_name
prover.display_name = prover.name.sub('-', ' ')
end
end
end
end