update currently only updates the existing variables in a DVF. This is impractical for updating a DVF after the project has been changed.
The command should additionally gather all new storage slots that have been written to after the initblock. This way we don't re-add the already removed slots but still see everything that was added after the DVF has been generated.
update
currently only updates the existing variables in a DVF. This is impractical for updating a DVF after the project has been changed.The command should additionally gather all new storage slots that have been written to after the initblock. This way we don't re-add the already removed slots but still see everything that was added after the DVF has been generated.