Update cramtest about __goblint_check not affecting memLeak

Author: karoliineh

tests/regression/76-memleak/32-no-mem-leak-goblint-check.c

@@ -1,8 +1,9 @@
 // PARAM: --set ana.activated[+] memLeak --set ana.malloc.unique_address_count 1
+#include <stdlib.h>
 #include <goblint.h>
 
 int main() {
     int *ptr = malloc(sizeof(int));
-    __goblint_check(ptr); // UNKNOWN
+    __goblint_check(ptr == 0); // FAIL
     free(ptr);
 }

tests/regression/76-memleak/32-no-mem-leak-goblint-check.t

@@ -1,5 +1,5 @@
   $ goblint --set ana.activated[+] memLeak --set ana.malloc.unique_address_count 1 32-no-mem-leak-goblint-check.c
-  [Warning][Assert] Assertion "(int )ptr" is unknown. (32-no-mem-leak-goblint-check.c:6:5-6:25)
+  [Error][Assert] Assertion "(unsigned long )ptr == (unsigned long )((int *)0)" will fail. (32-no-mem-leak-goblint-check.c:7:5-7:30)
   [Info][Deadcode] Logical lines of code (LLoC) summary:
     live: 5
     dead: 0