spec_utils.h

Go to the documentation of this file.

#ifndef _CEPTR_TEST_UTILS_H
#define _CEPTR_TEST_UTILS_H

#include "../src/ceptr.h"

void wjson(SemTable *sem,T *t,char *n,int i);
void dump2json(SemTable *sem,T *t,char *n);
T *makeDelta(Symbol sym,int *path,T *t,int count);
void _visdump(SemTable *sem,T *x,int *path);
void visdump(SemTable *sem,T *x);
void _test_reduce_signals(Receptor *r);
char *doSys(char *cmd);

#define startVisdump(n) G_visdump_fn = n;G_visdump_count = 1;
#define endVisdump() G_visdump_count = 0;

char *G_visdump_fn;
int G_visdump_count;
bool G_done;

#define sYt(name,str) name = _d_define_symbol(G_sem,str,"" #name "",TEST_CONTEXT)
#define sX(name,str) Symbol name = _d_define_symbol(G_sem,str,"" #name "",TEST_CONTEXT)

Symbol A,B,C,D,E,F,Root;

#endif