Define a non-trivial test and make testing work on Travis