Better exception handling

[0152la]

Rather than throwing an exception in the CfiDriver, should gather all instances of no produced assertions and report them at the end.

[rsinha]

I think we resolved this last week, right?

[0152la]

I did something briefly on it, just capturing and recording exceptions thrown by the CfiVerifier when executing CfiDriver. I think it's worth having a look and doing something more sophisticated.

[0152la]

Added some more comprehensive exception logging in commit 1bdbb65. Maybe revisit in the future?

[0152la]

Nevermind, apparently the "try..catch" blocks in the CfiDriver which calls the other executables do not actually catch the thrown exception by the process.

[rsinha]

Do you think we need to improve exception handling now? Or should we close this?

[0152la]

It's the same status as before: there is no exception handling. The subprocesses do not throw exception as they "successfully" terminate, albeit throwing an exception. Thus, the "try...catch" blocks around the subprocess calls are dead code.

For the moment, I didn't see any crashes in recent experiments, which means we could leave it be. However, for the future, I think this should be taken into consideration.