Hi, following the dapp tutorial I have run into this error when implementing the section with symbolic execution. I haven't been able to find any other posts with a similar issue and do not know how to resolve it.
$ dapp test -v
Running 1 tests for src/Dapptutorial.t.sol:DapptutorialTest
hevm: unexpected return value: Just (VMFailure (Revert ""))
CallStack (from HasCallStack):
error, called at src/EVM/UnitTest.hs:700:18 in hevm-0.49.0-LKV6XlfnTklJ23RljYHQxH:EVM.UnitTest
Hi, following the dapp tutorial I have run into this error when implementing the section with symbolic execution. I haven't been able to find any other posts with a similar issue and do not know how to resolve it.