diff --git a/README.md b/README.md index 4b72a3b..e4ef613 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ Note that only certain SMT solvers are supported on these pre-built releases. On ``` - name: Run ESBMC -  uses: Goblin57/esbmc-action@vx +  uses: esbmc/esbmc-action@vx ``` (Replace 'x' with the desired version of this action). @@ -78,7 +78,7 @@ jobs:         steps:             - name: Run ESBMC Action               id: esbmc-action -              uses: Goblin57/esbmc-action@v1 +              uses: esbmc/esbmc-action@v1               with:                 esbmc-options: "--incremental-bmc --quiet --color --file-output out.txt --verbosity 4"                 create-artifact: y @@ -96,4 +96,4 @@ This action may create the FILE_DIFF, GOTO_FILENAME, NOSPACE_GOTO_FILENAME, OUTP The FILE_DIFF variable is created if the git diff is used. Each "FILENAME" variable is created if its corresponding output file-creating option is used in the "esbmc-options" input. -This action also uses the GITHUB_ENV and GITHUB_WORKSPACE environment variables. \ No newline at end of file +This action also uses the GITHUB_ENV and GITHUB_WORKSPACE environment variables.