Index of /logs/concurrency-witnesses/20240622-181311-concurrency-witnesses-eb4cb34f6c-M

Icon  Name                                                                                                                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                                                                                                 -   
[DIR] concurrency-witness-validation.2024-06-21_15-42-09.logfiles/                                                                                2024-06-21 22:16    -   
[DIR] concurrency-witness-validation.2024-06-21_15-42-09.logfiles-dump/                                                                           2024-06-22 18:13    -   
[TXT] results.2024-06-22_18-11-11.table.html                                                                                                      2024-06-22 18:11  2.0M  
[TXT] results.2024-06-22_18-11-11.table.csv                                                                                                       2024-06-22 18:11  142K  
[TXT] results.2024-06-22_18-11-11.diff.html                                                                                                       2024-06-22 18:11  1.5M  
[TXT] results.2024-06-22_18-11-11.diff.csv                                                                                                        2024-06-22 18:11   53K  
[   ] overview                                                                                                                                    2024-06-22 18:13   63K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-protection.xml                                        2024-06-21 18:12  775K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-incorrect.xml       2024-06-21 18:12  390K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-correct.xml         2024-06-21 18:12  391K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-mutexmeet-rel.xml                                     2024-06-21 20:01  761K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-mutexmeet-rel.ConcurrencySafety-Main-incorrect.xml    2024-06-21 20:01  383K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-mutexmeet-rel.ConcurrencySafety-Main-correct.xml      2024-06-21 20:01  384K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-mutexmeet-nonrel.xml                                  2024-06-21 22:24  776K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-mutexmeet-nonrel.ConcurrencySafety-Main-incorrect.xml 2024-06-21 22:24  390K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.validate-goblint-witnesses-mutexmeet-nonrel.ConcurrencySafety-Main-correct.xml   2024-06-21 22:24  392K  
[TXT] concurrency-witness-validation.2024-06-21_15-42-09.results.txt                                                                              2024-06-21 22:24  509K