Cross Reference: prover_output_spec.rb
xref: /httpd/CHANGES
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
prover_output_spec.rb revision 4a7c98053955ca61668ed12b235ddf2fc9976142
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikirequire 'spec_helper'
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikidescribe ProverOutput do
2bc7f1cf720973a67f8ff7a8d523e40569ae5b6cnd context 'Associations' do
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki it { should belong_to(:proof_attempt) }
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd end
5cc6d9e773d97b5e223be09bbcaea1dc34f3bf1akawaiend
5cc6d9e773d97b5e223be09bbcaea1dc34f3bf1akawai

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