core/tests/div.c


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);

	trival_t ba = tri_to(a);

	for (size_t i = 0; i < 1000000000; ++i)
		a = tri_div(a, one);

	assert(ba == tri_to(a));

	char r[32];
	size_t l = tri_fmt_default(r, 32, a);
	r[l] = '\0';
	printf("%s\n", r);
}