From 93bbdad613186c53c53c93247f0982e26fe2c59c Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Wed, 20 Mar 2024 11:15:45 -0500
Subject: [PATCH] fix: attach execution trace to reverting properties

---
 fuzzing/test_case_property_provider.go | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/fuzzing/test_case_property_provider.go b/fuzzing/test_case_property_provider.go
index 9f5d8277..6d85db17 100644
--- a/fuzzing/test_case_property_provider.go
+++ b/fuzzing/test_case_property_provider.go
@@ -2,14 +2,15 @@ package fuzzing
 
 import (
 	"fmt"
+	"math/big"
+	"sync"
+
 	"github.com/crytic/medusa/fuzzing/calls"
 	"github.com/crytic/medusa/fuzzing/contracts"
 	"github.com/crytic/medusa/fuzzing/executiontracer"
 	"github.com/crytic/medusa/fuzzing/utils"
 	"github.com/ethereum/go-ethereum/core"
 	"golang.org/x/exp/slices"
-	"math/big"
-	"sync"
 )
 
 // PropertyTestCaseProvider is a provider for on-chain property tests.
@@ -100,7 +101,7 @@ func (t *PropertyTestCaseProvider) checkPropertyTestFailed(worker *FuzzerWorker,
 
 	// If our property test method call failed, we flag a failed test.
 	if executionResult.Failed() {
-		return true, nil, nil
+		return true, executionTrace, nil
 	}
 
 	// Decode our ABI outputs