our tests pass make test (random tests fail though for some reason)

tests/regression/79-assembly/07-asm-exp-split.c

@@ -6,7 +6,7 @@ int main(void) {
   __goblint_split_begin(x);
   x = r ? 1 : 0;
   asm("nop" : "=x" (x), "=x" (r));
-  __goblint_check(x == 0 || x == 1);
+  __goblint_check(x == 0 || x == 1); // UNKNOWN (without asm it would be known)
   __goblint_split_end(x);
-  __goblint_check(x == 0 || x == 1); // UNKNOWN (intentionally)
+  __goblint_check(x == 0 || x == 1); // UNKNOWN
 }

tests/regression/79-assembly/32-asm-mem-leak.c

@@ -12,8 +12,8 @@ void ok(void) {
 void not_ok(void) {
   char *x = malloc(64);
   asm ("nop" : "=x" (x));
-  free(x);
-  return; //WARN
+  free(x); //WARN
+  return;
 }
 
 int main(void) {