# CiaoPP examples for on-the-fly assertion checking (verifly)

This directory contains some examples to demonstrate on-the-fly
assertion checking in CiaoPP (verifly).

## Requirements

1. [Emacs](https://www.gnu.org/software/emacs/).

2. [`ciao`](https://github.com/ciao-lang/ciao),
   [`ciaopp`](https://github.com/ciao-lang/ciaopp), and 
   [`ciao_emacs`](https://github.com/ciao-lang/ciao_emacs) bundles.
   We recommend the installation of the development environment, e.g.:
```
$ ciao get devenv
```

## Usage

Setup the `flycheck` extension or open the examples with our
pre-configured emacs using the `ciao-emacs` command:
```
$ ciao-emacs verifly/<file.pl>
```
