Uninitialized variables in Minisat Patch

biotomas / ipasir

The Standard Interface for Incremental Satisfiability Solving

Other

47 stars 14 forks source link

Uninitialized variables in Minisat Patch #2

Closed StephanGocht closed 7 years ago

StephanGocht commented 7 years ago

The ipasir patch for minisat does not initialize the variables learnCallbackBuffer and termCallbackState. This can lead to a segfault, if they are not set by the application.

biotomas commented 7 years ago

fixed