[Javapathfinder-user] JPF and branchs detection

[<ed...@uo...>]

Hello, 
I started to work on a project about PathFinder 3 months ago and I still have no results. If someone can give me some help it will be very useful because the project must be finish in 3 weeks. 
 
I have the following function :  
---[Code]---  
private static void SampleCode(int a, int b, int c, int d) {  
if(a>b) {  
if (c>d)System.out.println("a>b and c>d");  
else System.out.println("a>b and c<=d");  
}  
else {  
if(c>d) System.out.println("a<=b and c>d");  
else System.out.println("a<=b and c<=d");  
}  
return;  
}  
---[EndCode]---  
 
The user choose 3 input groups : {a1,b1,c1,d1}, {a2,b2,c2,d2}, {a3,b3,c3,d3} 
 
My program must : 
* Execute the function with the group 1 et record the branchs taken (and display them) 
* Execute the function with the group 2 : 
- if the branch taken after the first IF Instruction is the same than for group 1, I need to record the position and go on with group 3 
- else, continue the execution, record the branchs taken (and display them), stop the program 
* Execute the function with the group 3 : 
- if the branch taken after the first IF Instruction is different than for group 1, record the branchs taken (and display them), stop the program 
- if it's the same than for group 1 :  
- if the branch taken after the second IF Instruction is the same than for group 1, reload the group 2 and continue the execution with group 2 
- else, continue the execution, record the branchs taken (and display them), stop the program 
 
 
 
I really need your help because I really don't know what to do. 
 
Thanks 
Eric