diff options
Diffstat (limited to 'src/model/c/src/bignum_uint32_t.h')
| -rw-r--r-- | src/model/c/src/bignum_uint32_t.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/model/c/src/bignum_uint32_t.h b/src/model/c/src/bignum_uint32_t.h index e275fc4..bccd345 100644 --- a/src/model/c/src/bignum_uint32_t.h +++ b/src/model/c/src/bignum_uint32_t.h @@ -19,5 +19,6 @@ void zero_array(uint32_t length, uint32_t *a); void copy_array(uint32_t length, uint32_t *src, uint32_t *dst); void debugArray(char *msg, uint32_t length, uint32_t *array); void assertArrayEquals(uint32_t length, uint32_t *expected, uint32_t *actual); +void print_assert_array_stats(void); #endif /* BIGNUM_UINT32_T_H_ */ |