0 Forks
1 Stars
1 Watchers

jml-basic-examples

JML exercises for the course "Software Engineering" at Politecnico di Milano

How to download and setup jml-basic-examples

Open terminal and run command
git clone https://github.com/sciamp-dev/jml-basic-examples.git
git clone is used to create a copy or clone of jml-basic-examples repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with jml-basic-examples https://github.com/sciamp-dev/jml-basic-examples/archive/master.zip

Or simply clone jml-basic-examples with SSH
[email protected]:sciamp-dev/jml-basic-examples.git

If you have some problems with jml-basic-examples

You may open issue on jml-basic-examples support forum (system) here: https://github.com/sciamp-dev/jml-basic-examples/issues