Commit 7994bbe1 authored by Charles Bouillaguet's avatar Charles Bouillaguet
Browse files

add big disclaimer about "correctness"

parent 9bcc4fb8
......@@ -22,6 +22,7 @@ Example:
./monica_vector --inner-hybridation 7 < examples/random_40_quad.in
```
WARNING: this program has a bug ; it may incorrectly report that there are no solutions.
# Moebius
......
......@@ -454,6 +454,8 @@ bool candidate_solution(const struct poly_t *p, int m, int n, u64 x) {
int main(int argc, char **argv)
{
printf("WARNING: this program has a bug ; it may incorrectly report that there are no solutions.\n");
/* parse command-line options */
int v = -1;
int max_excess = 4;
......
......@@ -484,6 +484,8 @@ bool candidate_solution(const struct poly_t *p, int m, int n, u64 x) {
int main(int argc, char **argv)
{
printf("WARNING: this program has a bug ; it may incorrectly report that there are no solutions.\n");
/* parse command-line options */
int v = -1;
int max_excess = 4; // good default value
......
......@@ -594,6 +594,8 @@ static void process_candidates(int v, u64 y, vector consistent, vector defect, c
int main(int argc, char **argv)
{
printf("WARNING: this program has a bug ; it may incorrectly report that there are no solutions.\n");
/* parse command-line options */
struct option longopts[3] = {
{"inner-hybridation", required_argument, NULL, 'v'},
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment