hydra setup

ADA-research · Aug 21, 2023 · 06669a4 · 06669a4
1 parent 7995efc
commit 06669a4
Show file tree

Hide file tree

Showing 60 changed files with 723 additions and 1,794 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -19,7 +19,9 @@ RUN pip install -e '.[dev]' # dev reqs needed for tests
 # Check if installation was succesful
 RUN auto-verify --version
 RUN auto-verify install nnenum
-RUN auto-verify install abcrown
+# RUN auto-verify install abcrown
+# RUN auto-verify install verinet
+# RUN auto-verify install ovalbab
 
 RUN echo $'set +euo pipefail \n\
 conda activate av \n\
@@ -28,7 +30,7 @@ RUN chmod +x entrypoint.sh
 
 # Integration tests, should fail if installing went wrong. 
 # No GPU on gh-actions
-RUN if ! python -m pytest -v -m "not uses_gpu"; then exit 1; fi
+RUN if ! python -m pytest -v; then exit 1; fi
 
 ENTRYPOINT ["./entrypoint.sh"]
 # Clean up all images: docker rmi -f $(docker images -aq)
diff --git a/autoverify/portfolio/.old/__init__.py b/autoverify/portfolio/.old/__init__.py
diff --git a/autoverify/portfolio/.old/hydra/__init__.py b/autoverify/portfolio/.old/hydra/__init__.py
diff --git a/autoverify/portfolio/.old/hydra/hydra.py b/autoverify/portfolio/.old/hydra/hydra.py
diff --git a/autoverify/portfolio/.old/hydra/hydra_scenario.py b/autoverify/portfolio/.old/hydra/hydra_scenario.py