feat: improved error reporting in generated Trace.java
#716
Annotations
20 warnings
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Build
unexpected `cfg` condition name: `doc_cfg`
|
|
Run tests:
tests/models.rs#L7
struct `Model` is never constructed
|
|
Run tests:
tests/models.rs#L19
multiple associated items are never used
|
|
Run tests:
tests/models.rs#L114
struct `Trace` is never constructed
|
|
Run tests:
tests/models.rs#L125
associated items `new`, `height`, `width`, `col`, and `get` are never used
|
|
Run tests:
tests/models.rs#L166
struct `Column` is never constructed
|
|
Run tests:
tests/models.rs#L192
static `MODELS` is never used
|
|
Run tests:
tests/models.rs#L285
function `arrays_1_oracle` is never used
|
|
Run tests:
tests/models.rs#L304
function `iszero_oracle` is never used
|
|
Run tests:
tests/models.rs#L320
function `shift_1_oracle` is never used
|
|
Run tests:
tests/models.rs#L333
function `shift_2_oracle` is never used
|
Loading