Cross Reference: proof_attempts_helper.rb
xref: /ontohub/app/helpers/proof_attempts_helper.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
ed8ebc81a27d484a4c646177f2c8bd77d4735db4Eugen Kuksamodule ProofAttemptsHelper
ed8ebc81a27d484a4c646177f2c8bd77d4735db4Eugen Kuksa def used_or_configured_prover(proof_attempt)
ed8ebc81a27d484a4c646177f2c8bd77d4735db4Eugen Kuksa proof_attempt.prover || proof_attempt.proof_attempt_configuration.prover
ed8ebc81a27d484a4c646177f2c8bd77d4735db4Eugen Kuksa end
ed8ebc81a27d484a4c646177f2c8bd77d4735db4Eugen Kuksaend

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