disable smt

AugurProject · Jul 19, 2018 · e7a5221 · e7a5221
1 parent bd5a225
commit e7a5221
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -84,4 +84,3 @@ env:
     - TESTS="security:oyente"
     - TESTS="security:mythril"
     - TESTS="security:maian"
-    - TESTS="security:smt"