-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Virgile Prevosto authored[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
duplicate_field.res.oracle 349 B
[kernel] Parsing tests/syntax/duplicate_field.i (no preprocessing)
[kernel] tests/syntax/duplicate_field.i:3: User Error:
field x occurs multiple times in aggregate struct test. Previous occurrence is at line 2.
[kernel] User Error: stopping on file "tests/syntax/duplicate_field.i" that has errors.
[kernel] Frama-C aborted: invalid user input.