time_example.c

#include "sc_time.h"

#include <stdio.h>

int main(void)
{
	uint64_t t = sc_time_ms();
	sc_time_sleep(1000);
	printf("%lu \n", (unsigned long) (sc_time_ms() - t));

	return 0;
}