Skip to content

Commit

Permalink
Fix download link
Browse files Browse the repository at this point in the history
  • Loading branch information
jdmota committed Dec 7, 2022
1 parent b04832b commit 9132174
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ java -jar REPO/dist/checker/checker.jar -classpath REPO/dist/jatyc.jar -processo

1. Recall that you must have JDK 8 installed. We recommend the [OpenJDK distribution](https://adoptopenjdk.net/?variant=openjdk8&jvmVariant=hotspot).
1. Download and extract [checker-framework-3.28.0.zip](https://github.com/typetools/checker-framework/releases/tag/checker-framework-3.28.0).
1. Download [jatyc.jar](https://github.com/jdmota/java-typestate-checker/releases/tag/3.0).
1. Download [jatyc.jar](https://github.com/jdmota/java-typestate-checker/raw/master/dist/jatyc.jar).
1. Run the following command from the folder where the Java files you want to check are by replacing `DOWNLOADS` with the appropriate path containing the files downloaded in steps 2 and 3.

```sh
Expand Down

0 comments on commit 9132174

Please sign in to comment.