Cambridge SMT System
main.custom_assert.hpp
Go to the documentation of this file.
1 // Licensed under the Apache License, Version 2.0 (the "License");
2 // you may not use these files except in compliance with the License.
3 // You may obtain a copy of the License at
4 //
5 // http://www.apache.org/licenses/LICENSE-2.0
6 //
7 // Unless required by applicable law or agreed to in writing, software
8 // distributed under the License is distributed on an "AS IS" BASIS,
9 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
10 // See the License for the specific language governing permissions and
11 // limitations under the License.
12 
13 // Copyright 2012 - Gonzalo Iglesias, AdriĆ  de Gispert, William Byrne
14 
21 #ifndef CUSTOM_ASSERT_INIT
22 #define CUSTOM_ASSERT_INIT
23 
24 #include "custom_assert.hpp"
25 
26 #ifdef USER_CHECK_DEBUG
27 bool user_check_ok = true;
28 #endif
29 
30 #endif
Provides smarter assert methods.
bool user_check_ok