mark gpu tests

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

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tests/test_verifier/test_verifier.py b/tests/test_verifier/test_verifier.py
@@ -13,9 +13,9 @@
     "verifier",
     [
         pytest.param(lazy_fixture("nnenum")),
-        pytest.param(lazy_fixture("abcrown")),
-        pytest.param(lazy_fixture("ovalbab")),
-        pytest.param(lazy_fixture("verinet")),
+        pytest.param(lazy_fixture("abcrown"), marks=pytest.mark.gpu),
+        pytest.param(lazy_fixture("ovalbab"), marks=pytest.mark.gpu),
+        pytest.param(lazy_fixture("verinet"), marks=pytest.mark.gpu),
     ],
 )
 

diff --git a/tox.ini b/tox.ini
@@ -27,7 +27,7 @@ deps =
     pytest-lazy-fixture
 passenv = CODECOV_*
 commands =
-    coverage run -m pytest -v {tty:--color=yes} {posargs}
+    coverage run -m pytest -v -m "not gpu" {tty:--color=yes} {posargs}
     coverage report --omit=tests/* 
     coverage xml --omit=tests/*