Source code
Revision control
Copy as Markdown
Other Tools
function main() {
var v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14,
v15, v16, v17, v18, v19, v20, v21, v22, v23, v24, v25, v26, v27, v28,
v29, v30, v31, v32, v33, v34, v35, v36, v37, v38, v39, v40, v41, v42,
v43, v44, v45, v46, v47;
var v48 = 0, v49 = 0;
if (true) {
var v50 = v48 - 1;
var v51 = v49 + 1;
return v51;
}
}
assertEq(main(), 1);