MPSolve  3.2.1
check_implementation.h
Go to the documentation of this file.
1 #ifndef CHECK_IMPLEMENTATION_H
2 #define CHECK_IMPLEMENTATION_H
3 
14 #ifdef __cplusplus
15 extern "C"
16 {
17 #endif
18 
19 #include <check.h>
20 #include <mps/mps.h>
21 #include <gmp.h>
22 #include <stdlib.h>
23 
27 typedef struct {
28  char *pol_file;
29  char *res_file;
30  int out_digits;
31  mps_phase phase;
32  mps_boolean ga;
33  mps_boolean DOLOG;
34 } test_pol;
35 
36 void starting_setup (void);
37 
38 void append_slash (char *dest);
39 
40 const char * get_pol_name_from_path (const char * pol_path);
41 
42 char *get_pol_file (const char *pol_name, const char *type_name);
43 
44 char *get_res_file (const char *pol_name, const char *type_name);
45 
46 test_pol *test_pol_new (const char *name, const char *type_name,
47  int out_digits, mps_phase phase, mps_boolean ga);
48 
49 void starting_test_message (const char * pol_file);
50 
51 void failed_test_message (const char * pol_file);
52 
53 void success_test_message (const char * pol_file);
54 
55 void error_test_message (const char * pol_file, const char * message);
56 
57 void test_pol_free (test_pol * pol);
58 
59 
60 
61 #ifdef __cplusplus
62 }
63 #endif
64 
65 #endif
char * get_pol_file(const char *pol_name, const char *type_name)
Since this is a autotest unit, we can get the name of the pol_file concatenating the environment vari...
Definition: check_implementation.c:89
char * get_res_file(const char *pol_name, const char *type_name)
Since this is a autotest unit, we can get the name of the res_file concatenating the environment vari...
Definition: check_implementation.c:123
Header file for libmps.
Test polynomials to be passed to the function test_*_on_pol()
Definition: check_implementation.h:27