Skip to content

Commit

Permalink
Update issue_451.c
Browse files Browse the repository at this point in the history
  • Loading branch information
ahmed-irfan authored Apr 3, 2024
1 parent 9b00c0b commit 1b1f404
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion tests/api/issue_451.c
Original file line number Diff line number Diff line change
Expand Up @@ -67,6 +67,11 @@ main(void)
if (status != STATUS_SAT) {
assert(false);
}


model_t *model = yices_get_model(ctx, 1);
if (!model) {
assert(false);
}

return 0;
}

0 comments on commit 1b1f404

Please sign in to comment.