Wander Lairson Costa <[email protected]> writes: > Fix incorrect boolean logic in automata DOT file format validation > that allowed malformed files to pass undetected. The previous > implementation used a logical AND operator where OR was required, > causing the validation to only reject files when both the first > token was not "digraph" AND the second token was not > "state_automaton". This meant a file starting with "digraph" but > having an incorrect second token would incorrectly pass validation. > > The corrected logic properly rejects DOT files where either the > first token is not "digraph" or the second token is not > "state_automaton", ensuring that only properly formatted automaton > definition files are accepted for processing. Without this fix, > invalid DOT files could cause downstream parsing failures or > generate incorrect C code for runtime verification monitors. > > Signed-off-by: Wander Lairson Costa <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
