First test

pysmt · May 25, 2018 · c7f93c5 · c7f93c5
1 parent a69d80d
commit c7f93c5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -1,5 +1,9 @@
 language: python
-dist: trusty
+
+os:
+  - linux
+  - osx
+
 git:
   depth: 10