Bonsoir,

je viens d'installer TPTP 4.5 sous Ganymède afin de faire des analyse de mon code.
Cependant, je n'arrive pas a faire des test coverage. Comment peut on faire avec TPTP ?


merci.