Merge branch 'dev' of https://github.com/javapathfinder/jpf-core into dev

diff --git a/.travis.yml b/.travis.yml
new file mode 100644 (file)
index 0000000..698895c
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,11 @@
+language: java
+before_install:
+  - sudo apt-get install junit4
+  - mkdir ~/junit
+  - ln -s /usr/share/java/junit4.jar ~/junit
+  - ln -s /usr/share/java/hamcrest-core.jar ~/junit
+  - export JUNIT_HOME=~/junit
+install: ant test
+jdk:
+  - oraclejdk8
+  - openjdk8