Skip to content

Commit

Permalink
Update links in README
Browse files Browse the repository at this point in the history
  • Loading branch information
@michael-schwarz
michael-schwarz committed Mar 14, 2023
1 parent 09cc43b commit 09d8bf6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions setjmp/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,9 @@ that accompanies our manuscript.
# Basic Setup

On top of this repository, the Goblint Static Analyzer is needed.
The relevant branch is this one: https://github.com/goblint/analyzer/tree/longjmp
The relevant tag is this one: https://github.com/goblint/analyzer/tree/v2.1.0-longjmp

Please follow the installation guide given in https://github.com/goblint/analyzer/blob/longjmp/README.md
Please follow the installation guide given in https://github.com/goblint/analyzer/tree/v2.1.0-longjmp#readme

# Small Litmus Tests

Expand Down

0 comments on commit 09d8bf6

Please sign in to comment.