Skip to content

Commit d09904e

Browse files
committed
first pass cpplint fixes in unit
1 parent ae0ab67 commit d09904e

File tree

3 files changed

+5
-5
lines changed

3 files changed

+5
-5
lines changed

unit/float_utils.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@ int main()
6363
f3=f1;
6464

6565
int op=(binopt)i%3;
66-
//op=PLUS;
66+
// op=PLUS;
6767
#else
6868
f1=-0.25;
6969
f2=-2.5;

unit/ieee_float.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ std::string float2binary(float f)
3434
} c;
3535

3636
c.f = f;
37-
return integer2binary(c.i,32);
37+
return integer2binary(c.i, 32);
3838
}
3939

4040
float random_float()
@@ -160,11 +160,11 @@ void check_comparison(int i)
160160
switch(op)
161161
{
162162
case EQ:
163-
ires = ieee_equal(i1,i2);
163+
ires = ieee_equal(i1, i2);
164164
fres = (f1 == f2);
165165
break;
166166
case NEQ:
167-
ires = ieee_not_equal(i1,i2);
167+
ires = ieee_not_equal(i1, i2);
168168
fres = (f1 != f2);
169169
break;
170170
case LT:

unit/wp.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ int main(int argc, const char **argv)
4646

4747
const goto_programt &p=f_it->second.body;
4848

49-
//p.output(namespacet(symbol_table), "f", std::cout);
49+
// p.output(namespacet(symbol_table), "f", std::cout);
5050

5151
forall_goto_program_instructions(it, p)
5252
{

0 commit comments

Comments
 (0)