Skip to content
Snippets Groups Projects
Normal view Permalink
id 77 B
Newer Older
  • Learn to ignore specific revisions
    • Bart Wijgers's avatar
    Add basic WLP calculation
    Bart Wijgers committed
    1 2 3 4 5 6 
    id ( x : int | y : int ) {
    assume x > 0;
    y := x;
    assert y > 0
}