Skip to content

begin a test suite

Ralf Jung requested to merge ci/ralf/test-suite into master

Test that https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/merge_requests/38 doesn't regress, and also add some tests for solve_proper because I remember being annoyed at some point that I had to go all the way to Iris to test even the most basic functionality.

Edited by Ralf Jung

Merge request reports