Travis: consistent naming of virtual environment

6 years ago · 71e8e3f569
1 changed files with 2 additions and 2 deletions
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@ -25,8 +25,8 @@ run() {

  # Create virtual environment
  travis_fold start virtualenv
-  virtualenv --python=$PYTHON stormpy-env
-  source stormpy-env/bin/activate
+  virtualenv --python=$PYTHON venv
+  source venv/bin/activate
  # Print version
  python --version
  travis_fold end virtualenv