Free memory before calling Check_Result.
treece47d12a9ad9efd003d851d6c2a9305b15b644e3
-rw-r--r-- 93 .gitignore
-rw-r--r-- 105 .gitmodules
-rw-r--r-- 17987 COPYING
-rw-r--r-- 426 INSTALL
-rw-r--r-- 3745 Makefile
drwxr-xr-x - external-libs
-rw-r--r-- 3113 gnadelite.gpr
drwxr-xr-x - gpr
drwxr-xr-x - src
drwxr-xr-x - tests