Commit 3f82bdaa authored Jun 7, 2019 by Tim van der Horst

Merge branch 'development' of gitlab.ewi.tudelft.nl:eip/code-measures into bugfixes-.

Update dist.zip

# Conflicts:
#	src/main/java/nl/tudelft/ewi/auta/common/model/metric/MetricName.java
#	worker/src/main/java/nl/tudelft/ewi/auta/checker/Checker.java
#	worker/src/test/java/nl/tudelft/ewi/auta/checker/CheckerIntegrationTest.java

parents 6ea0c542 8de86774

No related branches found

No related tags found

2 merge requests!122AuTA 2.0 master merge,!98Demo update

Pipeline #189136 passed Jun 7, 2019

Show whitespace changes

Inline Side-by-side

Showing with 255 additions and 96 deletions

Please to comment