Tartaros: Test cases can now be executed through the test case form.