Skip to content
CI

Implement more string ops in python bindings #16

Sign in to view logs

Implement more string ops in python bindings

Implement more string ops in python bindings #16

Triggered via pull request September 30, 2024 21:19
@twizmwazintwizmwazin
synchronize #4
feat/more-str-ops
Status Failure
Total duration 13m 3s
Artifacts –

ci.yml

on: pull_request
cargo fmt
8s
cargo fmt
cargo clippy
9m 0s
cargo clippy
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 70 warnings
cargo fmt
Process completed with exit code 1.
Test on ubuntu-latest
Process completed with exit code 101.
Test on windows-latest
Process completed with exit code 1.
Test on macos-latest
Process completed with exit code 101.
cargo clippy: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
cargo clippy: crates/clarirs_num/src/bitvec.rs#L28
you are using an explicit closure for copying elements
cargo clippy: crates/clarirs_num/src/bitvec.rs#L50
struct `BitVec` has a public `len` method, but no `is_empty` method
cargo clippy: crates/clarirs_num/src/bitvec.rs#L111
called `map(..).flatten()` on `Iterator`
cargo clippy: crates/clarirs_num/src/bitvec.rs#L156
called `map(f)` on an `Option` value where `f` is a closure that returns the unit type `()`
cargo clippy: crates/clarirs_num/src/bitvec.rs#L157
suspicious use of `-` in `Add` impl
cargo clippy: crates/clarirs_num/src/bitvec.rs#L158
suspicious use of `&` in `Add` impl
cargo clippy: crates/clarirs_num/src/bitvec.rs#L235
called `map(f)` on an `Option` value where `f` is a closure that returns the unit type `()`
cargo clippy: crates/clarirs_num/src/float.rs#L46
this `impl` can be derived
cargo clippy: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on ubuntu-latest: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on ubuntu-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on windows-latest: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on windows-latest: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on windows-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on windows-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on macos-latest: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`
Test on macos-latest: crates/clarirs_num/src/float.rs#L86
unused variable: `rm`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L24
unused variable: `value`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L42
unused variable: `expr`
Test on macos-latest: crates/clarirs_core/src/solver/solver.rs#L48
unused variable: `expr`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `exprs`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L18
unused variable: `max_solutions`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L83
unused variable: `ast`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L84
unused variable: `ctx`
Test on macos-latest: crates/clarirs_z3/src/lib.rs#L95
unused variable: `ast`