test/factories/theorem.rb

	theorem.rb revision b4a0129f99341fb8b1f0d724e656d339c97e9db0
FactoryGirl.define do
  sequence :theorem_name do |n|
    "Thm#{n}"
  end

  factory :theorem do
    association :ontology, factory: :single_ontology
    name { generate :theorem_name }
    text { Faker::Lorem.sentence }
    proof_status { 'OPN' }
  end
end