search

appleseedlab / maki

A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
8 stars 3 forks source link

Fix `IsAnyArgument` property checks #57

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Fix the IsAnyArgument property checks so that they are set to true if the property they check is true for any argument, not just the last one. Also adds a test to verify this behavior.

Closes #56