Built from source, how do I run the tests?

[briangmilnes]

We've got some version skew and some problems defining (let!) so I built from source. But what is the right target to run the tests in the makefile and how do I check the results?

[tahina-pro]

With Z3 4.8.5 in your PATH, you can use make ci-uregressions. This is the rule we use in our continuous integration. With -j 24 on a Intel Xeon E5 v4 at 2.4 GHz with 128 GB RAM, this takes around 15 minutes. The return code 0 indicates success.