blob: 41c4037defd737519e01b6d29fdaa933867c3e15 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#include <tri.h>
#include <string.h>
int main(int argc, char *argv[])
{
assert(argc == 2);
char *s = argv[1];
tri_t a = tri_parse_default(s, strlen(s));
tri_t one = tri_from(1);
int64_t ba = tri_to(a);
for (size_t i = 0; i < 1000000000; ++i)
a = tri_sub(a, one);
assert(ba - 1000000000 == tri_to(a));
char r[32];
size_t l = tri_fmt_default(r, 32, a);
r[l] = '\0';
printf("%s\n", r);
}
|