From 9eddd47f359894ae34ace96823dd84a9c4643318 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@users.noreply.github.com>
Date: Thu, 12 Jul 2018 19:00:46 -0700
Subject: [PATCH] try a simple test

---
 .travis.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..732c23c
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,15 @@
+language: python
+dist: trusty
+sudo: false
+python:
+- "2.7"
+install:
+- apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev
+- cd deepstate
+- mkdir build
+- cd build
+- cmake ..
+- make
+- make install
+script:
+- deepstate-manticore examples/IntegerArithmetic