Python krunJSON Examples

Example #1

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

Example #2

def krun(inputJSON, *krunArgs):
    return pyk.krunJSON(MCD_definition_llvm_dir,
                        inputJSON,
                        krunArgs=list(krunArgs))

Example #3

def krun(inputJson, *krunArgs):
    return pyk.krunJSON(WASM_definition_llvm_no_coverage_dir, inputJson, krunArgs = list(krunArgs))

Example #4

File: buildConfig.py Project: runtimeverification/beacon-chain-spec

def krunJson(inputJson, backend, *krunArgs):
    return pyk.krunJSON('.build/defn/%s' % backend,
                        inputJson,
                        krunArgs=list(krunArgs))

Example #5

File: buildConfig.py Project: ttuegel/beacon-chain-spec

def krunJson(inputJson, backend, *krunArgs):
    return pyk.krunJSON('.build/defn/%s' % backend,
                        inputJson,
                        krunArgs=list(krunArgs),
                        kRelease='deps/k/k-distribution/target/release/k')

Example #6

File: test.py Project: w3f-community/wasm-semantics

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 )

Example #7

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')