Update ui tests to `ui_test` crate

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

GNU Lesser General Public License v2.1

1.15k stars 50 forks source link

Update ui tests to `ui_test` crate #996

Open xldenis opened 6 months ago

xldenis commented 6 months ago

Oil from the Rust team has made the ui_test crate, which is an extracted version of Rustc's compiletest crate, it makes it easy to set up and diff ui tests like the ones in should_succeed and even has GitHub action integration to report errors inline in PRs! I've set it up for Gillian-Rust, and I think we should do so as well here.

arnaudgolfouse commented 3 months ago

Do you have a public repo where you did this for Gillian-Rust ?

xldenis commented 3 months ago

Do you have a public repo where you did this for Gillian-Rust ?

Not yet, but soon (hopefully), though I can also extract the relevant code. What I can say is that is overall a much nicer experience though currently the diff view of ui_test2 is not great. The diffing algorithm used is poor.