search

pietrobraione / tardis

The TARDIS concolic test case generator
9 stars 15 forks source link

Fix propagation, handling and reporting of exceptions #5

Open pietrobraione opened 4 years ago

pietrobraione commented 4 years ago

Right now exception are badly managed. They are typically caught close to their source, reported to the console and not propagated. We should distinguish between the exception that generate warnings, exception that somehow affect the workflow, and exception that abort TARDIS (if any), and properly handle them. This is not so simple given the multithreaded architecture of TARDIS, so some study on how exception propagation mixes with the executor framework is required before attempting such an endeavour.

pietrobraione commented 3 years ago

b973743 partially solves the issue.