History log of /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/jiraver456.c
Revision Date Author Comments
# 93adccc1 30-May-2016 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

license-tool: missing license headers + .licenseignore [VER-551]
# 2f9f49df 29-Sep-2015 Michael Norrish <michael.norrish@nicta.com.au>

Propagate guards from compound literals

This fixes JIRA VER-456