Index of /logs/concurrency-witnesses/20240605-161337-concurrency-witnesses-bcb38a6fa8-M

Icon  Name                                                                                                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                           -   
[DIR] concurrency-witness-validation.2024-06-04_14-04-59.logfiles/                                                                          2024-06-04 18:18    -   
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.txt                                                                        2024-06-04 18:27  340K  
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.validate-goblint-witnesses-mutexmeet.ConcurrencySafety-Main-correct.xml    2024-06-04 18:27  396K  
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.validate-goblint-witnesses-mutexmeet.ConcurrencySafety-Main-incorrect.xml  2024-06-04 18:27  383K  
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.validate-goblint-witnesses-mutexmeet.xml                                   2024-06-04 18:27  773K  
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-correct.xml   2024-06-04 15:59  393K  
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-incorrect.xml 2024-06-04 15:59  386K  
[TXT] concurrency-witness-validation.2024-06-04_14-04-59.results.validate-goblint-witnesses-protection.xml                                  2024-06-04 15:59  773K  
[   ] overview                                                                                                                              2024-06-05 16:13   13K  
[TXT] results.2024-06-05_16-13-18.diff.csv                                                                                                  2024-06-05 16:13   43K  
[TXT] results.2024-06-05_16-13-18.diff.html                                                                                                 2024-06-05 16:13  1.4M  
[TXT] results.2024-06-05_16-13-18.table.csv                                                                                                 2024-06-05 16:13  106K  
[TXT] results.2024-06-05_16-13-18.table.html                                                                                                2024-06-05 16:13  1.8M