Summary
- 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)
The file was added | tests/.expect/var-assert.txt |
The file was modified | src/main.cpp |
The file was added | tests/var-assert.cfa |
The file was modified | src/GenPoly/Box.cpp |
The file was added | src/Validate/CheckAssertions.hpp |
The file was added | src/Validate/CheckAssertions.cpp |
The file was modified | src/Validate/module.mk |