angr / angr/angr-management

Setting project to `None` does not work as expected

Ouverte
#561 4 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
bug pinned
Langage dominant
Python
Étoiles
1.2k
Forks
131
Merge moyen
1 j 11 h
PR mergées (30 j)
14

Description

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

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.