GitHub - Frayu1600/EchidnaValidation: Smart contract property verification using Echidna tool

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
images		images
.gitignore		.gitignore
Person.sol		Person.sol
Person_part2.sol		Person_part2.sol
Person_unfixed.sol		Person_unfixed.sol
Third_Project_24_25.pdf		Third_Project_24_25.pdf
UnitTest.sol		UnitTest.sol
bg_2.pdf		bg_2.pdf
empty.pdf		empty.pdf
parri_2140961.md		parri_2140961.md
parri_2140961.pdf		parri_2140961.pdf
solidity.xml		solidity.xml