Add missing includes to tests

Thomas Kiley · Thomas Kiley · commit dc6237386508 · 2020-04-08T18:04:32.000+01:00
diff --git a/regression/goto-harness/do_not_nondet_globals_by_default/main.c b/regression/goto-harness/do_not_nondet_globals_by_default/main.c
@@ -1,3 +1,5 @@
+#include <assert.h>
+
 int a_global;
 
 void entry_function(void)
diff --git a/regression/goto-harness/havoc-global-int-01/main.c b/regression/goto-harness/havoc-global-int-01/main.c
@@ -1,3 +1,5 @@
+#include <assert.h>
+
 int x = 1;
 
 int main()
