angr / angr/angr-management

Setting project to `None` does not work as expected

Abierto
#561 4 comentarios 0 reacciones 0 asignados Ver en GitHub
bug pinned
Lenguaje dominante
Python
Estrellas
1.2k
Forks
131
Merge medio
1 d 11 h
PR fusionados (30 d)
14

Descripción

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

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.