Cross Reference: prover_output_spec.rb
xref
: /
ontohub
/
spec
/
models
/
prover_output_spec.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
History log of
/ontohub/spec/models/prover_output_spec.rb
Revision
Compare
Date
Author
Comments
Expand
4a7c98053955ca61668ed12b235ddf2fc9976142
27-Apr-2015
Eugen Kuksa <eugenk@informatik.uni-bremen.de>
Add model: ProverOutput.
/ontohub/app/models/proof_attempt.rb
/ontohub/app/models/prover_output.rb
/ontohub/db/migrate/20150327102802_create_prover_outputs.rb
/ontohub/spec/factories/proof_attempt_factory.rb
/ontohub/spec/factories/prover_output_factory.rb
proof_attempt_spec.rb
prover_output_spec.rb