diff --git a/tests/regression/79-assembly/07-asm-exp-split.c b/tests/regression/79-assembly/07-asm-exp-split.c
index 75ee44f693..c686ee337f 100644
--- a/tests/regression/79-assembly/07-asm-exp-split.c
+++ b/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
 }
diff --git a/tests/regression/79-assembly/100-invalidate-asm.c b/tests/regression/79-assembly/100-invalidate-asm.c
deleted file mode 100644
index 4e53a8163d..0000000000
--- a/tests/regression/79-assembly/100-invalidate-asm.c
+++ /dev/null
@@ -1,9 +0,0 @@
-//PARAM: --disable asm_is_nop
-#include <goblint.h>
-
-int main(void) {
-  int x = 0;
-  asm ("nop" : "=x" (x));
-  __goblint_check(x == 0); //WARN
-  return 0;
-}
diff --git a/tests/regression/79-assembly/32-asm-mem-leak.c b/tests/regression/79-assembly/32-asm-mem-leak.c
index 9572a7e842..0ffbeb3c57 100644
--- a/tests/regression/79-assembly/32-asm-mem-leak.c
+++ b/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) {