## ALR

Alire is Ada's `virtual environment manager` similar to Python's `virtualenv`. 
Download the `alr` binary from the [Alire website](https://alire.ada.dev/) and put in your path.

Initialize project with alr. Change the folder for the example.

```
alr init --in-place --no-skel --bin euclidian_division
```

Add the gnatprove

```
alr with gnatprove
```

Run the prover

```
alr gnatprove -P test.gpr  --level=0 --function-sandboxing=off --report=all
```

Output shows the static analyzer's results.