[K-Bug] <pyk coverage runerror>

[nn020701]

What component is the issue in?

None

Which command

• kompile
• kast
• krun
• kprove
• kprovex
• ksearch

What K Version?

v7.1.151

Operating System

Linux

K Definitions (If Possible)

No response

Steps to Reproduce

kompile main.k --coverage --emit-json
krun adder.generic.mlir --definition main-kompiled
pyk coverage ../main-kompiled/ 833780_coverage.txt

Traceback (most recent call last):
  File "/home/zjh/proj/cym-circt-semantics/.venv/bin/pyk", line 8, in <module>
    sys.exit(main())
  File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/__main__.py", line 98, in main
    execute(options)
  File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/__main__.py", line 394, in exec_coverage
    definition = remove_source_map(read_kast_definition(kompiled_dir / 'compiled.json'))
  File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/kast/manip.py", line 567, in remove_source_map
    return on_attributes(definition, lambda att: att.drop_source())
  File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/kast/manip.py", line 503, in on_attributes
    return kast.let(modules=modules)  # type: ignore
TypeError: KDefinition.let() got an unexpected keyword argument 'modules'

Expected Results

coverage success