Index of /trunk/source/Library-UltimateTest/src/de/uni_freiburg/informatik/ultimate/test/reporting

 Name                                                                             Last modified      Size  Description
 Parent Directory                                                                                      -   
 BaseTestLogfile.java                                                             2017-11-16 06:20  2.0K  
 BaseTestSummary.java                                                             2017-11-16 06:20  9.2K  
 ExtendedResult.java                                                              2016-06-14 10:46  840   
 IIncrementalLog.java                                                             2016-06-14 10:46  2.1K  
 INonIncrementalLog.java                                                          2017-11-16 06:20  1.9K  
 IPreTestLog.java                                                                 2017-11-16 06:20  1.9K  
 ITestLogfile.java                                                                2017-11-16 06:20  2.2K  
 ITestSummary.java                                                                2017-11-16 06:20  3.8K