Libraries

The Provengo Tool comes with built-in libraries. Some of these libraries enable interactions with tested systems (e.g. working with a RESTful API). Other libraries help with modeling logic, such as limiting the amount of times a certain event can happen.

To load an internal library, summon it, like so:

// @provengo summon constraints (1)

Constraints.after(E).block(F).until(X); (2)

1	Loads the constraints library, using a `@provengo` pragma with the `summon` directive.
2	Using the constrains library.