proof_attempt_configuration_spec.rb revision 94e57e017dbd7f0ecd388a648a731b840db24418
require 'spec_helper'
describe ProofAttemptConfiguration do
context 'Associations' do
it { should belong_to(:prover) }
it { should belong_to(:logic_mapping) }
it { should have_one(:proof_attempt) }
end
end