Index of /logs/concurrency-witnesses/20240628-093516-concurrency-witnesses-7724a2debd-M

 Name                                                                                                                                               Last modified      Size  Description
 Parent Directory                                                                                                                                                        -   
 concurrency-witness-validation.2024-06-27_16-16-16.logfiles-dump/                                                                                  2024-06-28 09:35    -   
 concurrency-witness-validation.2024-06-27_16-16-16.logfiles/                                                                                       2024-06-28 04:36    -   
 concurrency-witness-validation.2024-06-27_16-16-16.results.txt                                                                                     2024-06-28 04:46  1.2M  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-mutexmeet-nonrel.ConcurrencySafety-Main-correct.xml          2024-06-28 04:46  392K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-mutexmeet-nonrel.ConcurrencySafety-Main-incorrect.xml        2024-06-28 04:46  389K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-mutexmeet-nonrel.xml                                         2024-06-28 04:46  775K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-mutexmeet-rel.ConcurrencySafety-Main-correct.xml             2024-06-28 00:50  386K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-mutexmeet-rel.ConcurrencySafety-Main-incorrect.xml           2024-06-28 00:50  383K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-mutexmeet-rel.xml                                            2024-06-28 00:50  762K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-correct.xml                2024-06-27 21:49  391K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-protection.ConcurrencySafety-Main-incorrect.xml              2024-06-27 21:49  390K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.validate-goblint-witnesses-protection.xml                                               2024-06-27 21:49  775K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-mutexmeet-nonrel.ConcurrencySafety-Main-correct.xml   2024-06-28 02:21  397K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-mutexmeet-nonrel.ConcurrencySafety-Main-incorrect.xml 2024-06-28 02:21  392K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-mutexmeet-nonrel.xml                                  2024-06-28 02:21  783K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-mutexmeet-rel.ConcurrencySafety-Main-correct.xml      2024-06-27 23:00  386K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-mutexmeet-rel.ConcurrencySafety-Main-incorrect.xml    2024-06-27 23:00  384K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-mutexmeet-rel.xml                                     2024-06-27 23:00  763K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-protection.ConcurrencySafety-Main-correct.xml         2024-06-27 19:17  397K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-protection.ConcurrencySafety-Main-incorrect.xml       2024-06-27 19:17  392K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify+validate-goblint-witnesses-protection.xml                                        2024-06-27 19:17  783K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify.ConcurrencySafety-Main-correct.xml                                               2024-06-27 17:47  415K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify.ConcurrencySafety-Main-incorrect.xml                                             2024-06-27 17:47  385K  
 concurrency-witness-validation.2024-06-27_16-16-16.results.verify.xml                                                                              2024-06-27 17:47  794K  
 overview                                                                                                                                           2024-06-28 09:35   62K  
 results.2024-06-28_09-32-07.diff.csv                                                                                                               2024-06-28 09:32  273K  
 results.2024-06-28_09-32-07.diff.html                                                                                                              2024-06-28 09:32  2.9M  
 results.2024-06-28_09-32-07.table.csv                                                                                                              2024-06-28 09:32  294K  
 results.2024-06-28_09-32-07.table.html                                                                                                             2024-06-28 09:32  3.1M