Test Go/Cgo pointer compatibility under new Go 1.6 rules

wkschwartz / pigosat

Go (golang) bindings for Picosat, the satisfiability solver

Other

15 stars 4 forks source link

Test Go/Cgo pointer compatibility under new Go 1.6 rules #16

Closed wkschwartz closed 7 years ago

wkschwartz commented 8 years ago

Go 1.6 (to be released in February) has new rules about how Go and C can pass each other pointers. I suspect no changes will be needed in Pigosat, but I should at least make sure the tests do everything they need to ensure pointer safety when Pigosat is compiled under Go 1.6.

PS, for the other contributors/users of Pigosat: It will be a while before I can get to this (and the other pull requests). I started graduate school this fall, and that's left little time for hobbies.

wkschwartz commented 7 years ago

The new rules were for sending Go pointers to C. We don't do that so this isn't a problem.