Add a test for KardinalAI#9

lovasoa · Mar 4, 2021 · 81b1197 · 81b1197
1 parent ae423fb
commit 81b1197
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -397,6 +397,17 @@ mod test {
         assert!(!m.to_raw().is_proven_optimal());
     }
 
+    #[test]
+    fn unbounded() {
+        // Formulate an unbounded problem and try to solve it
+        let mut m = Model::default();
+        let z = m.add_col();
+        m.set_obj_coeff(z, 1.);
+        m.set_col_lower(z, -1e100);
+        m.set_obj_sense(Sense::Minimize);
+        m.solve();
+    }
+
     #[test]
     fn with_sos() {
         let mut m = Model::default();