History log of /ontohub/spec/controllers/proofs_controller_spec.rb
Revision Date Author Comments Expand
4e0724b6358960a5e8394dbfd6e0c2d15a6061d5 14-Aug-2016 Eugen Kuksa <kuksa.eugen@gmail.com>

1458 loc ids are not used everywhere (#1746) * Use Loc/Ids for ontologies#edit. * Use Loc/Ids for proving. * Use Loc/Id for retry button. * Fix spec.
726013d9b4934b4068d8ec7d70e81f36be5efa8c 10-Aug-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Use full params in controller specs.
4b6256aacace9f7e4155eab280144135613a2c8b 10-Jul-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Adjust specs to new AxiomSelection.
db149239590d2a39d399f12cd01609b190ea4763 05-May-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Replace be_nil, be_false, be_true by be(*).

files_controller_spec.rb language_adjoint_controller_spec.rb language_mappings_controller_spec.rb logic_adjoint_controller_spec.rb logic_mappings_controller_spec.rb ontology_versions_controller_spec.rb proofs_controller_spec.rb serializations_controller_spec.rb /ontohub/spec/lib/concurrency_balancer_spec.rb /ontohub/spec/lib/proof_spec.rb /ontohub/spec/lib/repository/diff_spec.rb /ontohub/spec/lib/repository/files_spec.rb /ontohub/spec/lib/repository/history_spec.rb /ontohub/spec/lib/repository/import/git_spec.rb /ontohub/spec/lib/tarjan_spec.rb /ontohub/spec/models/hets_instance_spec.rb /ontohub/spec/models/mapping_spec.rb /ontohub/spec/models/ontology_spec.rb /ontohub/spec/models/ontology_version_spec.rb /ontohub/spec/models/repository/save_file_spec.rb /ontohub/spec/models/repository/symlink_spec.rb /ontohub/spec/models/repository_spec.rb /ontohub/spec/models/sentence_spec.rb /ontohub/spec/models/symbol_mapping_spec.rb /ontohub/spec/models/symbol_spec.rb /ontohub/spec/models/translated_sentence_spec.rb /ontohub/spec/models/url_map_spec.rb /ontohub/spec/models/user_spec.rb
1aa35a3a8cba38a107c617092d5305da541ed518 27-Apr-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Adjust specs for new proof_attempts#index action.
b4ce02a1b841c5f396634502e6bdd2fd7ddc6449 31-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Adjust proofs controller spec.
e0ee22c9b87b3deb1a13b14fe4762be6156c895f 26-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rewrite ProofsController spec.
a69acbeaebd107fdcce828f5be036bcf116b3d7b 26-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Rename/substantivize ProveController and its route.