Skip to content

spagh-eddie/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.

Releases

No releases published

Packages

No packages published

Languages

  • Python 99.3%
  • Makefile 0.7%