proof_attempt.rb revision b4a0129f99341fb8b1f0d724e656d339c97e9db0
FactoryGirl.define do
factory :proof_attempt do
status { 'OPN' }
prover { 'spass' }
prover_output { 'SPASS Output' }
tactic_script { 'SPASS Tactic Script' }
time_taken { rand(10) + 1 }
association :theorem
end
end