source: icGREP/icgrep-devel/cudd-2.5.1/util/prtime.c @ 5820

Last change on this file since 5820 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 389 bytes
Line 
1/* LINTLIBRARY */
2
3#include <stdio.h>
4#include "util.h"
5
6
7/*
8 *  util_print_time -- massage a long which represents a time interval in
9 *  milliseconds, into a string suitable for output
10 *
11 *  Hack for IBM/PC -- avoids using floating point
12 */
13
14char *
15util_print_time(unsigned long t)
16{
17    static char s[40];
18
19    (void) sprintf(s, "%lu.%02lu sec", t/1000, (t%1000)/10);
20    return s;
21}
Note: See TracBrowser for help on using the repository browser.