1 #include <rudiments/stdio.h> 2 #include <rudiments/process.h> 3 #include <rudiments/datetime.h> 4 #include <rudiments/error.h> 5 header(const char * title)6void header(const char *title) { 7 stdoutput.printf("\n===============================================================================\n"); 8 stdoutput.printf("\n%s:\n\n",title); 9 } 10 test(const char * printstring,bool result)11void test(const char *printstring, bool result) { 12 stdoutput.write("\t"); 13 stdoutput.write(printstring); 14 stdoutput.write((result)?": success":": failed"); 15 stdoutput.write("\n"); 16 if (!result) { 17 stdoutput.printf("%d: %s\n", 18 error::getErrorNumber(), 19 error::getErrorString()); 20 process::exit(1); 21 } 22 } 23 displayTime(datetime * start,datetime * end)24void displayTime(datetime *start, datetime *end) { 25 uint32_t sec=end->getEpoch()-start->getEpoch(); 26 int32_t usec=end->getMicroseconds()-start->getMicroseconds(); 27 if (usec<0) { 28 sec--; 29 usec=usec+100000; 30 } 31 long double totalsec=(long double)sec+ 32 (((long double)usec)/1000000.0); 33 stdoutput.printf("time: %Lf\n",totalsec); 34 } 35