prover_factory.rb revision 0fa5567bba77a383ee437c8675085e9bf75d161e
FactoryGirl.define do
sequence :prover_name do |n|
"prover-#{n}"
end
factory :prover do
name { 'SPASS' }
trait :with_sequenced_name do
after(:build) do |prover|
prover.name = generate :prover_name
end
end
end
end