Index of /logs/concurrency-witnesses/20240130-144500-concurrency-witnesses-3d25acf662-M
Name Last modified Size Description
Parent Directory -
concurrency-witness-validation.2024-01-30_14-14-51.logfiles-dump/ 2024-01-30 14:45 -
concurrency-witness-validation.2024-01-30_14-14-51.logfiles/ 2024-01-30 14:41 -
tabledef.xml 2024-01-30 14:44 1.1K
concurrency-witness-validation.2024-01-30_14-14-51.results.validate-goblint-witnesses.single.xml 2024-01-30 14:42 7.2K
tabledef.diff.csv 2024-01-30 14:44 63K
overview 2024-01-30 14:45 85K
tabledef.table.csv 2024-01-30 14:44 90K
concurrency-witness-validation.2024-01-30_14-14-51.results.validate-goblint-witnesses.txt 2024-01-30 14:42 171K
concurrency-witness-validation.2024-01-30_14-14-51.results.validate-goblint-witnesses.ConcurrencySafety-Main-incorrect.xml 2024-01-30 14:42 392K
concurrency-witness-validation.2024-01-30_14-14-51.results.validate-goblint-witnesses.ConcurrencySafety-Main-correct.xml 2024-01-30 14:42 406K
concurrency-witness-validation.2024-01-30_14-14-51.results.validate-goblint-witnesses.xml 2024-01-30 14:42 793K
concurrency-witness-validation.2024-01-27_15-04-33.results.verify.xml 2024-01-27 16:33 795K
tabledef.diff.html 2024-01-30 14:44 1.5M
tabledef.table.html 2024-01-30 14:44 1.6M