spec/factories/proof_attempt_configuration_factory.rb

	proof_attempt_configuration_factory.rb revision 5dd0a6bcc5adb36d1d3ade5b3e7aa8e6f0bec236
FactoryGirl.define do
  factory :proof_attempt_configuration do |pac|
    timeout { rand(5)+5 }

    association :prover, :with_sequenced_name
    association :logic_mapping

    pac.after(:build) do |pac|
      unless pac.axiom_selection
        pac.axiom_selection = create :axiom_selection,
                                     proof_attempt_configurations: [pac]
      end
    end
  end
end