History log of /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/teststage1.py
Revision Date Author Comments
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# 1309b54d 28-Mar-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Fix multiline error test


# bf7d3298 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

stage1: Test we can parse a quoted include.

This commit cherry-picks e588c154274f04d841f2a1a6eb6f86872ca7580e from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 392944c0 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Second attempt at fixing some test spacing.

This commit cherry-picks ffd3e4db09528c537cf4fc96ea6d1cf2eb02c5e2 from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 62822ac8 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Fix indentation in a test case.

This commit cherry-picks 1067a78dc48129c2d789ff1ccda6f24e84c42292 from
ssh://github.inside.nicta.com.au/mfernandez/project.


# d2d0a0ef 07-Jun-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Test that lists are not accepted as dict keys.

This commit cherry-picks b4f7bdcd3ca17a29193ebf849968b0f1ec624b4e from
ssh://github.inside.nicta.com.au/mfernandez/project.


# 79c918a7 05-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Support alternate form of CPP line directives.

GCC supports two forms of line directive:

#line <linenum> <filename>

# <linenum> <filename>

Only the first of these is documented in [0], though it is actually the second
of these that the C pre processor outputs. CAmkES' understanding of these
directives was previously based on observed directives from CPP and it could not
understand the first of these. This commit adds support for the first form as
well, as it may be in use by some other non-CPP pre processing tool.

[0]: https://gcc.gnu.org/onlinedocs/cpp/Line-Control.html


# 0fbc27c1 05-Jan-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a test case for the issue just addressed.


# bacfebce 27-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Refactored parser init commit.