def krunCoverage(inputJson, *krunArgs):
for f in findCoverageFiles(WASM_definition_llvm_coverage_dir + '/' + WASM_definition_main_file + '-kompiled'):
os.remove(f)
ret = pyk.krunJSON(WASM_definition_llvm_coverage_dir, inputJson, krunArgs = list(krunArgs))
[ coverageFile ] = findCoverageFiles(WASM_definition_llvm_coverage_dir + '/' + WASM_definition_main_file + '-kompiled')
return coverageFile
def krun(inputJSON, *krunArgs):
return pyk.krunJSON(MCD_definition_llvm_dir,
inputJSON,
krunArgs=list(krunArgs))
def krun(inputJson, *krunArgs):
return pyk.krunJSON(WASM_definition_llvm_no_coverage_dir, inputJson, krunArgs = list(krunArgs))
def krunJson(inputJson, backend, *krunArgs):
return pyk.krunJSON('.build/defn/%s' % backend,
inputJson,
krunArgs=list(krunArgs))
def krunJson(inputJson, backend, *krunArgs):
return pyk.krunJSON('.build/defn/%s' % backend,
inputJson,
krunArgs=list(krunArgs),
kRelease='deps/k/k-distribution/target/release/k')
def run_module(parsed_module):
input_json = config_to_kast_term(parsed_module)
krun_args = [ '--term', '--debug']
(rc, new_wasm_config, err) = pyk.krunJSON(WASM_definition_llvm_no_coverage_dir, input_json, krunArgs = krun_args, teeOutput=True)
if rc != 0:
raise Exception("Received error while running: " + err )
def krun(inputJson, *krunArgs):
return pyk.krunJSON('.build/defn/kwasm/llvm', inputJson, krunArgs = list(krunArgs), kRelease = 'deps/wasm-semantics/deps/k/k-distribution/target/release/k')