Svyatoslav Scherbina
18 lines
618 B
C
18 lines
618 B
C
extern void *resolve_symbol(const char*);
|
|
|
|
int
|
|
run_test() {
|
|
int (*square)(int) = resolve_symbol("kfun:square(Int)");
|
|
int (*sum_of_squares)(int, int) = resolve_symbol("kfun:sumOfSquares(Int;Int)");
|
|
int (*diff_of_squares)(int, int) = resolve_symbol("kfun:diffOfSquares(Int;Int)");
|
|
int (*mod)(int, int) = resolve_symbol("kfun:mod(Int;Int)");
|
|
int (*div)(int, int) = resolve_symbol("kfun:remainder(Int;Int)");
|
|
|
|
if (square(2) != 4) return 1;
|
|
if (sum_of_squares(2, 4) != 20) return 1;
|
|
if (diff_of_squares(2, 4) != -12) return 1;
|
|
if (mod(5, 2) != 2) return 1;
|
|
if (div(5, 2) != 1) return 1;
|
|
return 0;
|
|
}
|