From 934b8df912f1faa2588e886fd38c2a87c507220c Mon Sep 17 00:00:00 2001 From: Simon Schwitanski <schwitanski@itc.rwth-aachen.de> Date: Tue, 6 Aug 2024 10:52:47 +0200 Subject: [PATCH] Fix hyperlink --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index ac24a777..8ca4e96c 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ # MPI-BugBench -MPI-BugBench [[MBB24](#References)] is an benchmark suite to evaluate the classification quality of MPI correctness tools. It covers various error classes in MPI while incorporating a broad range of real-world MPI usage scenarios. +MPI-BugBench [[MBB24](#references)] is an benchmark suite to evaluate the classification quality of MPI correctness tools. It covers various error classes in MPI while incorporating a broad range of real-world MPI usage scenarios. ## Preparation @@ -13,7 +13,7 @@ docker run -v `pwd`:/MBB -it mbb:latest bash ``` ## Generating the codes -MBB uses a generation infrastructure written in Python to generate all test codes and supports different test generation levels (for details, see our [paper](#References)). +MBB uses a generation infrastructure written in Python to generate all test codes and supports different test generation levels (for details, see our [paper](#references)). To generate the test cases for a given generation level (1-5) run the following commands: ``` python3 MBB.py -c generate --level 2 -- GitLab