Cross Reference: /ontohub/spec/support/fixtures_generation/direct_hets

History log of /ontohub/spec/support/fixtures_generation/direct_hets_generator.rb
Revision	Date	Author	Comments Expand
d5c5f18ace005dc1482bf835a12dbbb29c4aac57	02-Aug-2016	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	1719 test suite does not honor hets port settings (#1747) * Add settings key for hets testing port. * Use the hets testing port. /ontohub/config/settings.yml /ontohub/lib/settings_validation_wrapper.rb base_generator.rb direct_hets_generator.rb
794ce9de30f44a89d6063f683d2f32677255da52	11-Jan-2016	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Remove semicolon at the end of the URL. direct_hets_generator.rb
cc228d5a4ac3427b07171a3adab98b0f099a11b0	11-Jan-2016	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Pass input type to Hets. /ontohub/app/models/ontology/hets_options.rb direct_hets_generator.rb
8d9083e02d2f234f3513e1ab07babc7a17b61a83	05-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Fix the fixtures generators for TPTP. /ontohub/lib/tasks/test.rake direct_hets_generator.rb provers_generator.rb
8150838f450ff64107d7e1db8d92b56ec2a2a993	26-May-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Improve code style. /ontohub/lib/tasks/test.rake direct_hets_generator.rb prover_output_generator.rb
ca2980490827de317392479bd34cef8b41de963d	26-May-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Move test fixture generators to separate classes. /ontohub/lib/tasks/test.rake /ontohub/spec/support/fixtures_generation.rb base_generator.rb direct_hets_generator.rb ontology_generator.rb proof_generator.rb prover_output_generator.rb provers_generator.rb