Fix in CallToSignatureFromSHA3

nevillegrech · May 8, 2024 · fc7439c · fc7439c
1 parent 6bc1fde
commit fc7439c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/clientlib/memory_modeling/clienthelpers.dl b/clientlib/memory_modeling/clienthelpers.dl
@@ -66,6 +66,7 @@ CallToSignatureFromSHA3(call, sigText):-
   CALLWithPossibleSigHashFromSHA3(call, sha3),
   SHA3_KnownContent(sha3, hexContent),
   strlen(hexContent) % 2 = 0,
+  !contains("0a", hexContent), // filter out entries with '\n'
   sigText = @hex_to_str(hexContent).
 
 /**