1 #include "scip/scip.h"
2 
3 /* the method TESTsetSCIPStage(scip, stage) can be called in SCIP_STAGE_PROBLEM and can get to
4  *  SCIP_STAGE_TRANSFORMED
5  *  SCIP_STAGE_PRESOLVING
6  *  SCIP_STAGE_PRESOLVED
7  *  SCIP_STAGE_SOLVING
8  *  SCIP_STAGE_SOLVED
9  *
10  *  If stage == SCIP_STAGE_SOLVING and enableNLP is true, then SCIP will build its NLP
11  */
12 SCIP_RETCODE TESTscipSetStage(SCIP* scip, SCIP_STAGE stage, SCIP_Bool enableNLP);
13 
14 /* Include the .c file here because the plugins implemented in scip_test.c should
15  * be available every test.
16  * */
17 #include "scip_test.c"
18 #include "locale.h"
19 
20 #ifdef __GNUC__
21 #pragma GCC diagnostic ignored "-Wredundant-decls"
22 #pragma GCC diagnostic ignored "-Wstrict-prototypes"
23 #pragma GCC diagnostic ignored "-Wdeclaration-after-statement"
24 #endif
25 
26 #include <criterion/criterion.h>
27 #include <criterion/redirect.h>
28 #include <criterion/parameterized.h>
29 #include <criterion/theories.h>
30 
31 #ifdef __GNUC__
32 #pragma GCC diagnostic warning "-Wredundant-decls"
33 #pragma GCC diagnostic warning "-Wstrict-prototypes"
34 #endif
35 
36 #undef SCIP_CALL
37 #define SCIP_CALL(x)   do                                                                                     \
38                        {                                                                                      \
39                           SCIP_RETCODE _restat_;                                                              \
40                           if( (_restat_ = (x)) != SCIP_OKAY )                                                 \
41                           {                                                                                   \
42                              cr_assert(FALSE, "Error <%d> in function call\n", _restat_);                     \
43                           }                                                                                   \
44                        }                                                                                      \
45                        while( FALSE )
46 
47 
main(int argc,char * argv[])48 CR_API int main(int argc, char *argv[]) {
49     struct criterion_test_set *tests = criterion_initialize();
50 
51     int result = 0;
52     if (criterion_handle_args(argc, argv, true))
53     {
54        setlocale(LC_ALL, "C");
55        result = !criterion_run_all_tests(tests);
56     }
57 
58     criterion_finalize(tests);
59     return result;
60 }
61