Commits on Apr 6, 2023

1. autofuzz: Fix logs for bug detector findings …

   Autofuzz tries to print caught exceptions, but this fails in case of bug
   detector findings, as the thrown exceptions are intentionally hard to
   catch and rethrow themselves if possible.  Due to this behavior the
   following line is potentially loged multiple times: `ERROR: Unexpected
   exception encountered during autofuzz:`
   
   In this case the exceptions are also only used to abort the current
   invocation, logging of the actual findings is done by different
   means. So it's save to ignore this kind of exceptions.

   

   bertschneider committed Apr 6, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for a659387
   • Browse repository at this point

   Copy the full SHA

   a659387 View commit details

   Browse the repository at this point in the history