cvlr-log 0.4.1

Logging in Certora Calltrace
Documentation