Add info about testing locally (#2188)

* Add info about testing locally * Set Version: 1.0.368 * Update README.md Co-authored-by: Tamás Tóth <[email protected]> * Update README.md Co-authored-by: Tamás Tóth <[email protected]> * Space * Set Version: 1.0.370 * Set Version: 1.0.371 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]> Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Nov 22, 2023 · 36cc891 · 36cc891
1 parent 974fb72
commit 36cc891
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -244,6 +244,22 @@ These are the individual test-suites (all of these can be suffixed with `-all` t
 -   `make test-proof`: Proofs from the [Verified Smart Contracts].
 -   `make test-interactive`: Tests of the `kevm` command.
 
+All these targets call `pytest` under the hood. You can pass additional arguments to the call by appending them to variable `PYTEST_ARGS`. E.g. run
+
+```
+make test-vm PYTEST_ARGS+=-vv
+```
+
+to execute VMTests with increased verbosity, and
+
+```
+make test-vm PYTEST_ARGS+=-n0
+```
+
+to execute them on a single worker.
+
+Files produced by test runs, e.g. kompiled definition and logs, can be found in `/tmp/pytest-of-<user>/`.
+
 For Developers
 --------------
 

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.370"
+version = "1.0.371"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.370'
+VERSION: Final = '1.0.371'
diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.370
+1.0.371