Add cargo metadata #21
Annotations
10 warnings
|
Clippy Check:
crates/clarirs_num/src/float.rs#L81
unused variable: `rm`
|
|
Clippy Check:
crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
|
|
Clippy Check:
crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
|
|
Clippy Check:
crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
|
|
Clippy Check:
crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
|
|
Clippy Check:
crates/clarirs_core/src/solver/mod.rs#L2
module has the same name as its containing module
|
|
Clippy Check:
crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
|
|
Clippy Check:
crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
|
|
Clippy Check:
crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
|
|
Clippy Check:
crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
|
Loading