pestt / PESTT

PESTT: PESTT EDUCATIONAL SOFTWARE TESTING TOOL
14 stars 11 forks source link

Renum node numbers. #2

Closed fcmartins closed 12 years ago

fcmartins commented 12 years ago

Node numbers are not being renumbered correctly. Use a graph visitor for renumbering them well.

Example:

public void nextedFors () {
    int soma = 0;
    for (int i = 0; i < 10; i++)   // Rui: podíamos simplificar estes nós...
        for (int j = 0; j < 10; j++)  
            soma = i + j;
    System.out.println(soma);       
}

Node 5 should be 3, for instance.

ruigameiro commented 12 years ago

Visitor updated.