Fix various lint issues · twizmwazin/clarirs@28dc7c4

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 #19

Test on ubuntu-latest

Fix various lint issues #19

Jobs

Run details

Annotations

Test on ubuntu-latest

Re-running jobs...