cvlr-log 0.4.2

Logging in Certora Calltrace
Documentation