Skip to content

ci: macos-13 -> macos-15-intel #685

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Oct 23, 2025
Merged

ci: macos-13 -> macos-15-intel #685

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
200787d
ci: macos-13 -> macos-15-intel
elopez Sep 19, 2025
2596687
Merge branch 'master' into ci-macos-intel
anishnaik Oct 22, 2025
5ed4978
add a separate test for problematic CI tests
anishnaik Oct 23, 2025
2dfaa96
Merge branch 'ci-macos-intel' of github.com:crytic/medusa into ci-mac…
anishnaik Oct 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ jobs:
needs: [lint, test]
strategy:
matrix:
environment: [ubuntu-latest, macos-13, macos-14, windows-latest]
environment: [ubuntu-latest, macos-15-intel, macos-14, windows-latest]
permissions:
contents: read
id-token: write
Expand Down Expand Up @@ -157,7 +157,7 @@ jobs:
test:
strategy:
matrix:
environment: [ubuntu-latest, macos-13, macos-14, windows-latest]
environment: [ubuntu-latest, macos-15-intel, macos-14, windows-latest]

runs-on: ${{ matrix.environment }}
timeout-minutes: 20
Expand Down
30 changes: 29 additions & 1 deletion fuzzing/fuzzer_test.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -764,9 +764,36 @@ func TestValueGenerationSolving(t *testing.T) {
"testdata/contracts/value_generation/match_addr_sender.sol",
"testdata/contracts/value_generation/match_string_exact.sol",
"testdata/contracts/value_generation/match_structs_xy.sol",
"testdata/contracts/value_generation/match_payable_xy.sol",
}
for _, filePath := range filePaths {
runFuzzerTest(t, &fuzzerSolcFileTest{
filePath: filePath,
configUpdates: func(config *config.ProjectConfig) {
config.Fuzzing.TargetContracts = []string{"TestContract"}
config.Fuzzing.Testing.AssertionTesting.Enabled = false
config.Fuzzing.Testing.OptimizationTesting.Enabled = false
config.Slither.UseSlither = true
},
method: func(f *fuzzerTestContext) {
// Start the fuzzer
err := f.fuzzer.Start()
assert.NoError(t, err)

// Check for any failed tests and verify coverage was captured
assertFailedTestsExpected(f, true)
assertCorpusCallSequencesCollected(f, true)
},
})
}
}

// TestComplexValueGenerationSolving runs a series of tests to test the value generator can solve expected problems.
// Specifically, this test provides a much larger test limit since some of these tests fail to get solved in the CI fast enough.
func TestComplexValueGenerationSolving(t *testing.T) {
filePaths := []string{
"testdata/contracts/value_generation/match_ints_xy.sol",
"testdata/contracts/value_generation/match_uints_xy.sol",
"testdata/contracts/value_generation/match_payable_xy.sol",
}
for _, filePath := range filePaths {
runFuzzerTest(t, &fuzzerSolcFileTest{
Expand All @@ -775,6 +802,7 @@ func TestValueGenerationSolving(t *testing.T) {
config.Fuzzing.TargetContracts = []string{"TestContract"}
config.Fuzzing.Testing.AssertionTesting.Enabled = false
config.Fuzzing.Testing.OptimizationTesting.Enabled = false
config.Fuzzing.TestLimit = 15_000_000
config.Slither.UseSlither = true
},
method: func(f *fuzzerTestContext) {
Expand Down
Loading