require 'spec_helper'
'timeout' => '',
'axiom_selection_method' => 'manual_axiom_selection',
'axioms' => [''],
'sine_axiom_selection' => {'commonness_threshold'=>'0',
'depth_limit'=>'-1',
'tolerance'=>'1.0'}}
end
before do
end
it { should respond_with :ok }
it { should render_template :new }
end
before do
end
end
it { should respond_with :found }
end
end
end
before do
end
end
it { should respond_with :found }
params: {proof: bad_proof_params})
end
end
end
end
before do
end
end
end
end
before do
end
end
end
end
end
before do
end
it { should respond_with :ok }
it { should render_template :new }
end
before do
end
end
it { should respond_with :found }
end
end
end
before do
end
end
it { should respond_with :found }
params: {proof: bad_proof_params})
end
end
end
end
before do
end
end
end
end
before do
end
end
end
end
end
end