make sure pointers are freed

This commit is contained in:
Dmitriy Ryajov 2024-01-19 14:52:02 -06:00
parent 7b3d2870c7
commit a98630aa83
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 9 additions and 0 deletions

View File

@ -29,4 +29,13 @@ suite "Test circom compat nim":
check ctx.verify_circuit(proofBytes, publicBytes) == ERR_OK
ctx.addr.release_circom_compat()
check ctx == nil
proofBytes.addr.release_buffer()
check proofBytes == nil
publicBytes.addr.release_buffer()
check publicBytes == nil
check res == ERR_OK