Unit tests with Specdris and Travis CI Improvement.#57

Open

pheymann wants to merge 16 commits into

ziman:masterfrom

pheymann:feature/apply-specdris-for-tests

Commits on Jul 14, 2017

Rewrote tests with specdris.
paul-heymann
committed
Renamed Test to ParserTest.
paul-heymann
committed
Updated Makefile and removed test-script.
paul-heymann
committed
Fixed travis yml.
paul-heymann
committed
Added specdris installation to ci build.
paul-heymann
committed
Added dependencies to gitignore.
paul-heymann
committed

Commits on Jul 21, 2017

Merged master and fixed TestLazy.idr.
paul-heymann
committed
Added nix script in travis build.
paul-heymann
committed
Added sudo rights.
paul-heymann
committed
Revert / Added sudo rights.
paul-heymann
committed
Revert / Added nix script in travis build.
paul-heymann
committed
Added travis docker file.
paul-heymann
committed

Commits on Jul 30, 2017

Nix script with relative include path.
paul-heymann
committed
Fixed test.ipkg.
paul-heymann
committed
Fixed travis yml.
paul-heymann
committed
Deleted Dockerfile and use new specdris version.
paul-heymann
committed