Merge branch 'fix_another_sessions' into 'master'
[why3.git] / bench / extraction / 852_int16 / main.c
blob297304ee245e0442be9a262bccab89da9aa234df
1 #include <stdint.h>
2 #include <stdio.h>
3 #include <stdlib.h>
5 extern uint16_t bcd_compute(uint16_t);
7 int main() {
8 uint16_t x = bcd_compute(1234u);
9 if (x != 4660u) {
10 printf("Test failed!\n");
11 exit(1);
13 return 0;