When storing and loading paths, we should investigate whether setting func.analysis_skipped = False can introduce issues or inconsistencies during path restoration.
- Determine whether
func.analysis_skipped = False affects the correctness or stability of stored paths when they are later reloaded.
- Identify any scenarios where path loading fails or produces unexpected results due to analysis state changes.
- Evaluate the feasibility of creating a BNDB snapshot at the time paths are saved.
- If path loading can lead to problems, investigate whether restoring a previously saved BNDB snapshot would resolve them.
- Consider prompting the user to restore the snapshot when path loading detects an incompatible or problematic state.
When storing and loading paths, we should investigate whether setting
func.analysis_skipped = Falsecan introduce issues or inconsistencies during path restoration.func.analysis_skipped = Falseaffects the correctness or stability of stored paths when they are later reloaded.