Skip to content
This repository has been archived by the owner on Sep 27, 2023. It is now read-only.

Added docker support #12

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Added docker support #12

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
2576178
Adding a remote container of docker with certoraRun app
ozcodes Aug 4, 2022
6225cc1
Adding a remote container of docker with certoraRun app
ozcodes Aug 8, 2022
ba22be7
Update devcontainer.json
ozcodes Aug 16, 2022
135a721
solc version bump
mdgeorge4153 Aug 17, 2022
7a420cc
change docker repo to our official repo
ozcodes Aug 25, 2022
919f083
Revert back to Certora naming convention before merging
ozcodes Aug 25, 2022
81bb8ef
Removed last line
ozcodes Aug 25, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .devcontainer/devcontainer.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
"name": "certora-prover",
"image": "certora/certora-prover:ubuntu"
}
2 changes: 1 addition & 1 deletion 01.Lesson_GettingStarted/RunScriptExample/verifyIntegrityOfDeposit.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,4 +9,4 @@ certoraRun BankLesson1/Bank.sol:Bank --verify Bank:BankLesson1/IntegrityOfDeposi
# more on backslash before new line here: https://superuser.com/questions/794963/in-a-linux-shell-why-does-backslash-newline-not-introduce-whitespace#:~:text=The%20Backslash%2Dnewline%20is%20used,purposes%20of%20executing%20the%20script.

# The $1 is the first argument given to the script, so we can change the msg of a run without changing the actual script
# more on $1 here: https://bash.cyberciti.biz/guide/$1
# more on $1 here: https://bash.cyberciti.biz/guide/$1