Skip to content

Run regressionTests on travis-ci

Ghost User requested to merge github/fork/bivab/develop into develop
  • Download and extract ProB public examples to run regressionTests.
  • Update paths in test
  • Update travis ci config

Merge request reports