tests/core/test_i64_7z.in


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include <stdint.h>
#include <stdio.h>
uint64_t a, b;
int main(int argc, char *argv[]) {
  a = argc;
  b = argv[1][0];
  printf("%d,%d\n", a, b);
  if (a > a + b || a > a + b + 1) {
    printf("one %lld, %lld", a, b);
    return 0;
  }
  printf("zero %lld, %lld", a, b);
  return 0;
}