This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial).
Feel free to submit your fixes and additions via pull requests.
Please report technical issues via the issue tracker.
In order to create an interacative code snippet (which can be verified directly in the web browser), inser the code in the following way:
```silver {.runnable }
method foobar()
{
assert false
}
```Use the following syntax in order to include an exercise to the tutorial:
//exercise//
* Sub-task A
* Sub-task B
* Sub-task C
///