Harmonize Pigosat's finalizer with Go convention

wkschwartz / pigosat

Go (golang) bindings for Picosat, the satisfiability solver

Other

15 stars 4 forks source link

Harmonize Pigosat's finalizer with Go convention #18

Closed wkschwartz closed 7 years ago

wkschwartz commented 8 years ago

*os.File use a finalizer to close the file. However, it also makes the Close method publicly available so you can close the file yourself. Additionally, it clears the finalizer Close is called.

[x] Make Pigosat.delete publicly available
[x] Acquire write lock in Pigosat.delete
[x] #17
[x] Clear finalizer after delete finishes