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

Files @ a3c92705eeee

Branch filter:

Location: CSY/reowolf/examples/1_minimal/amy.c

a3c92705eeee 354 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) {
	Arc_ProtocolDescription * pd = protocol_description_parse("", 0);
	Connector * c = connector_new(pd);
	connector_print_debug(c);
	
	protocol_description_destroy(pd);
	connector_print_debug(c);
	connector_destroy(c);
	return 0;
}