Fix linting issues

runtimeverification · Dec 1, 2023 · 89cf7ae · 89cf7ae
1 parent 63c0741
commit 89cf7ae
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/src/kontrol/__main__.py b/src/kontrol/__main__.py
@@ -153,7 +153,7 @@ def exec_build(
     _ignore_arg(kwargs, 'o2', '-O2')
     _ignore_arg(kwargs, 'o3', '-O3')
     if target is None:
-        target = KompileTarget.HASKELL_BOOSTER
+        target = KompileTarget.HASKELL
     foundry_kompile(
         foundry_root=foundry_root,
         includes=includes,

diff --git a/src/kontrol/cli.py b/src/kontrol/cli.py
@@ -60,8 +60,8 @@ def kompile_target_args(self) -> ArgumentParser:
         args.add_argument(
             '--target',
             type=KompileTarget,
-            choices=[KompileTarget.HASKELL_BOOSTER, KompileTarget.MAUDE],
-            help='[haskell-booster|maude]',
+            choices=[KompileTarget.HASKELL, KompileTarget.MAUDE],
+            help='[haskell|maude]',
         )
         return args
 

diff --git a/src/kontrol/kompile.py b/src/kontrol/kompile.py
@@ -6,7 +6,7 @@
 from pathlib import Path
 from typing import TYPE_CHECKING
 
-from kevm_pyk import kdist
+from kevm_pyk.config import kdist
 from kevm_pyk.kevm import KEVM
 from kevm_pyk.kompile import KompileTarget, kevm_kompile
 from pyk.kast.outer import KDefinition, KFlatModule, KImport, KRequire
@@ -36,7 +36,7 @@ def foundry_kompile(
     llvm_kompile: bool = True,
     debug: bool = False,
     verbose: bool = False,
-    target: KompileTarget = KompileTarget.HASKELL_BOOSTER,
+    target: KompileTarget = KompileTarget.HASKELL,
     no_forge_build: bool = False,
 ) -> None:
     syntax_module = 'FOUNDRY-CONTRACTS'

diff --git a/src/kontrol/solc_to_k.py b/src/kontrol/solc_to_k.py
@@ -8,7 +8,7 @@
 from subprocess import CalledProcessError
 from typing import TYPE_CHECKING
 
-from kevm_pyk import kdist
+from kevm_pyk.config import kdist
 from kevm_pyk.kevm import KEVM
 from pyk.kast.inner import KApply, KLabel, KRewrite, KSort, KVariable
 from pyk.kast.kast import KAtt