#

praspel

Here are 3 public repositories matching this topic...

hoaproject / Praspel

The Hoa\Praspel library.

testing php library constraint-solver hoa praspel contract-based-testing contract-coverage-criteria specification-language realistic-domains

Updated Jan 10, 2017
PHP

hoaproject / Realdom

The Hoa\Realdom library.

php library hoa praspel realistic-domains

Updated Jan 28, 2020
PHP

hoaproject / Contributions-Atoum-PraspelExtension

Include Praspel inside atoum.

php library atoum-extension hoa praspel

Updated Feb 24, 2017
PHP

Improve this page

Add a description, image, and links to the praspel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the praspel topic, visit your repo's landing page and select "manage topics."