From 6682b43784b02689953f3ac51f6f113fd36121a9 Mon Sep 17 00:00:00 2001 From: ggrieco-tob Date: Tue, 11 Jul 2023 16:21:08 +0200 Subject: [PATCH] Use 0.8.0 for echidna exercises --- program-analysis/echidna/example/magic.sol | 2 +- program-analysis/echidna/exercises/Exercise-2.md | 2 +- program-analysis/echidna/exercises/Exercise-3.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/program-analysis/echidna/example/magic.sol b/program-analysis/echidna/example/magic.sol index dcb03762..df4f6f9e 100644 --- a/program-analysis/echidna/example/magic.sol +++ b/program-analysis/echidna/example/magic.sol @@ -1,5 +1,5 @@ // SPDX-License-Identifier: AGPL-3.0 -pragma solidity ^0.5.0; +pragma solidity ^0.8.0; contract C { bool value_found = false; diff --git a/program-analysis/echidna/exercises/Exercise-2.md b/program-analysis/echidna/exercises/Exercise-2.md index d948f7db..dcdec279 100644 --- a/program-analysis/echidna/exercises/Exercise-2.md +++ b/program-analysis/echidna/exercises/Exercise-2.md @@ -80,7 +80,7 @@ import "./token.sol"; /// @dev Run the template with /// ``` -/// solc-select use 0.5.0 +/// solc-select use 0.8.0 /// echidna program-analysis/echidna/exercises/exercise2/template.sol /// ``` contract TestToken is Token { diff --git a/program-analysis/echidna/exercises/Exercise-3.md b/program-analysis/echidna/exercises/Exercise-3.md index bd05364e..e289edd1 100644 --- a/program-analysis/echidna/exercises/Exercise-3.md +++ b/program-analysis/echidna/exercises/Exercise-3.md @@ -104,7 +104,7 @@ import "./mintable.sol"; /// @dev Run the template with /// ``` -/// solc-select use 0.5.0 +/// solc-select use 0.8.0 /// echidna program-analysis/echidna/exercises/exercise3/template.sol --contract TestToken /// ``` contract TestToken is MintableToken {