Testing / Verification#12

Open

intere wants to merge 2 commits intodevelopfrom

feature/MoreTesting

Commits on Oct 19, 2018

Some minor updates to the models (mostly for debugging) and added some more verification to the tests.
intere
committed
Updated the travis config to point to Xcode 10.
intere
committed