It is now possible to read/write the RNG state in a file.

[simgrid.git] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index c3874de..5a21494 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -66,7 +66,7 @@ jobs:
       - df -h
       - du -hc /tmp || true
     - os: osx
-      osx_image: xcode11
+      osx_image: xcode11.3
       script:
       - export LIBRARY_PATH=/usr/local/lib/gcc/9
       - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=ON -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON .