cvlr-log 0.4.0

Logging in Certora Calltrace
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "cvlr-asserts"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "726eb8537abb9e0ba3e09dade092f5da210b42e7852d78cc771c1d936749f0dd"

[[package]]
name = "cvlr-log"
version = "0.4.0"
dependencies = [
 "cvlr-mathint",
]

[[package]]
name = "cvlr-mathint"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bb94e0fc4b0bcaf1f9363c08bb43535f105b243c63014762e30575ad850be58c"
dependencies = [
 "cvlr-asserts",
 "cvlr-nondet",
]

[[package]]
name = "cvlr-nondet"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "207b941a8d3fa7f923791b22a3acfdc2051b6b9df32b9d87edaec9fba0a72156"
dependencies = [
 "cvlr-asserts",
]