addressarrayutils_demo Demonstration of echidna testing for a library To use the crytic_assert.sol variant, you'll need to add "checkAsserts: true" to the yaml file. To restore the original hasDuplicate bug, remove the code here.