Rustsat dependency added #74
build.yml
on: push
Clippy
2m 48s
Bench
3m 14s
Matrix: Check
Annotations
11 errors and 85 warnings
Check (macos-latest, --no-default-features)
failed to run custom build command for `rustsat-cadical v0.2.1`
|
Check (macos-latest, --no-default-features)
The process '/Users/runner/.cargo/bin/cargo' failed with exit code 101
|
Check (ubuntu-latest, --no-default-features)
The operation was canceled.
|
Check (windows-latest, --no-default-features)
The operation was canceled.
|
Check (ubuntu-latest)
The operation was canceled.
|
Check (windows-latest)
The operation was canceled.
|
Check (windows-latest, --features optim-mip)
The operation was canceled.
|
Check (ubuntu-latest, --features optim-mip)
The operation was canceled.
|
Check (macos-latest)
The operation was canceled.
|
Check (macos-latest, --features optim-mip)
failed to run custom build command for `rustsat-cadical v0.2.1`
|
Check (macos-latest, --features optim-mip)
The operation was canceled.
|
Check (macos-latest, --no-default-features)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (macos-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: In file included from /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/assume.cpp:1:
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/cadical.hpp:459:32: error: a space is required between consecutive right angle brackets (use '> >')
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: ^~
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/cadical.hpp:1118:16: warning: default member initializer for non-static data member is a C++11 extension [-Wc++11-extensions]
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: ^
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: In file included from /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/internal.hpp:53:
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: std::vector<std::vector<int>> cubes;
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: > >
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: In file included from /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/internal.hpp:53:
|
Check (macos-latest, --no-default-features)
rustsat-cadical@0.2.1: std::vector<std::vector<int>> cubes;
|
Check (ubuntu-latest, --no-default-features)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (ubuntu-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --no-default-features)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (windows-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --no-default-features)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (ubuntu-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --features optim-mip)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (windows-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (windows-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --features optim-mip)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (ubuntu-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (ubuntu-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (macos-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --features optim-mip)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: In file included from /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/analyze.cpp:1:
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/cadical.hpp:459:32: error: a space is required between consecutive right angle brackets (use '> >')
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: ^~
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: In file included from /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/internal.hpp:53:
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: std::vector<std::vector<int>> cubes;
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: > >
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: In file included from /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/arena.cpp:1:
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/cadical.hpp:459:32: error: a space is required between consecutive right angle brackets (use '> >')
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: ^~
|
Check (macos-latest, --features optim-mip)
rustsat-cadical@0.2.1: /Users/runner/work/volute/volute/target/debug/build/rustsat-cadical-86f2b8341cdcbb0c/out/cadical/src/cadical.hpp:1118:16: warning: default member initializer for non-static data member is a C++11 extension [-Wc++11-extensions]
|
Check (macos-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Check (macos-latest, --features optim-mip)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
module has the same name as its containing module:
src/sop.rs#L10
warning: module has the same name as its containing module
--> src/sop.rs:10:1
|
10 | mod sop;
| ^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#module_inception
= note: `#[warn(clippy::module_inception)]` on by default
|
unneeded `return` statement:
src/sop/ecube.rs#L105
warning: unneeded `return` statement
--> src/sop/ecube.rs:105:9
|
105 | return true;
| ^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
help: remove `return`
|
105 - return true;
105 + true
|
|
unneeded `return` statement:
src/sop/ecube.rs#L90
warning: unneeded `return` statement
--> src/sop/ecube.rs:90:9
|
90 | return max(self.num_lits(), 1) - 1;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
help: remove `return`
|
90 - return max(self.num_lits(), 1) - 1;
90 + max(self.num_lits(), 1) - 1
|
|
unneeded `return` statement:
src/sop/cube.rs#L139
warning: unneeded `return` statement
--> src/sop/cube.rs:139:9
|
139 | return true;
| ^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
help: remove `return`
|
139 - return true;
139 + true
|
|
unneeded `return` statement:
src/sop/cube.rs#L109
warning: unneeded `return` statement
--> src/sop/cube.rs:109:9
|
109 | return max(self.num_lits(), 1) - 1;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
= note: `#[warn(clippy::needless_return)]` on by default
help: remove `return`
|
109 - return max(self.num_lits(), 1) - 1;
109 + max(self.num_lits(), 1) - 1
|
|
the loop variable `i` is used to index `res_perm`:
src/canonization.rs#L272
warning: the loop variable `i` is used to index `res_perm`
--> src/canonization.rs:272:14
|
272 | for i in 0..res_perm.len() {
| ^^^^^^^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
help: consider using an iterator and enumerate()
|
272 | for (i, <item>) in res_perm.iter_mut().enumerate() {
| ~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
the variable `ind` is used as a loop counter:
src/canonization.rs#L233
warning: the variable `ind` is used as a loop counter
--> src/canonization.rs:233:5
|
233 | for swap in all_swaps {
| ^^^^^^^^^^^^^^^^^^^^^ help: consider using: `for (ind, swap) in all_swaps.iter().enumerate()`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#explicit_counter_loop
|
the loop variable `i` is used to index `res_perm`:
src/canonization.rs#L229
warning: the loop variable `i` is used to index `res_perm`
--> src/canonization.rs:229:14
|
229 | for i in 0..res_perm.len() {
| ^^^^^^^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
help: consider using an iterator and enumerate()
|
229 | for (i, <item>) in res_perm.iter_mut().enumerate() {
| ~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
the variable `ind` is used as a loop counter:
src/canonization.rs#L163
warning: the variable `ind` is used as a loop counter
--> src/canonization.rs:163:5
|
163 | for swap in all_swaps {
| ^^^^^^^^^^^^^^^^^^^^^ help: consider using: `for (ind, swap) in all_swaps.iter().enumerate()`
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#explicit_counter_loop
= note: `#[warn(clippy::explicit_counter_loop)]` on by default
|
the loop variable `i` is used to index `all_perms`:
src/canonization.rs#L117
warning: the loop variable `i` is used to index `all_perms`
--> src/canonization.rs:117:18
|
117 | for i in 0..all_perms.len() {
| ^^^^^^^^^^^^^^^^^^
|
= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_range_loop
= note: `#[warn(clippy::needless_range_loop)]` on by default
help: consider using an iterator and enumerate()
|
117 | for (i, <item>) in all_perms.iter().enumerate() {
| ~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
Clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/clippy-check@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Clippy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Clippy
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Bench
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Bench
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|