angr / angr/angr-management

Setting project to `None` does not work as expected

Open
#561 4 comments 0 reactions 0 assignees View on GitHub
bug pinned
Dominant language
Python
Stars
1.2k
Forks
131
Avg merge
1d 11h
Merged PRs (30d)
14

Description

* Create a project
* Reset instance containers
* Update workspace
* Views will contain old project data

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.