mirror of
https://github.com/supleed2/COMP70017-PoDL-CW.git
synced 2024-12-21 21:25:50 +00:00
coverage | ||
lib | ||
src | ||
test | ||
.gitignore | ||
.gitmodules | ||
foundry.toml | ||
README.md | ||
remappings.txt | ||
spec.pdf |
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.