concolic-core 0.1.1

Architecture-neutral concolic explore loop, report contract and outcome ledger
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

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

[[package]]
name = "bumpalo"
version = "3.20.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "72f5acc6cb2ba439de613abc23857ec3d78374d8ed5ac84e9d11336e87da8649"

[[package]]
name = "concolic-core"
version = "0.1.1"
dependencies = [
 "smtlite",
]

[[package]]
name = "smtlite"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fae128b8bfd9b8dbfaac4fbab5a3a287c1044f7a7dcf7e657b727c857128cb4e"
dependencies = [
 "bumpalo",
]