Open cathylu10 opened 4 years ago
Destroying an enclave twice causes an error when it should be safe. The code only checks if the enclave has ever been created.
Ouch, this was my fault
https://github.com/keystone-enclave/riscv-pk/blob/e91a86ba9fb26a586cecf6d8cda0e5e592830dee/sm/enclave.c#L16
This has been fixed locally but then I forgot to push :(
Destroying an enclave twice causes an error when it should be safe. The code only checks if the enclave has ever been created.