Closed celinval closed 1 month ago
Create two new workflows:
kani verify-std
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Create two new workflows:
kani verify-std
to verify the standard library. Note that we don't have any harness yet to verify.By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.