Skip to content

dvmcconnell/hyalus

Repository files navigation

Hyalus is a testing tool for software verification, designed as a standalone tool as well as a tool that integrates with pytest.

Getting Started

See Intro to hyalus.

Contributing

See Contribution Guidelines.

Code of Conduct

See Code of Conduct.

License

Copyright David McConnell and others, 2023.

Distributed under the terms of the MIT license, hyalus is free and open source software.