-
Notifications
You must be signed in to change notification settings - Fork 30
Closed
Labels
bugSomething isn't workingSomething isn't workingneed to checkCheck if the issue can be reproduced in last versionCheck if the issue can be reproduced in last version
Description
Change main compiler to GCC.
Run generated test for calc.c.
Problem with float typedefs in stubs
/home/utbot/UTBotCpp/integration-tests/c-example/tests/stubs/lib/pointers/function_pointers_stub.h:112:21: error: two or more data types in declaration specifiers
112 | typedef long double _Float64x;
| ^~~~~~~~~
/home/utbot/UTBotCpp/integration-tests/c-example/tests/stubs/lib/pointers/function_pointers_stub.h:112:1: warning: useless type name in empty declaration
112 | typedef long double _Float64x;
| ^~~~~~~
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workingneed to checkCheck if the issue can be reproduced in last versionCheck if the issue can be reproduced in last version
Type
Projects
Status
Done