Skip to content

lou1306/hoax-experiments

Repository files navigation

This replication package requires uv.

The instructions to generate all intermediate files are reported in Makefile.

Usage:

git submodule init
git submodule update
make experiments

Benchmark times will be reported in experiments.log.

About

Runtime monitoring experiments comparing Hoax and PyContract

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published