Merge pull request #60 from KrzysiekJ/benchmarks

Vector shrinking is inefficient
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 30f3f58..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-sudo: false
-language: erlang
-otp_release:
-  - 20.1.6
-  - 20.0.4
-  - 19.0
-  - 18.3
-  - 17.3
-  - 17.1
-  - 17.0
-  - R16B03-1
-  - R15B03
-env: MAKE_TARGET=ci
-matrix:
-  include:
-    - otp_release: 20.1.6
-      env: MAKE_TARGET=ci-dialyze
-script: make $MAKE_TARGET
diff --git a/test/triq_tests.erl b/test/triq_tests.erl
index 7cdf9f7..ad00aec 100644
--- a/test/triq_tests.erl
+++ b/test/triq_tests.erl
@@ -179,8 +179,11 @@
 %is_pairs_list([X,X|T]) -> is_pairs_list(T);
 %is_pairs_list(_)       -> false.
 
-oneof_test() ->
-    [{X,Y}] = triq:counterexample(
+oneof_test_() ->
+    {
+        timeout, 15,
+        fun() ->
+            [{X,Y}] = triq:counterexample(
                 ?FORALL({X,Y},
                         ?SUCHTHAT({A,B},
                                   {oneof([int(),real()]),
@@ -191,10 +194,12 @@
                             is_integer(X) == is_integer(Y)
                         end
                        )),
-    %% One variable must be equal to 0 and absolute value of the other must not
-    %% be greater than 1.
-    %% Note: 0 == 0.0
-    ?assert((X * Y == 0) and (X + Y /= 0) and (abs(X) + abs(Y) =< 1)).
+            %% One variable must be equal to 0 and absolute value of the other
+            %% must not be greater than 1.
+            %% Note: 0 == 0.0
+            ?assert((X * Y == 0) and (X + Y /= 0) and (abs(X) + abs(Y) =< 1))
+       end
+    }.
 
 %%
 %% This test makes sure that X shrinks only to 3.