Test-related maintenance
authorAkos Kiss <akiss@inf.u-szeged.hu>
Sat, 10 Oct 2020 20:54:36 +0000 (22:54 +0200)
committerAkos Kiss <akiss@inf.u-szeged.hu>
Sat, 10 Oct 2020 20:54:36 +0000 (22:54 +0200)
commit82bc763e5e3939ce2ee376d2f66905ae63a1c8ba
treec5ca12905bfdb0c2926f277405dc9afa734dbf90
parent5c757546298c4c26022b3b4861e1bbfbdb72ac52
Test-related maintenance

- Ensure that make reports an error if any of the tests fail
- Don't duplicate compilation commands only for the sake of
  verbosity control
- Simplify recipe for .tst files
- Drop outdated and unnecessary .gitignore from tests directory
- Add the execution of tests to Travis CI
.travis.yml
tests/.gitignore [deleted file]
tests/Makefile