CSY/reowolf Files · examples/3_trivial_connect/amy.c · Centrum Wiskunde & Informatica (CWI)

Files @ a3c92705eeee

Branch filter:

Location: CSY/reowolf/examples/3_trivial_connect/amy.c

a3c92705eeee 469 B text/x-csrc Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

bugfix: native component branch forks that clash are MERGED rather than overwritten. Avoids race condition where (1) branch x ends and submits a solution, (2) branch y is created, has same predicate as x and overwrites it, but has a subset of its messages, (3) round ends in success but branch x is gone, so no suitable native branch is found

#include <stdio.h>
#include <string.h>
#include "../../reowolf.h"
#include "../utility.c"

int main(int argc, char** argv) {
	char * pdl_ptr = buffer_pdl("eg_protocols.pdl");
	size_t pdl_len = strlen(pdl_ptr);
	Arc_ProtocolDescription * pd = protocol_description_parse(pdl_ptr, pdl_len);
	Connector * c = connector_new(pd);
	connector_connect(c, 100);
	
	connector_print_debug(c);
	
	protocol_description_destroy(pd);
	connector_destroy(c);
	free(pdl_ptr);
	return 0;
}