search

alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system
BSD 2-Clause "Simplified" License
58 stars 10 forks source link

Evolog: Permit actions in stratifiable part of input programs #338

Open madmike200590 opened 2 years ago

madmike200590 commented 2 years ago

TBD

codecov[bot] commented 2 years ago

Codecov Report

Attention: Patch coverage is 31.82711% with 347 lines in your changes are missing coverage. Please review.

Please upload report for BASE (evolog-new@685617c). Learn more about missing BASE report.

:exclamation: Current head 01c7038 differs from pull request most recent head 8191e89

Please upload reports for the commit 8191e89 to get more accurate results.

Files Patch % Lines
.../actions/AbstractActionImplementationProvider.java 17.52% 78 Missing and 2 partials :warning:
...alpha/core/actions/ActionExecutionServiceImpl.java 0.00% 47 Missing :warning:
.../programs/transformation/StratifiedEvaluation.java 0.00% 31 Missing :warning:
...ore/programs/transformation/ProgramNormalizer.java 0.00% 17 Missing :warning:
...n/kr/alpha/commons/rules/heads/ActionHeadImpl.java 0.00% 13 Missing :warning:
...ava/at/ac/tuwien/kr/alpha/commons/rules/Rules.java 0.00% 12 Missing :warning:
...ac/tuwien/kr/alpha/core/actions/ActionWitness.java 0.00% 12 Missing :warning:
...ms/transformation/VariableEqualityTransformer.java 0.00% 11 Missing :warning:
.../tuwien/kr/alpha/commons/rules/NormalRuleImpl.java 0.00% 10 Missing :warning:
...uwien/kr/alpha/core/actions/InputStreamHandle.java 40.00% 6 Missing and 3 partials :warning:
... and 31 more
Additional details and impacted files ```diff @@ Coverage Diff @@ ## evolog-new #338 +/- ## ============================================= Coverage ? 38.06% Complexity ? 1252 ============================================= Files ? 198 Lines ? 8392 Branches ? 1460 ============================================= Hits ? 3194 Misses ? 4849 Partials ? 349 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.