Skip to content

Commit

Permalink
Fix duplicated path in VMCAI25 artifact description
Browse files Browse the repository at this point in the history
  • Loading branch information
@sim642
sim642 committed Dec 10, 2024
1 parent 73295e4 commit 2c90552
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/artifact-descriptions/vmcai25.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,7 @@ The evaluation results that form the basis for the experimental data in the pape
The witnesses generated by Goblint that formed the basis for this evaluation can be found in `~/witness-generation/paper-evaluation/`.
See below for detailed info to reproduce the tables and figures of the paper.

The file `~/witness-validation/paper-evaluation/~/witness-validation/paper-evaluation/` contains an HTML overview page generated by the BenchExec benchmarking tool, which displays individual results, quantile and scatter plots. Through the filtering sidebar (top right corner), detailed analyses can be made.
The file `~/witness-validation/paper-evaluation/` contains an HTML overview page generated by the BenchExec benchmarking tool, which displays individual results, quantile and scatter plots. Through the filtering sidebar (top right corner), detailed analyses can be made.

The table contains the following configurations :

Expand Down

0 comments on commit 2c90552

Please sign in to comment.