Commit d20de117 authored 3 months ago by Florstedt, Julius

Merge branch '32-confidential-issue' into 'main'

Resolve "Automatic Property Testing"

Closes #32

See merge request !36

No related branches found

No related tags found

Checking pipeline status