12 lines
139 B
C
12 lines
139 B
C
|
#include "../hedley.h"
|
||
|
|
|
||
|
|
static int foo(int x) {
|
||
|
|
HEDLEY_ASSUME(x < 10 && x > 0);
|
||
|
|
|
||
|
|
return x % 10;
|
||
|
|
}
|
||
|
|
|
||
|
|
int main(void) {
|
||
|
|
return foo(5);
|
||
|
|
}
|