From 145a674c2cf42fc63212cbd3040d6e1f1a52e753 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Tue, 25 Jun 2024 13:12:47 -0500
Subject: [PATCH 1/2] feat: display test cases discovered by the fuzzer

---
 fuzzing/fuzzer.go | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/fuzzing/fuzzer.go b/fuzzing/fuzzer.go
index 5697d1cf..e6e18399 100644
--- a/fuzzing/fuzzer.go
+++ b/fuzzing/fuzzer.go
@@ -4,7 +4,6 @@ import (
 	"context"
 	"errors"
 	"fmt"
-	"github.com/crytic/medusa/fuzzing/executiontracer"
 	"math/big"
 	"math/rand"
 	"os"
@@ -16,6 +15,8 @@ import (
 	"sync"
 	"time"
 
+	"github.com/crytic/medusa/fuzzing/executiontracer"
+
 	"github.com/crytic/medusa/fuzzing/coverage"
 	"github.com/crytic/medusa/logging"
 	"github.com/crytic/medusa/logging/colors"
@@ -245,6 +246,9 @@ func (f *Fuzzer) RegisterTestCase(testCase TestCase) {
 	f.testCasesLock.Lock()
 	defer f.testCasesLock.Unlock()
 
+	// Display what is being tested
+	f.logger.Info(testCase.LogMessage().Elements()...)
+
 	// Append our test case to our list
 	f.testCases = append(f.testCases, testCase)
 }

From f153f944aa35c09dac3daad13d24b1551a7cd40d Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Tue, 25 Jun 2024 13:57:36 -0500
Subject: [PATCH 2/2] check whether optimization test case has started

---
 fuzzing/test_case_optimization.go | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/fuzzing/test_case_optimization.go b/fuzzing/test_case_optimization.go
index 8b3f4e41..3c52172c 100644
--- a/fuzzing/test_case_optimization.go
+++ b/fuzzing/test_case_optimization.go
@@ -2,15 +2,16 @@ package fuzzing
 
 import (
 	"fmt"
+	"math/big"
+	"strings"
+	"sync"
+
 	"github.com/crytic/medusa/fuzzing/calls"
 	"github.com/crytic/medusa/fuzzing/contracts"
 	"github.com/crytic/medusa/fuzzing/executiontracer"
 	"github.com/crytic/medusa/logging"
 	"github.com/crytic/medusa/logging/colors"
 	"github.com/ethereum/go-ethereum/accounts/abi"
-	"math/big"
-	"strings"
-	"sync"
 )
 
 // OptimizationTestCase describes a test being run by a OptimizationTestCaseProvider.
@@ -54,10 +55,12 @@ func (t *OptimizationTestCase) LogMessage() *logging.LogBuffer {
 
 	// Note that optimization tests will always pass
 	buffer.Append(colors.GreenBold, fmt.Sprintf("[%s] ", t.Status()), colors.Bold, t.Name(), colors.Reset, "\n")
-	buffer.Append(fmt.Sprintf("Test for method \"%s.%s\" resulted in the maximum value: ", t.targetContract.Name(), t.targetMethod.Sig))
-	buffer.Append(colors.Bold, t.value, colors.Reset, "\n")
-	buffer.Append(colors.Bold, "[Call Sequence]", colors.Reset, "\n")
-	buffer.Append(t.CallSequence().Log().Elements()...)
+	if t.Status() != TestCaseStatusNotStarted {
+		buffer.Append(fmt.Sprintf("Test for method \"%s.%s\" resulted in the maximum value: ", t.targetContract.Name(), t.targetMethod.Sig))
+		buffer.Append(colors.Bold, t.value, colors.Reset, "\n")
+		buffer.Append(colors.Bold, "[Call Sequence]", colors.Reset, "\n")
+		buffer.Append(t.CallSequence().Log().Elements()...)
+	}
 	// If an execution trace is attached then add it to the message
 	if t.optimizationTestTrace != nil {
 		buffer.Append(colors.Bold, "[Optimization Test Execution Trace]", colors.Reset, "\n")