Skip to content

Add prove & verify to terminating tests.#10

Merged
morganthomas merged 1 commit intodevelopfrom thealmarty-test-scriptMar 19, 2024

Commits

Commits on Mar 19, 2024