History log of /seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/testmacros.py
Revision Date Author Comments
# 54eacd25 17-Jan-2020 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Remove call to gcc for calculating type sizes

This method supported calculating type sizes for types outside of the
Camkes built-in range but isn't used and uses incorrect compiler
arguments.


# d257e580 21-Jul-2019 Japheth Lim <Japheth.Lim@data61.csiro.au>

templates: clean up testmacros

The exclusion set for testmacros is no longer a limited hack, but now
a more general hack covering more use cases. We move this set to
macros.py to be more self-documenting, and update its entries.


# 2e94bcfb 19-Jul-2019 Alison Felizzi <Alison.Felizzi@data61.csiro.au>

templates: Ignore ROUND_DOWN macro in macro test

Added the ROUND_DOWN macro to the exceptions list in the macros
test. This avoids it from being flagged as an unused macro.


# 0a30ab40 12-Mar-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

templates: exclude new macro from unused_macros

maybe_set_property_from_configuration is used by other macros and is not
unused, but the test doesn't pick this up.


# 335f3bee 18-Dec-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

tests: add basic unit test for get_perm


# 2cb30383 01-Mar-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

tests: Print out unused macros if test fails


# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# 73b73637 31-May-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Temporary workaround for template macros that will be used by the label mapping.


# 72b8df05 31-May-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a test for unused macros.

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


# 66bba253 31-May-2016 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Add a test that macros.sizeof works correctly.

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