Skip to content

Commit

Permalink
tests: add args and negative stride check to post_condition test
Browse files Browse the repository at this point in the history
  • Loading branch information
kkysen committed Dec 16, 2024
1 parent ed29a6a commit d1ce1e0
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
1 change: 1 addition & 0 deletions tests/post_condition/Output/dav1d.out
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
dav1d_get_picture post condition ran
negative stride
5 changes: 4 additions & 1 deletion tests/post_condition/dav1d.c
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,9 @@ int dav1d_get_picture(Dav1dContext *const c, Dav1dPicture *const out) {
return 0;
}

void dav1d_get_picture_post_condition() {
void dav1d_get_picture_post_condition(Dav1dContext *const c, Dav1dPicture *const out) {
cr_log_info("dav1d_get_picture post condition ran");
if (out->stride[0] < 0) {
cr_log_info("negative stride");
}
}

0 comments on commit d1ce1e0

Please sign in to comment.