Merge branch 'topic/leak_test' into 'master'

Fix memory leak in test.

See merge request eng/libadalang/adasat!19

Author: Roldak

testsuite/tests/huge_formula/test.adb

@@ -4,6 +4,7 @@
 --  related to the number of variables to solve for.
 
 with Ada.Text_IO; use Ada.Text_IO;
+with Ada.Unchecked_Deallocation;
 
 with AdaSAT.Formulas;
 with AdaSAT.Helpers;
@@ -12,10 +13,15 @@ procedure Test is
    use AdaSAT;
    use AdaSAT.Formulas;
 
+   type Model_Access is access Model;
+
+   procedure Free is new Ada.Unchecked_Deallocation
+     (Model, Model_Access);
+
    Var_Count : constant := 1_000_000;
 
    F : Formula;
-   M : access Model := new Model'(1 .. Var_Count => Unset);
+   M : Model_Access := new Model'(1 .. Var_Count => Unset);
 begin
    F.Append (new Literal_Array'((+1, +Var_Count)));
    for I in Variable (2) .. Var_Count loop
@@ -26,4 +32,5 @@ begin
    else
       Put_Line ("Failed solving");
    end if;
+   Free (M);
 end Test;