Cross Reference:
xref: /ontohub/config/mail-index-sync-update.c
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
proof_attempt.rb revision e200ddd4b78a4915a072095be2a2e6cac65ed333
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo SirainenFactoryGirl.define do
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen factory :proof_attempt do
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen prover { 'spass' }
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen prover_output { 'SPASS Output' }
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen tactic_script { 'SPASS Tactic Script' }
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen time_taken { rand(10) + 1 }
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen association :proof_status
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen association :theorem
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen end
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainenend
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen

Indexes created Tue Jul 24 14:28:13 CEST 2018