Skip to content
Snippets Groups Projects
  • Bart Wijgers's avatar
    55e161b6
    Update examples · 55e161b6
    Bart Wijgers authored
    Some examples had syntax errors; those have been fixed. Additionally,
    I added a simple example with a while loop. It does not contain a proper
    post-condition either, which might be interesting as well (as the
    program might be able to handle those properly too).
    55e161b6
    History
    Update examples
    Bart Wijgers authored
    Some examples had syntax errors; those have been fixed. Additionally,
    I added a simple example with a while loop. It does not contain a proper
    post-condition either, which might be interesting as well (as the
    program might be able to handle those properly too).