Merge branch 'master' into abstraction-cheatcodes

runtimeverification · Dec 11, 2024 · b0061a7 · b0061a7
2 parents bcb3879 + cc9afb7
commit b0061a7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/src/kontrol/foundry.py b/src/kontrol/foundry.py
@@ -53,10 +53,8 @@
 from .state_record import RecreateState, StateDiffEntry, StateDumpEntry
 from .utils import (
     _read_digest_file,
-    append_to_file,
     empty_lemmas_file_contents,
     ensure_name_is_unique,
-    foundry_toml_extra_contents,
     kontrol_file_contents,
     kontrol_toml_file_contents,
     kontrol_up_to_date,
@@ -1656,7 +1654,6 @@ def init_project(project_root: Path, *, skip_forge: bool) -> None:
     write_to_file(root / 'lemmas.k', empty_lemmas_file_contents())
     write_to_file(root / 'KONTROL.md', kontrol_file_contents())
     write_to_file(root / 'kontrol.toml', kontrol_toml_file_contents())
-    append_to_file(root / 'foundry.toml', foundry_toml_extra_contents())
     run_process_2(
         ['forge', 'install', '--no-git', 'runtimeverification/kontrol-cheatcodes'],
         logger=_LOGGER,

diff --git a/src/kontrol/utils.py b/src/kontrol/utils.py
@@ -261,12 +261,6 @@ def kontrol_toml_file_contents() -> str:
 """
 
 
-def foundry_toml_extra_contents() -> str:
-    return """
-extra_output = ['storageLayout']
-"""
-
-
 def foundry_toml_cancun_schedule() -> str:
     return """
 evm_version = "cancun"