Updated doc comments

compilation/abiutils/solidity_events.go

@@ -5,7 +5,10 @@ import (
 	coreTypes "github.com/ethereum/go-ethereum/core/types"
 )
 
-// UnpackEventAndValues takes a given contract ABI, and VM return values, and
+// UnpackEventAndValues takes a given contract ABI, and an emitted event log from VM, and attempts to find an
+// event definition for the log, and unpack its input values.
+// Returns the event definition and unpacked event input values, or nil for both if an event definition could not
+// be resolved, or values could not be unpacked.
 func UnpackEventAndValues(contractAbi *abi.ABI, eventLog *coreTypes.Log) (*abi.Event, []any) {
 	// If no ABI was given, no event data can be extracted.
 	if contractAbi == nil {

fuzzing/test_case_property_provider.go

@@ -78,7 +78,6 @@ func (t *PropertyTestCaseProvider) isPropertyTest(method abi.Method) bool {
 
 // checkPropertyTestFailed executes a given property test method to see if it returns a failed status. This is used to
 // facilitate testing of property test methods after every call the Fuzzer makes when testing call sequences.
-// The property test is executed over the state indicating by the provided state root hash.
 // A boolean indicating whether an execution trace should be captured and returned is provided to the method.
 // Returns a boolean indicating if the property test failed, an optional execution trace for the property test call,
 // or an error if one occurred.