FilesExpand file tree

main

/

L04_ERC20Scratch.t.sol

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

46 lines (39 loc) · 1.34 KB

main

/

L04_ERC20Scratch.t.sol

Copy path

Top

File metadata and controls

• Code
• Blame

46 lines (39 loc) · 1.34 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.24;

import {Test} from "forge-std/Test.sol";

import {ScratchToken} from "../src/L04_ERC20Scratch.sol";

contract L04Test is Test {

ScratchToken t;

address alice = makeAddr("alice");

address bob = makeAddr("bob");

function setUp() public {

t = new ScratchToken(1_000 ether);

}

function test_Transfer() public {

t.transfer(alice, 10 ether);

assertEq(t.balanceOf(alice), 10 ether);

}

function test_TransferFrom() public {

t.approve(alice, 5 ether);

vm.prank(alice);

t.transferFrom(address(this), bob, 5 ether);

assertEq(t.balanceOf(bob), 5 ether);

assertEq(t.allowance(address(this), alice), 0);

}

function test_InfiniteAllowanceNotDecremented() public {

t.approve(alice, type(uint256).max);

vm.prank(alice);

t.transferFrom(address(this), bob, 1);

assertEq(t.allowance(address(this), alice), type(uint256).max);

}

function test_RevertOverspend() public {

vm.prank(alice);

vm.expectRevert(bytes("balance"));

t.transfer(bob, 1);

}

function testFuzz_SupplyConserved(uint96 a) public {

vm.assume(a <= 1_000 ether);

t.transfer(alice, a);

assertEq(t.balanceOf(alice) + t.balanceOf(address(this)), t.totalSupply());

}

}