int main()
{
signed char x = __VERIFIER_nondet_char();
signed char y = __VERIFIER_nondet_char();
signed char g;
if (y > 0 && x % y == 0) {
g = gcd_test(x, y);
__VERIFIER_assert(g == y);
}
return 0;
}
void main()
{
/*test special local cahr* */
char *local_string = "JCC pass all the tests!\n\n";
/*test function call without return value*/
nested_if_for_test();
printf("%s",string_nested_if_for);
factorial_test();
printf("%s",string_fact);
iterative_fibobacci();
printf("%s",string_fib);
gcd_test();
printf("%s",string_gcd);
printf("%s",local_string);
}
int main()
{
long x;
long y;
long g;
x = 63;
y = 18;
g = gcd_test(x, y);
__VERIFIER_assert(x % g == 0);
__VERIFIER_assert(y % g == 0);
__VERIFIER_assert(g == 9);
return 0;
}
int main(void) {
gcd_test();
fraction a = {3, 8};
fraction b = {4, 11};
printf("\nTwo fractions, a: 3/8 and b: 4/11\n");
fraction added = fr_add(a, b);
printf("Result of addition: %d/%d\n", added.nominator, added.denominator);
fraction substracted = fr_sub(a, b);
printf("Result of substraction: %d/%d\n", substracted.nominator, substracted.denominator);
fraction multiplied = fr_mul(a, b);
printf("Result of multiplication: %d/%d\n", multiplied.nominator, multiplied.denominator);
fraction divided = fr_div(a, b);
printf("Result of division: %d/%d\n", divided.nominator, divided.denominator);
}
