1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
int fr_abx(int a, int b, int x) { return ((a * x) + (b * x)) == ((a + b) * x); }
int fl_abx(int a, int b, int x) { return ((x * a) + (x * b)) == ((a + b) * x); }
int fm_abx(int a, int b, int x) { return ((a * x) + (x * b)) == ((a + b) * x); }
int fn_abx(int a, int b, int x) { return ((x * a) + (b * x)) == ((a + b) * x); }
int fr_bax(int b, int a, int x) { return ((a * x) + (b * x)) == ((b + a) * x); }
int fl_bax(int b, int a, int x) { return ((x * a) + (x * b)) == ((b + a) * x); }
int fm_bax(int b, int a, int x) { return ((a * x) + (x * b)) == ((b + a) * x); }
int fn_bax(int b, int a, int x) { return ((x * a) + (b * x)) == ((b + a) * x); }
int fr_axb(int a, int x, int b) { return ((a * x) + (b * x)) == ((a + b) * x); }
int fl_axb(int a, int x, int b) { return ((x * a) + (x * b)) == ((a + b) * x); }
int fm_axb(int a, int x, int b) { return ((a * x) + (x * b)) == ((a + b) * x); }
int fn_axb(int a, int x, int b) { return ((x * a) + (b * x)) == ((a + b) * x); }
int fr_bxa(int b, int x, int a) { return ((b * x) + (a * x)) == ((b + a) * x); }
int fl_bxa(int b, int x, int a) { return ((x * b) + (x * a)) == ((b + a) * x); }
int fm_bxa(int b, int x, int a) { return ((b * x) + (x * a)) == ((b + a) * x); }
int fn_bxa(int b, int x, int a) { return ((x * b) + (a * x)) == ((b + a) * x); }
/*
* check-name: fact-add-mul
* check-command: test-linearize -Wno-decl $file
* check-known-to-fail
*
* check-output-ignore
* check-output-returns: 1
*/
|
