search

alexfertel / bulloak

A Solidity test generator based on the Branching Tree Technique.
Apache License 2.0
225 stars 13 forks source link

feat(check): improve violations reporting #45

Closed alexfertel closed 9 months ago

alexfertel commented 9 months ago

Closes https://github.com/alexfertel/bulloak/issues/43

codecov[bot] commented 9 months ago

Codecov Report

Merging #45 (f572837) into main (d3cf7d3) will increase coverage by 0.8%. The diff coverage is 95.2%.

Additional details and impacted files | [Files](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez) | Coverage Δ | | |---|---|---| | [src/hir/hir.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2hpci9oaXIucnM=) | `75.0% <ø> (ø)` | | | [src/hir/translator.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2hpci90cmFuc2xhdG9yLnJz) | `98.3% <100.0%> (+<0.1%)` | :arrow_up: | | [src/check/location.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2NoZWNrL2xvY2F0aW9uLnJz) | `83.3% <83.3%> (ø)` | | | [src/check/rules/structural\_match.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2NoZWNrL3J1bGVzL3N0cnVjdHVyYWxfbWF0Y2gucnM=) | `95.3% <97.6%> (+5.0%)` | :arrow_up: | | [src/check/utils.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2NoZWNrL3V0aWxzLnJz) | `93.3% <93.3%> (ø)` | | | [src/check/violation.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2NoZWNrL3Zpb2xhdGlvbi5ycw==) | `89.4% <92.8%> (+23.6%)` | :arrow_up: | | [src/check/mod.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/45?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2NoZWNrL21vZC5ycw==) | `89.3% <93.9%> (+4.5%)` | :arrow_up: |