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

* ci: macos-13 -> macos-15-intel

See https://github.blog/changelog/2025-09-19-github-actions-macos-13-runner-image-is-closing-down/

* add a separate test for problematic CI tests

---------

Co-authored-by: anishnaik <[email protected]>

Author: elopez

.github/workflows/ci.yml

@@ -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
@@ -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

fuzzing/fuzzer_test.go

@@ -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{
@@ -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) {