From 6a29824ad98abdff72cce26934769868b3ad53fc Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Mon, 23 Sep 2024 15:56:33 -0700 Subject: [PATCH 1/2] ci: parallelize snekmate tests (#370) --- .github/workflows/test-external.yml | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml index e08eed86..cad0a148 100644 --- a/.github/workflows/test-external.yml +++ b/.github/workflows/test-external.yml @@ -54,7 +54,22 @@ jobs: profile: "" - repo: "pcaversaccio/snekmate" dir: "snekmate" - cmd: "--config test/halmos.toml" + cmd: "--config test/halmos.toml --contract ERC20TestHalmos" + branch: "" + profile: "halmos" + - repo: "pcaversaccio/snekmate" + dir: "snekmate" + cmd: "--config test/halmos.toml --contract ERC721TestHalmos" + branch: "" + profile: "halmos" + - repo: "pcaversaccio/snekmate" + dir: "snekmate" + cmd: "--config test/halmos.toml --contract ERC1155TestHalmos" + branch: "" + profile: "halmos" + - repo: "pcaversaccio/snekmate" + dir: "snekmate" + cmd: "--config test/halmos.toml --contract MathTestHalmos" branch: "" profile: "halmos" From 3e66a607917183c7477c0ae2cf78bb762a62a22d Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Mon, 23 Sep 2024 15:57:29 -0700 Subject: [PATCH 2/2] perf: increase default assertion solving timeout from 1s to 1m (#368) --- src/halmos/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/halmos/config.py b/src/halmos/config.py index c9d0f963..4f2a57a1 100644 --- a/src/halmos/config.py +++ b/src/halmos/config.py @@ -333,7 +333,7 @@ class Config: solver_timeout_assertion: int = arg( help="set timeout (in milliseconds) for solving assertion violation conditions; 0 means no timeout", - global_default=1000, + global_default=60_000, metavar="TIMEOUT", group=solver, )