Remove krun

examples/specs/imp-sum-spec.k

@@ -42,4 +42,4 @@ module IMP-SUM-SPEC
   requires N >=Int 0
    andBool M >=Int 0
 
-endmodule
+endmodule

kimp/src/kimp/kimp.py

@@ -23,7 +23,7 @@
 from pyk.kore.rpc import KoreClient, kore_server
 from pyk.ktool.claim_loader import ClaimLoader
 from pyk.ktool.kprove import KProve
-from pyk.ktool.krun import KRun, KRunOutput, _krun
+from pyk.ktool.krun import KRunOutput, _krun
 from pyk.proof.reachability import APRProof, APRProver
 from pyk.proof.show import APRProofShow
 from pyk.proof.tui import APRProofViewer
@@ -122,11 +122,6 @@ def format(self) -> Formatter:
     def kprove(self) -> KProve:
         return KProve(definition_dir=self.haskell_dir, use_directory=self.proof_dir)
 
-    @cached_property
-    def krun(self) -> KRun:
-        krun = KRun(definition_dir=self.llvm_dir)
-        return krun
-
     def run_program(
         self,
         program_file: str | Path,