Skip to content

Experimental 3SAT solver #6

Experimental 3SAT solver

Experimental 3SAT solver #6

Triggered via pull request September 9, 2024 15:03
Status Failure
Total duration 1m 32s
Artifacts

rust.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

6 errors
cargo test: src/studio/mod.rs#L28
this function depends on never type fallback being `()`
cargo test: src/studio/mod.rs#L163
field `0` is never read
cargo test: src/studio/mod.rs#L220
method `take_object` is never used
cargo test: src/studio/mod.rs#L239
fields `simbuilder_set_step_time`, `simbuilder_add_run`, `simbuilder_build`, `simdata_step`, and `simdata_get_data` are never read
cargo test: src/studio/mod.rs#L293
field `instance` is never read
cargo test
Process completed with exit code 101.