Harshita Goswami
Harshita Goswami
kjkompile.sh Preprocessing semantics: [Error] Compiler: Could not find sorts: [SwitchLabel] Source(/home/harshita/java-semantics/src/./prep/../common/list-syntax.k) Location(36,38,36,95) Execution semantics: [Error] Critical: Could not find file: builtins/model-checker.k Lookup directories:[./exec, /home/harshita/new/k/lib/java/../../include/builtin] Source(/home/harshita/java-semantics/src/./exec/ltl-support.k) Location(1,1,1,34) still producing error
I want to look into this issue . @frextrite Please assign it on my name .
ok thanks
Please review the code . 1 PR has two commit , is it possible to merge 1 commit from that pull request ?
Is this issue open , can i contribute to it.