I'm currently working with Vignesh on adding features to the C to PLP compiler. The current Makefile runs some tests that compile a set of C programs and then uses script files for verification. I was wondering if there is documentation for these scripts. I recognized some aspects, such as asserts for variable values, but there is other instructions I don't recognize (they look like they may be command line instructions for PLPTool). As an example I copied the contents of one of the programs and the corresponding script below.
Test program: for.c
int result = 0;
int main(void) {
int i;
int a = 0;
for (i=0; i<10; i++) {
a++;
}
result = a;
return a;
}
Test script: for.script
silent
loadpreset 2
bp set _halt
s 1000000
assert 3 result 10
rbus result