#include "xtest.h"
#include "source.h"


void rand_int() {
    int a = xtest_rand_int();
    int b = xtest_rand_int();
    int res = a + b;
    xtest_assert_is(add(a, b), res);
}


#ifndef XTEST_ALL_EXAMPLES
XTEST_MAIN {
    xtest_run(rand_int);
}
#endif