Default seed in Travis

herbie-fp · Jun 9, 2018 · 521d0dc · 521d0dc
1 parent 94277bd
commit 521d0dc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/infra/travis.rkt b/infra/travis.rkt
@@ -45,6 +45,8 @@
        #f])))
 
 (module+ main
+  (define seed (random 1 (expt 2 31)))
+  (set-seed! seed)
   (command-line
    #:program "travis.rkt"
    #:once-each