Rog3rSm1th
commented
1 year ago - Adds unit tests for the symbolic execution
- Creates a documentation for the formal verification using the symbolic execution and moves the documentation of the symbolic execution to a separate file.