blob: d181eabe7c4fb217dd2f0bfc952a86d376752b29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
#if SIZE_MAX == UINT64_MAX
#define H48_HMAX UINT8_C(11)
#else
#define H48_HMAX UINT8_C(7)
#endif
long long parse_h48h(const char *, uint8_t [NON_NULL]);
STATIC long long dataid_h48(const char *, char [SIZE(NISSY_SIZE_DATAID)]);
long long
parse_h48h(const char *buf, uint8_t h[NON_NULL])
{
char format_error_msg[100];
sprintf(format_error_msg, "[H48] Error parsing H48 solver: must be in "
"'h48hNN' format, but got '%s'\n", buf);
buf += 3;
if (*buf != 'h') {
LOG(format_error_msg);
goto parse_h48h_error;
}
buf++;
if (strlen(buf) > 2 ||
(strlen(buf) >= 1 && *buf < '1' && *buf > '9') ||
(strlen(buf) == 2 && *buf < '0' && *buf > '9')) {
LOG(format_error_msg);
goto parse_h48h_error;
}
*h = atoi(buf);
if (*h > H48_HMAX) {
LOG("[H48] Invalid value %" PRIu8 " for parameter h (must be "
"at most %" PRIu8 ")\n", *h, H48_HMAX);
goto parse_h48h_error;
}
for ( ; *buf >= 0 + '0' && *buf <= 9 + '0'; buf++) {
if (*buf == 0) {
LOG(format_error_msg);
goto parse_h48h_error;
}
}
return NISSY_OK;
parse_h48h_error:
*h = 0;
return NISSY_ERROR_INVALID_SOLVER;
}
STATIC long long
dataid_h48(const char *str, char buf[SIZE(NISSY_SIZE_DATAID)])
{
uint8_t h;
long long err;
err = parse_h48h(str, &h);
if (err < 0)
return err;
sprintf(buf, "h48h%" PRIu8, h);
return NISSY_OK;
}
|
