Stav dette: Seamless Testing for Models and Code.