blob: f5d4e63ac8830027b4c241d8c1ed16b3a5999392 [file] [log] [blame]
Lev Walkined3a4ae2017-07-07 10:09:51 -07001#include <stdio.h>
2#include <assert.h>
3
4#include <INTEGER.h>
5#include <INTEGER.c>
6#include <INTEGER_oer.c>
7
8void
9check_decode_ok(intmax_t control, uint8_t *buf, size_t size) {
10}
11
12int
13main() {
14 check_decode_ok(0, "", 1);
15}