Blame · src/test/resources/edu/kit/formal/interpreter/contraposition/test.kps · e450d430291ac6cec88842ea0f0aa58dcd7dddf8 · sarah.grebing / ProofScriptParser · GitLab

Find file Normal view History Permalink

test.kps 47 Bytes

Newer Older

Debugging Strcuture and Controller first interface ideas

Sarah Grebing committed Jun 21, 2017

script t(i:int, j:int){
    i:= 0;
    j:= 0;
}