X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fcheck-model.q;h=2ef5e7bfd293a3eabbe219c0e186600bdbb021ea;hb=95b074ff35a88a1cca2ab277aaa76ccf3fbfd43e;hp=74a0025752be7ef4c7360f6ad26918239ccf712d;hpb=a708c1fad686def9790bb06529e3371f4c67bd33;p=pspp-builds.git
diff --git a/src/language/tests/check-model.q b/src/language/tests/check-model.q
index 74a00257..2ef5e7bf 100644
--- a/src/language/tests/check-model.q
+++ b/src/language/tests/check-model.q
@@ -15,12 +15,13 @@
along with this program. If not, see . */
#include
+#include
#include
#include
-#include
+#include "model-checker.h"
#include
#include "error.h"
@@ -155,9 +156,9 @@ parse_options (struct lexer *lexer)
msg (SW, _("At least one value must be specified on PATH."));
}
}
- if (cmd.max_depth != NOT_LONG)
+ if (cmd.max_depth != LONG_MIN)
mc_options_set_max_depth (options, cmd.max_depth);
- if (cmd.hash_bits != NOT_LONG)
+ if (cmd.hash_bits != LONG_MIN)
{
int hash_bits;
mc_options_set_hash_bits (options, cmd.hash_bits);
@@ -165,7 +166,7 @@ parse_options (struct lexer *lexer)
if (hash_bits != cmd.hash_bits)
msg (SW, _("Hash bits adjusted to %d."), hash_bits);
}
- if (cmd.queue_limit != NOT_LONG)
+ if (cmd.queue_limit != LONG_MIN)
mc_options_set_queue_limit (options, cmd.queue_limit);
if (cmd.drop != -1)
{
@@ -178,15 +179,15 @@ parse_options (struct lexer *lexer)
}
if (cmd.sbc_search > 0)
mc_options_set_seed (options, cmd.n_seed[0]);
- if (cmd.max_unique_states != NOT_LONG)
+ if (cmd.max_unique_states != LONG_MIN)
mc_options_set_max_unique_states (options, cmd.max_unique_states);
- if (cmd.max_errors != NOT_LONG)
+ if (cmd.max_errors != LONG_MIN)
mc_options_set_max_errors (options, cmd.max_errors);
if (cmd.time_limit != SYSMIS)
mc_options_set_time_limit (options, cmd.time_limit);
- if (cmd.verbosity != NOT_LONG)
+ if (cmd.verbosity != LONG_MIN)
mc_options_set_verbosity (options, cmd.verbosity);
- if (cmd.err_verbosity != NOT_LONG)
+ if (cmd.err_verbosity != LONG_MIN)
mc_options_set_failure_verbosity (options, cmd.err_verbosity);
if (cmd.progress != -1)
{