search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
913 stars 206 forks source link

also run CI on `push` #2454

Closed quentin closed 10 months ago

quentin commented 10 months ago
codecov[bot] commented 10 months ago

Codecov Report

Merging #2454 (12cf1d6) into master (2914f7b) will increase coverage by 0.36%. Report is 29 commits behind head on master. The diff coverage is 78.06%.

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454/graphs/tree.svg?width=650&height=150&src=pr&token=uyaWjuodpY&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang)](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang) ```diff @@ Coverage Diff @@ ## master #2454 +/- ## ========================================== + Coverage 77.75% 78.12% +0.36% ========================================== Files 474 486 +12 Lines 31164 32354 +1190 ========================================== + Hits 24232 25275 +1043 - Misses 6932 7079 +147 ``` | [Files](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang) | Coverage Δ | | |---|---|---| | [src/FunctorOps.cpp](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL0Z1bmN0b3JPcHMuY3Bw) | `60.81% <ø> (ø)` | | | [src/RelationTag.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL1JlbGF0aW9uVGFnLmg=) | `53.03% <ø> (+0.79%)` | :arrow_up: | | [src/ast/Aggregator.cpp](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9BZ2dyZWdhdG9yLmNwcA==) | `96.29% <100.00%> (+0.84%)` | :arrow_up: | | [src/ast/Aggregator.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9BZ2dyZWdhdG9yLmg=) | `100.00% <ø> (ø)` | | | [src/ast/Attribute.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9BdHRyaWJ1dGUuaA==) | `100.00% <ø> (ø)` | | | [src/ast/Component.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9Db21wb25lbnQuaA==) | `100.00% <ø> (ø)` | | | [src/ast/IterationCounter.cpp](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9JdGVyYXRpb25Db3VudGVyLmNwcA==) | `100.00% <100.00%> (ø)` | | | [src/ast/Lattice.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9MYXR0aWNlLmg=) | `100.00% <100.00%> (ø)` | | | [src/ast/Program.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9Qcm9ncmFtLmg=) | `100.00% <ø> (ø)` | | | [src/ast/QualifiedName.h](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang#diff-c3JjL2FzdC9RdWFsaWZpZWROYW1lLmg=) | `100.00% <ø> (+5.88%)` | :arrow_up: | | ... and [82 more](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang) | | ... and [149 files with indirect coverage changes](https://app.codecov.io/gh/souffle-lang/souffle/pull/2454/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=souffle-lang)