This PR needed for CSE made it so we can't use expectRevert on internal functions anymore, and mulWad in Solady is internal, as a library function. The workaround we went with for the workshop was to just pull out the function out of the library and make it public (like this). We should update the documentation section on lemmas that uses Solady accordingly.
This PR needed for CSE made it so we can't use
expectReverton internal functions anymore, andmulWadin Solady is internal, as a library function. The workaround we went with for the workshop was to just pull out the function out of the library and make it public (like this). We should update the documentation section on lemmas that uses Solady accordingly.