Tests for the nightly build continuous formal analyzes.