Skip to content
Success

Changes

Summary

  1. Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message. (details)
Commit 82a5ea23df09d8e6900e45f3b0d081bad576c253 by ajbeach
Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message.
The file was addedtests/.expect/var-assert.txt
The file was modifiedsrc/main.cpp
The file was addedtests/var-assert.cfa
The file was modifiedsrc/GenPoly/Box.cpp
The file was addedsrc/Validate/CheckAssertions.hpp
The file was addedsrc/Validate/CheckAssertions.cpp
The file was modifiedsrc/Validate/module.mk