Add logging events to strongest postcondition verifier
danmatichuk opened this issue · comments
Currently the strongest postcondition verifier is outputting ad-hoc tracing messages. These should be replaced with logging events.
Patches Assured up to Trace Equivalence
danmatichuk opened this issue · comments
Currently the strongest postcondition verifier is outputting ad-hoc tracing messages. These should be replaced with logging events.