You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Dulma Rodriguez 510fc4ed25 [clang] Sorting the fields in structs and classes. Was needed in the backend and forgotten. ... Summary: @public Sorting the fields in structs and classes. Was needed in the backend and forgotten. Fixes the github issue https://github.com/facebook/infer/issues/90. Test Plan: Added a new test that shows that we now get a spec for the example from the github issue.		10 years ago
..
AngelismTest.java	[Infer][angelic] Adding angelic abduction on actuals passed by reference	10 years ago
ArrayOutOfBoundsTest.java	initial synchronization	10 years ago
AssertTest.java	initial synchronization	10 years ago
AssertionFailureTest.java	initial synchronization	10 years ago
BUCK	initial synchronization	10 years ago
DivideByZeroTest.java	initial synchronization	10 years ago
InitListExprTest.java	initial synchronization	10 years ago
ListsTest.java	[clang] Sorting the fields in structs and classes. Was needed in the backend and forgotten.	10 years ago
LocalVarsTest.java	initial synchronization	10 years ago
MemoryLeakTest.java	initial synchronization	10 years ago
NullDereferenceTest.java	Fixed model for getc and fgetc	10 years ago
NullDereferenceTest2.java	Fixed models for FILE C functions.	10 years ago
ResourceLeakTest.java	initial synchronization	10 years ago