fixup! feat: catch memory out in solvers

chrjabs · Apr 18, 2024 · fdad9ad · fdad9ad
1 parent dac1131
commit fdad9ad
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/cadical/src/lib.rs b/cadical/src/lib.rs
@@ -93,6 +93,10 @@ unsafe impl Send for CaDiCaL<'_, '_> {}
 
 impl Default for CaDiCaL<'_, '_> {
     fn default() -> Self {
+        let handle = unsafe { ffi::ccadical_init() };
+        if handle.is_null() {
+            panic!("not enough memory to initialize CaDiCaL solver")
+        }
         let solver = Self {
             handle: unsafe { ffi::ccadical_init() },
             state: Default::default(),