Closed kenarab closed 3 months ago
Compiling factorial (factorial.con) Finished release in 30.30991ms Running 5000000 iterations Using input value: 20 Concrete Result = 2432902008176640000 Time taken : 59.31 ms Rust Result = 2432902008176640000 Time taken : 60.03 ms
Compiling fib (fib.con) Finished release in 26.110517ms Running 5000 iterations Using input value: 20 Concrete Result = 6765 Time taken : 136.11 ms Rust Result = 6765 Time taken : 85.35 ms
Attention: Patch coverage is 45.71429%
with 19 lines
in your changes missing coverage. Please review.
Project coverage is 60.13%. Comparing base (
9575fbe
) to head (5bc16e4
).
Files | Patch % | Lines |
---|---|---|
crates/concrete_driver/src/lib.rs | 0.00% | 15 Missing :warning: |
crates/concrete_check/src/linearity_check.rs | 78.94% | 4 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
I reopen the PR with an appealing/meaning branch, rather than a generic theme like in this PR
It can be checked in codecov we are now covering linearity_check.rs source file.
Linearity check algorithm can be aknowledged as completed when fn check_var_in_expr coverage of match statement is fully covered. It is expected to cover not with examples .con file, but manually building the conditions for coverage, as the current status of the parser is possible not to satisfy all conditions from a parsed source code.