precond
precond copied to clipboard
denniskb
Explicit preconditions for function parameters
Results
1
precond issues
Sort by
recently updated
recently updated
newest added
Hi! Nice lib, love DBC concepts à la Eiffel. I know that I can simply ``` $ cp pre.h $SOME_CMAKE_INSTALL_PREFIX/include ``` or add ``` include_directories($PRECOND_ROOT_DIR) ``` in the target project...
enhancement