Cross Reference: proof_attempts_helper.rb
xref: /ontohub/app/helpers/proof_attempts_helper.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
proof_attempts_helper.rb revision ed8ebc81a27d484a4c646177f2c8bd77d4735db4
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainenmodule ProofAttemptsHelper
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen def used_or_configured_prover(proof_attempt)
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen proof_attempt.prover || proof_attempt.proof_attempt_configuration.prover
8aacc9e7c84f8376822823ec98c2f551d4919b2eTimo Sirainen end
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainenend
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen

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