remappings.txt

utils/=lib/utils/
murky/=lib/murky/src/
solady/=lib/solady/src/
solmate/=lib/solmate/src/
prb/test/=lib/prb-test/src/
forge-std/=lib/forge-std/src/
erc4626-tests/=lib/erc4626-tests/
properties/=lib/properties/contracts/
create-util/=lib/create-util/contracts/
halmos-cheatcodes/=lib/halmos-cheatcodes/src/
fresh-crypto-lib=lib/FreshCryptoLib/solidity/src/
openzeppelin/=lib/openzeppelin-contracts/contracts/
solidity-bytes-utils/=lib/solidity-bytes-utils/contracts/