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
custom_assert.hpp
Provides smarter assert methods.
user_check_ok
bool user_check_ok
ucam-smt
cpp
include
main.custom_assert.hpp
Generated on Wed May 25 2016 10:26:01 for Cambridge SMT System by
1.8.11