search

alexfertel / bulloak

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

feat: add a check command #31

Closed alexfertel closed 9 months ago

alexfertel commented 9 months ago

This PR introduces a bulloak check command that performs validations on the .tree <> .t.sol files relationship.

codecov[bot] commented 9 months ago

Codecov Report

Merging #31 (2d0d73e) into main (a372918) will increase coverage by 2.4%. The diff coverage is 89.4%.

Additional details and impacted files | [Files Changed](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?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/error.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2Vycm9yLnJz) | `81.2% <57.1%> (ø)` | | | [src/span.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL3NwYW4ucnM=) | `41.8% <62.5%> (ø)` | | | [src/check/violation.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?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==) | `65.7% <65.7%> (ø)` | | | [src/syntax/tokenizer.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL3N5bnRheC90b2tlbml6ZXIucnM=) | `93.8% <68.4%> (ø)` | | | [src/syntax/ast.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL3N5bnRheC9hc3QucnM=) | `69.2% <69.2%> (ø)` | | | [src/hir/hir.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?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% <75.0%> (ø)` | | | [src/scaffold/mod.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL3NjYWZmb2xkL21vZC5ycw==) | `80.0% <75.0%> (-20.0%)` | :arrow_down: | | [src/syntax/parser.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL3N5bnRheC9wYXJzZXIucnM=) | `78.9% <77.1%> (ø)` | | | [src/check/mod.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?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==) | `83.9% <83.9%> (ø)` | | | [src/cli.rs](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez#diff-c3JjL2NsaS5ycw==) | `90.0% <85.7%> (+90.0%)` | :arrow_up: | | ... and [9 more](https://app.codecov.io/gh/alexfertel/bulloak/pull/31?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Alexander+Gonz%C3%A1lez) | |