Resolution-Testing
This merge adds a new directory for testing purposes. Also, some bugs related to the resolution procedure and recovery have been fixed.
This merge adds a new directory for testing purposes. Also, some bugs related to the resolution procedure and recovery have been fixed.