1#ifndef CHECK_IMPLEMENTATION_H
2#define CHECK_IMPLEMENTATION_H
36void starting_setup (
void);
38void append_slash (
char *dest);
40const char * get_pol_name_from_path (
const char * pol_path);
42char *
get_pol_file (
const char *pol_name,
const char *type_name);
44char *
get_res_file (
const char *pol_name,
const char *type_name);
46test_pol *test_pol_new (
const char *name,
const char *type_name,
47 int out_digits, mps_phase phase, mps_boolean ga);
49void starting_test_message (
const char * pol_file);
51void failed_test_message (
const char * pol_file);
53void success_test_message (
const char * pol_file);
55void error_test_message (
const char * pol_file,
const char * message);
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
Test polynomials to be passed to the function test_*_on_pol()
Definition: check_implementation.h:27