File: Foo.c

package info (click to toggle)

coq-quickchick 2.1.1-2

file content (8 lines) | stat: -rw-r--r-- 128 bytes

#include <stdio.h>

int main() {
  int x, y;
  scanf("%d%d", &x, &y);
  printf("%d\n", /*!*/ x + y /*! x * y */);
  return 0;
}