Lib.rs

Cargo Features

[dependencies]
smt-scope = { version = "0.1.3", default-features = false, features = ["display", "display_html", "analysis", "mem_dbg", "serde", "test_verifiers"] }

default = analysis, display

These default features are set whenever smt-scope is added without default-features = false somewhere in the dependency tree.

display default

Enables regex

Affects smt-scope::display_with, smt-scope::formatter…

Required by smt-scope and z3-scope binaries

display_html

Enables ammonia

Affects display_with::DisplayConfiguration.html, display_with::DisplayConfiguration.font_tag…

analysis default

Affects smt-scope::analysis, utils::InternMap…

Required by smt-scope and z3-scope binaries

mem_dbg

Enables cap and mem_dbg ^0.2.4

cap:

For debug_assertions builds which are used for testing

Affects parsers::LogParserHelper…

serde

Enables serialize of lasso, serde of nonmax and num and serde-1 of petgraph ^0.6.4

Analysis

and serde-std of typed-index-collections

Collections and useful types

test_verifiers

Feature to enable the integration test that runs on all smt2 files in smt-logs. Disabled by default.