Fix various lint issues · twizmwazin/clarirs@bd36fc0

Run tests

Process completed with exit code 101.

Run tests: crates/clarirs_num/src/float.rs#L81

unused variable: `rm`

Run tests: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `expr`

Run tests: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `value`

Run tests: crates/clarirs_core/src/solver/solver.rs#L42

unused variable: `expr`

Run tests: crates/clarirs_core/src/solver/solver.rs#L48

unused variable: `expr`

Run tests: crates/clarirs_z3/src/lib.rs#L18

unused variable: `exprs`

Run tests: crates/clarirs_z3/src/lib.rs#L18

unused variable: `max_solutions`

Run tests: crates/clarirs_z3/src/lib.rs#L83

unused variable: `ast`

Run tests: crates/clarirs_z3/src/lib.rs#L84

unused variable: `ctx`

Run tests: crates/clarirs_z3/src/lib.rs#L95

unused variable: `ast`

Build: crates/clarirs_num/src/float.rs#L81

unused variable: `rm`

Build: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `expr`

Build: crates/clarirs_core/src/solver/solver.rs#L24

unused variable: `value`

Build: crates/clarirs_core/src/solver/solver.rs#L42

unused variable: `expr`

Build: crates/clarirs_core/src/solver/solver.rs#L48

unused variable: `expr`

Build: crates/clarirs_z3/src/lib.rs#L18

unused variable: `exprs`

Build: crates/clarirs_z3/src/lib.rs#L18

unused variable: `max_solutions`

Build: crates/clarirs_z3/src/lib.rs#L83

unused variable: `ast`

Build: crates/clarirs_z3/src/lib.rs#L84

unused variable: `ctx`

Build: crates/clarirs_z3/src/lib.rs#L95

unused variable: `ast`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix various lint issues #18

Test on macos-latest

Fix various lint issues #18

Jobs

Run details

Annotations

Test on macos-latest

Re-running jobs...