[Javapathfinder-devel] JUnit exceptions

[Michal K. <mic...@gm...>]

Hello,

I've just tried to run the Racer example under JPF+JUnit. It correctly prints 
'10' twice and then 'java.lang.ArithmeticException: division by zero'. But this 
exception is eaten in JUnit internals so the propertyViolated method is not 
called. Is there a way to get execution history (as shown in example) in such 
situation? Throwing exception out of JUnit would probably help but I would to 
avoid it. I don't want to modify neither JUnit nor JPF, just want to extend both 
of them.

Michal