Improve BV coercion · twizmwazin/clarirs@48e96ff

Run tests

Process completed with exit code 101.

Run tests: crates/clarirs_num/src/bitvec.rs#L4

unused import: `BigInt`

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

unused variable: `rm`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L1

unused import: `std::sync::Arc`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L5

unused macro definition: `simplify`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L23

unused variable: `arc`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L24

unused variable: `arc`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L24

unused variable: `arc1`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L25

unused variable: `arc`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L25

unused variable: `arc1`

Run tests: crates/clarirs_core/src/algorithms/simplify.rs#L26

unused variable: `arc`

Build: crates/clarirs_num/src/bitvec.rs#L4

unused import: `BigInt`

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

unused variable: `rm`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L1

unused import: `std::sync::Arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L5

unused macro definition: `simplify`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L23

unused variable: `arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L24

unused variable: `arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L24

unused variable: `arc1`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L25

unused variable: `arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L25

unused variable: `arc1`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L26

unused variable: `arc`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Improve BV coercion #57

Test on ubuntu-latest

Improve BV coercion #57

Jobs

Run details

Annotations

Test on ubuntu-latest

Re-running jobs...