codecov-io
commented
3 years ago Codecov Report
Merging #255 (23bcb54) into master (c736d20) will increase coverage by
5.09%. The diff coverage is97.82%.
@@ Coverage Diff @@
## master #255 +/- ##
==========================================
+ Coverage 81.99% 87.09% +5.09%
==========================================
Files 13 14 +1
Lines 3332 4416 +1084
==========================================
+ Hits 2732 3846 +1114
+ Misses 600 570 -30 | Impacted Files | Coverage Δ | |
|---|---|---|
| src/proper_erlang_abstract_code.erl | 88.64% <ø> (ø) |
|
| src/proper_types.erl | 94.44% <ø> (-0.33%) |
:arrow_down: |
| src/proper_statem.erl | 94.67% <96.87%> (+30.32%) |
:arrow_up: |
| src/proper_fsm.erl | 95.83% <100.00%> (+47.09%) |
:arrow_up: |
| src/proper_gen_next.erl | 77.41% <100.00%> (+0.33%) |
:arrow_up: |
| src/proper_target.erl | 91.89% <100.00%> (+8.17%) |
:arrow_up: |
| src/proper_arith.erl | 91.66% <0.00%> (-1.05%) |
:arrow_down: |
| src/proper.erl | 87.04% <0.00%> (-0.40%) |
:arrow_down: |
| ... and 3 more |
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact),ø = not affected,? = missing dataPowered by Codecov. Last update c4648c0...23bcb54. Read the comment docs.
The Erlang/OTP team at Ericsson has used the abstract code generator to find mostly trivial bugs in the Compiler, the Erlang meta interpreter, the Erlang pretty printer, and more. It is provided as is in the hope that it can be useful and also improved upon.
Many option names are shamelessly borrowed from the eqc_erlang_program module of QuviQ's QuickCheck application.