cvlr-log 0.4.0

Logging in Certora Calltrace
Documentation