Test

Goblin57 · Jul 9, 2024 · f948b2d · f948b2d
1 parent 7531093
commit f948b2d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/folder/file3.c b/folder/file3.c
@@ -1,5 +1,7 @@
 #include <math.h>
 
+// Hello World!
+
 int main() {
     unsigned int N = nondet_uint();
     double x = nondet_double();