[dependencies.cvlr-mathint]
optional = true
version = "=0.4.2"
[features]
default = ["mathint"]
mathint = ["dep:cvlr-mathint"]
rt = ["cvlr-mathint/rt"]
[lib]
name = "cvlr_log"
path = "src/lib.rs"
[package]
authors = ["Arie Gurfinkel <arie@certora.com>", "Jorge A. Navas <jorge@certora.com>", "Francesco Parolini <francesco@certora.com>", "Chandrakana Nandi <chandra@certora.com>", "Alexander Bakst <abakst@certora.com>"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["development-tools::debugging", "development-tools::testing", "no-std"]
description = "Logging in Certora Calltrace"
documentation = "https://docs.rs/cvlr/latest"
edition = "2021"
homepage = "https://www.certora.com"
keywords = ["certora", "assert", "logic", "verification", "formal-methods"]
license = "MIT"
name = "cvlr-log"
readme = "README.md"
repository = "https://github.com/Certora/cvlr"
version = "0.4.2"