Skip to content

Commit

Permalink
dev: remove logging perf of coverage in main (#673)
Browse files Browse the repository at this point in the history
le logger de perf de coverage rend la nightly trop verbose
je recommande de supprimer les log info dans le coverage
  • Loading branch information
Eikix authored Feb 6, 2025
1 parent 6df6837 commit 6b3670b
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions python/cairo-addons/src/cairo_addons/testing/coverage.py
Original file line number Diff line number Diff line change
@@ -1,14 +1,9 @@
import logging
from pathlib import Path
from time import perf_counter
from typing import List

import polars as pl
from starkware.cairo.lang.compiler.program import Program

logging.basicConfig(format="%(levelname)-8s %(message)s")
logger = logging.getLogger("timer")


def coverage_from_trace(
program: Program, current_file: Path, report: List[pl.DataFrame]
Expand All @@ -18,8 +13,6 @@ def _coverage(trace: pl.DataFrame, program_base: int):
if program.debug_info is None:
raise ValueError("Program debug info is not available")

logger.info("Begin coverage")
start = perf_counter()
coverage = (
pl.DataFrame(
{
Expand Down Expand Up @@ -51,8 +44,6 @@ def _coverage(trace: pl.DataFrame, program_base: int):

report.append(coverage)

logger.info(f"Building coverage took {perf_counter() - start} seconds")

return coverage

return _coverage

0 comments on commit 6b3670b

Please sign in to comment.