functions.c File Reference

Helper functions of the model used to verify the runtime correctness. More...

#include <integration/model/application.h>
#include <stdio.h>
#include <string.h>

Include dependency graph for functions.c:

Go to the source code of this file.

Functions
uint32_t	crc_update (const uint64_t *buf, size_t n, uint32_t crc)
buffer *	get_buffer (buffer *head, unsigned i)
uint32_t	read_buffer (buffer *head, unsigned i, uint32_t old_crc)
buffer *	allocate_buffer (lp_state *state, const unsigned *data, unsigned count)
buffer *	deallocate_buffer (buffer *head, unsigned i)
void	crc_table_init (void)

Variables
static uint32_t	crc_table [256]

Detailed Description

Helper functions of the model used to verify the runtime correctness.

Copyright

Copyright (C) 2008-2021 HPDCS Group https://hpdcs.github.io

Definition in file functions.c.