application.c File Reference

Main module of the model used to verify the runtime correctness. More...

#include <integration/model/application.h>
#include <test.h>
#include <inttypes.h>
#include <stdio.h>
#include <stdlib.h>

Include dependency graph for application.c:

Go to the source code of this file.

Macros
#define	do_random()   (lcg_random(state->rng_state))

Functions
void	ProcessEvent (lp_id_t me, simtime_t now, unsigned event_type, const void *event_content, unsigned event_size, void *st)
	The total number of threads running in the node.
bool	CanEnd (lp_id_t me, const void *snapshot)

Variables
struct ap_option	model_options [] = {{0}}

Detailed Description

Main module of the model used to verify the runtime correctness.

Copyright

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

Definition in file application.c.