as_rem.py

import shutil

from .common import Colors, color


def mutate_as_rem(ctx):
    with open(ctx.target_file) as f:
        lines = f.read().split("\n")

    total = compiled = caught = timeouts = 0
    name = "AS-RM"

    if ctx.should_print_sections():
        print(color("\n--- AS-REM (Assert Removal) ---", Colors.CYAN))

    for i, line in enumerate(lines):
        if "assert" not in line:
            continue

        total += 1
        mutated = lines.copy()
        mutated[i] = "let _ = 0;"

        with open(ctx.target_file, "w") as f:
            f.write("\n".join(mutated))

        output, timed_out = ctx.run_snforge(ctx.run_timeout_seconds)
        status, compiled, caught = ctx.process_result(output, compiled, caught, timed_out)
        if timed_out:
            timeouts += 1

        if ctx.should_print_mutants():
            print(ctx.render_mutant_line(name, i + 1, line.strip(), "let _ = 0;", status, timed_out))

        if "Uncaught" in status:
            ctx.uncaught_by_category["ASSERT / VALIDATION"] += 1

        shutil.copy(ctx.backup_file, ctx.target_file)

    ctx.print_summary(name, total, compiled, caught, timeouts)
    return total, compiled, caught, timeouts