diff --git a/.travis.yml b/.travis.yml index 0a17eca2d..9c2ec12af 100644 --- a/.travis.yml +++ b/.travis.yml @@ -124,10 +124,8 @@ script: - python3 ../misc.py -verify misc-test.cpp.dump - ${CPPCHECK} --dump cert-test.c - python3 ../cert.py -verify cert-test.c.dump -# these are broken right now. -# uncomment as soon as it gets fixed -# - ${CPPCHECK} --dump misra-test.c -# - python3 ../misra.py -verify misra-test.c.dump + - ${CPPCHECK} --dump misra-test.c + - python3 ../misra.py -verify misra-test.c.dump - ${CPPCHECK} --dump misra-test.cpp - python3 ../misra.py -verify misra-test.cpp.dump - cd ../../