update vcc and related hash

awslabs · Dec 17, 2024 · 98c558e · 98c558e
1 parent e1d7513
commit 98c558e
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/tests/vcc/Makefile b/tests/vcc/Makefile
@@ -23,8 +23,8 @@ NO_CHANGE_FILE=source/linux/epoll_event_loop.c
 	$(VCC) $(VCC_ARGS) lifecycle.c /f:s_stop_task /f:s_stop /f:s_wait_for_stop_completion /f:s_run
 	$(VCC) $(VCC_ARGS) main_loop.c /f:s_on_tasks_to_schedule /f:s_main_loop
 	$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_default
-	$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_default_with_options /f:s_destroy /p:"-DUSE_EFD=0"
-	$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_default_with_options /f:s_destroy /p:"-DUSE_EFD=1"
+	$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_with_epoll /f:s_destroy /p:"-DUSE_EFD=0"
+	$(VCC) $(VCC_ARGS) new_destroy.c /f:aws_event_loop_new_with_epoll /f:s_destroy /p:"-DUSE_EFD=1"
 	$(VCC) $(VCC_ARGS) client.c /f:test_new_destroy /f:test_subscribe_unsubscribe
 
 .phony: all

diff --git a/tests/vcc/new_destroy.c b/tests/vcc/new_destroy.c
@@ -78,15 +78,15 @@ struct aws_event_loop *aws_event_loop_new_default(struct aws_allocator *alloc, a
 
     /* VCC change: rewrite return to allow for unwrap */
 #if 0
-    return aws_event_loop_new_default_with_options(alloc, &options);
+    return aws_event_loop_new_with_epoll(alloc, &options);
 #else
-    struct aws_event_loop *r = aws_event_loop_new_default_with_options(alloc, &options, _(out c_mutex));
+    struct aws_event_loop *r = aws_event_loop_new_with_epoll(alloc, &options, _(out c_mutex));
     _(unwrap(&options))
     return r;
 #endif
 }
 
-struct aws_event_loop *aws_event_loop_new_default_with_options(
+struct aws_event_loop *aws_event_loop_new_with_epoll(
     struct aws_allocator *alloc,
     const struct aws_event_loop_options *options
     _(out \claim(c_mutex))

diff --git a/tests/vcc/preamble.h b/tests/vcc/preamble.h
@@ -812,7 +812,7 @@ struct aws_event_loop *aws_event_loop_new_default(
         \fresh(c_mutex) && \wrapped0(c_mutex) && \claims_object(c_mutex, &(epoll_loop_of(\result)->task_pre_queue_mutex))))
 ;
 
-struct aws_event_loop *aws_event_loop_new_default_with_options(
+struct aws_event_loop *aws_event_loop_new_with_epoll(
     struct aws_allocator *alloc,
     const struct aws_event_loop_options *options
     _(out \claim(c_mutex))