Coursework for COMP70017 Principles of Distributed Ledgers
Go to file
2023-02-21 16:00:42 +00:00
coverage Add coverage report 2023-02-21 16:00:42 +00:00
lib Initial commit 2023-02-13 01:14:44 +00:00
src Fix expiry boundry condition 2023-02-21 12:40:18 +00:00
test Add extra tests for PurchaseToken 2023-02-21 15:58:13 +00:00
.gitignore Initial commit 2023-02-13 01:14:44 +00:00
.gitmodules Initial commit 2023-02-13 01:14:44 +00:00
foundry.toml Initial commit 2023-02-13 01:14:44 +00:00
README.md Add info to readme 2023-02-21 15:56:45 +00:00
remappings.txt Add Foundry Remappings 2023-02-19 00:23:48 +00:00
spec.pdf Add Specification 2023-02-19 00:23:03 +00:00

Coursework skeleton

This is the skeleton for the coursework of the Principle of Distributed Ledgers 2023. It contains the interfaces of the contracts to implement and an ERC20 implementation.

The repository uses Foundry.

Coverage generated using rm -rf coverage/* && forge coverage --report lcov && genhtml lcov.info -o coverage --branch-coverage --function-coverage --legend --title "TicketNFT Coverage" && rm lcov.info

TicketNFT coverage report is located here. Coverage for the TicketNFT contract is:

Statistic Hit Total %
Lines 71 71 100.0
Functions 14 14 100.0
Branches 52 52 100.0

Primary Market Limit test uses a foundry cheat code to set the totalSupply storage cell to 999, followed by a successful and then a failing purchase.