DEBSOURCES
Skip Quicknav
sources / rumur / 2026.03.11-1 / tests / basic-const.m
123456789101112131415
const N: 2; var x: boolean; startstate begin x := true; end; rule begin if N = 2 then x := !x; end; end;