TiCS | Precilog, détection de bugs en continu