Skip to content

Commit 3dc27c4

Browse files
committed
Update Exercise 3 to match files
1 parent 2ab1da1 commit 3dc27c4

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

program-analysis/echidna/exercises/Exercise-3.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ We will test the following contract _[token.sol](https://github.com/crytic/build
1919
```solidity
2020
pragma solidity ^0.8.0;
2121
22-
/// @notice The issues from exercises 1 and 2 are fixed.
22+
/// @notice The issues from exercise 1 and 2 are fixed.
2323
2424
contract Ownable {
2525
address public owner = msg.sender;
@@ -74,7 +74,7 @@ contract MintableToken is Token {
7474
int256 public totalMinted;
7575
int256 public totalMintable;
7676
77-
constructor(int256 totalMintable_) public {
77+
constructor(int256 totalMintable_) {
7878
totalMintable = totalMintable_;
7979
}
8080
@@ -111,7 +111,7 @@ contract TestToken is MintableToken {
111111
address echidna = msg.sender;
112112
113113
// TODO: update the constructor
114-
constructor(int256 totalMintable) public MintableToken(totalMintable) {}
114+
constructor(int256 totalMintable) MintableToken(totalMintable) {}
115115
116116
function echidna_test_balance() public view returns (bool) {
117117
// TODO: add the property

0 commit comments

Comments
 (0)