source: icGREP/icgrep-devel/cudd-2.5.1/util/test-res.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: 1.1 KB
RevLine 
[4597]1#include <stdio.h>
2#include "util.h"
3
4
5main(argc, argv, environ)
6int argc;
7char **argv;
8char **environ;
9{
10    int i;
11    char **ep, *prog;
12
13    prog = util_path_search(argv[0]);
14    if (prog == NIL(char)) {
15        (void) fprintf(stderr, "Cannot find current executable\n");
16        exit(1);
17    }
18    util_restart(prog, "a.out", 0);
19
20    i = recur(10);
21    (void) fprintf(stderr, "terminated normally with i = %d\n", i);
22
23    (void) printf("argc is %d\n", argc);
24
25    for(i = 0, ep = argv; *ep != 0; i++, ep++) {
26        (void) printf("%08x (%08x-%08x)\targv[%d]:\t%s\n", 
27            ep, *ep, *ep + strlen(*ep), i, *ep);
28    }
29
30    i = 0;
31    for(i = 0, ep = environ; *ep != 0; ep++, i++) {
32        (void) printf("%08x (%08x-%08x)\tenviron[%d]:\t%s\n", 
33            ep, *ep, *ep + strlen(*ep), i, *ep);
34    }
35
36    (void) fprintf(stderr, "returning with status=4\n");
37    return 4;
38}
39
40
41recur(cnt)
42{
43    int i, j, sum;
44
45    if (cnt > 0) {
46        return recur(cnt-1);
47    } else {
48        sum = 0;
49        for(j = 0; j < 20; j++) {
50            for(i = 0; i < 100000; i++) {
51               sum += 1;
52            }
53            (void) printf("done loop %d\n", j);
54        }
55        return sum;
56    }
57}
Note: See TracBrowser for help on using the repository browser.