feat: display test cases discovered by the fuzzer (#382)

* feat: display test cases discovered by the fuzzer * check whether optimization test case has started
crytic · Jul 8, 2024 · 3cbe484 · 3cbe484
1 parent 3259c27
commit 3cbe484
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 4 deletions.
diff --git a/fuzzing/fuzzer.go b/fuzzing/fuzzer.go
@@ -246,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)
 }

diff --git a/fuzzing/test_case_optimization.go b/fuzzing/test_case_optimization.go
@@ -55,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")