# Examples

This directory contains small Quint specifications used by integration tests and documentation examples.

`counter.qnt` is intentionally minimal: it initializes a counter and increments it by one through a nondeterministic pick. The integration test runs it through the real Quint CLI when `quint` is installed.