search

mnemonikr / symbolic-pcode

Apache License 2.0
0 stars 0 forks source link

Improving tests and documentation in memory module #137

Closed mnemonikr closed 1 week ago

mnemonikr commented 2 weeks ago

Improving tests and documentation in memory module

mnemonikr commented 1 week ago

All lines are practically covered. The only uncovered line is testing the conversion failure from usize to u64. This can theoretically fail but is machine-dependent.

The region coverage is substantially lower due to regions that are defined in the test code but not exercised (e.g. calls with ? that are expected to succeed). Unfortunately the test code is measured, and can't avoid this until https://github.com/rust-lang/rust/issues/84605 is resolved.

Filename                      Regions    Missed Regions     Cover   Functions  Missed Functions  Executed       Lines      Missed Lines     Cover    Branches   Missed Branches     Cover
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
src/mem.rs                        426                42    90.14%          73                 1    98.63%         782                 3    99.62%           0                 0         -