MPSolve 3.2.1
Loading...
Searching...
No Matches
check_implementation.h
Go to the documentation of this file.
1#ifndef CHECK_IMPLEMENTATION_H
2#define CHECK_IMPLEMENTATION_H
3
14#ifdef __cplusplus
15extern "C"
16{
17#endif
18
19#include <check.h>
20#include <mps/mps.h>
21#include <gmp.h>
22#include <stdlib.h>
23
27typedef 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
36void starting_setup (void);
37
38void append_slash (char *dest);
39
40const char * get_pol_name_from_path (const char * pol_path);
41
42char *get_pol_file (const char *pol_name, const char *type_name);
43
44char *get_res_file (const char *pol_name, const char *type_name);
45
46test_pol *test_pol_new (const char *name, const char *type_name,
47 int out_digits, mps_phase phase, mps_boolean ga);
48
49void starting_test_message (const char * pol_file);
50
51void failed_test_message (const char * pol_file);
52
53void success_test_message (const char * pol_file);
54
55void error_test_message (const char * pol_file, const char * message);
56
57void test_pol_free (test_pol * pol);
58
59
60
61#ifdef __cplusplus
62}
63#endif
64
65#endif
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
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
Header file for libmps.
Test polynomials to be passed to the function test_*_on_pol()
Definition: check_implementation.h:27