Index of /logs/concurrency-witnesses/20240617-183852-concurrency-witnesses-cde23df135-M

Icon  Name                                                                                                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                           -   
[DIR] concurrency-witness-validation.2024-06-14_11-17-35.logfiles-dump/                                                                     2024-06-17 18:39    -   
[DIR] concurrency-witness-validation.2024-06-14_11-17-35.logfiles/                                                                          2024-06-14 16:14    -   
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.txt                                                                        2024-06-14 16:23  340K  
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.validate-goblint-witnesses-mutexmeet.ConcurrencySafety-Main-correct.xml    2024-06-14 16:23  396K  
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.validate-goblint-witnesses-mutexmeet.ConcurrencySafety-Main-incorrect.xml  2024-06-14 16:23  383K  
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.validate-goblint-witnesses-mutexmeet.xml                                   2024-06-14 16:23  773K  
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-correct.xml   2024-06-14 13:50  392K  
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-incorrect.xml 2024-06-14 13:50  390K  
[TXT] concurrency-witness-validation.2024-06-14_11-17-35.results.validate-goblint-witnesses-protection.xml                                  2024-06-14 13:50  776K  
[   ] overview                                                                                                                              2024-06-17 18:39   16K  
[TXT] results.2024-06-17_18-38-42.diff.csv                                                                                                  2024-06-17 18:38   42K  
[TXT] results.2024-06-17_18-38-42.diff.html                                                                                                 2024-06-17 18:38  1.4M  
[TXT] results.2024-06-17_18-38-42.table.csv                                                                                                 2024-06-17 18:38  105K  
[TXT] results.2024-06-17_18-38-42.table.html                                                                                                2024-06-17 18:38  1.8M