Skip to content

Test improvements#1421

Merged
elopez merged 6 commits intomasterfrom
test-improvements
Aug 16, 2025
Merged

Test improvements#1421
elopez merged 6 commits intomasterfrom
test-improvements

Conversation

@elopez
Copy link
Copy Markdown
Member

@elopez elopez commented Aug 16, 2025

This PR does the following

  • Updates Z3 version used for testing on Linux
  • Installs Bitwuzla for testing on Linux and Windows
  • Runs verification tests also with Bitwuzla
  • Speeds up FFI test by not using Python
  • Adds a way to force all solc versions to be tested on a PR

@elopez elopez requested a review from arcz as a code owner August 16, 2025 00:14
@elopez elopez added the ci-all-solc Test a PR with all solc versions label Aug 16, 2025
@elopez elopez force-pushed the test-improvements branch from 2e53f5c to 4779e7b Compare August 16, 2025 00:53
@elopez elopez merged commit d07b2b1 into master Aug 16, 2025
37 of 38 checks passed
@elopez elopez deleted the test-improvements branch August 16, 2025 17:08
datradito pushed a commit to datradito/echidna-mcp that referenced this pull request Dec 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-all-solc Test a PR with all solc versions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants