Open HerbertJordan opened 1 year ago
For checking of the consistence of Carmen database with go-opera leveldb database, I still need to open the database to obtain:
As long it is not possible to obtain it without opening the state for writing, issues like https://github.com/Fantom-foundation/Carmen/issues/679 can occur (the database was corrupted, because the process was terminated in the middle of unnecessary state flushing)
To support cases where data bases are protected by OS level permissions, verification tools should be able to work on files where there are only read permissions.
Tools to be included: