Results are logged per function
Results are logged per function

Whenever a function within a benchmark is verified by CfiDriver, the
result file is updated. The name of the result file is now the time the
verification was initiated.

Furthermore, now capturing and ignoring exceptions thrown by CfiVerifier.

TrustedCloud/slashconfidential