Generation of test output
Manual instrumentation of specification or generated sources to
generate log or debug output.
Example (instrumented specification):
RULE: tabentry ::= name
COMPUTE tabentry.entered = enter(name.id);
printf("entered %s\n",
StringTable(name.id)) <- tabentry.entered;
To change the generated processor at the source level:
xyz.specs : source > xyz.src
generates the language processor's sources in directory xyz.src.
These sources can be modified and compiled outside of Eli:
cd xyz.src;
// some source instrumentation
make
./xyz.exe inp
Back to Typical Eli Errors
|
