Add Assertions
We should add assertions, to allow model checking of pseuCo programs (e.g. through the bridge to Promela).
-
decide on exact syntax and semantics -
add to AST -
extend parser - add basic support to semantics
Edited by Sebastian Biewer