Mercurial > hg > GearsTemplate
view src/parallel_execution/time.c @ 161:db647f7ed2f6
Prove simple lemma in stack.agda
author | atton |
---|---|
date | Thu, 17 Nov 2016 18:23:56 +0000 |
parents | 63ab65b28466 |
children |
line wrap: on
line source
#include <stdio.h> #include <sys/time.h> #include "context.h" #include "origin_cs.h" __code start_time(struct Context* context, struct Time* time) { struct timeval tv; gettimeofday(&tv, NULL); time->time = tv.tv_sec + (double)tv.tv_usec*1e-6; goto meta(context, time->next); } __code start_time_stub(struct Context* context) { goto start_time(context, &context->data[D_Time]->Time); } __code end_time(struct Context* context, struct Time* time) { struct timeval tv; gettimeofday(&tv, NULL); printf("%0.6f\n", (tv.tv_sec+(double)tv.tv_usec*1e-6) - time->time); goto meta(context, time->next); } __code end_time_stub(struct Context* context) { goto end_time(context, Gearef(context, Time)); }