From 080fc73c61ca11a539fd5239146a828e86b9e29a Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 14 Sep 2012 15:13:37 +0000
Subject: Fix a few minor issues in options processing, improving usability,
 consistency, error-reporting, and documentation.

---
 src/main/options | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/main/options')

diff --git a/src/main/options b/src/main/options
index 47e397d11..47d8da598 100644
--- a/src/main/options
+++ b/src/main/options
@@ -22,10 +22,11 @@ option - --show-trace-tags void :handler CVC4::main::showTraceTags :handler-incl
 # portfolio options
 option printWinner bool
  enable printing the winning thread (pcvc4 only)
-option - --threadN=string void
+option threads --threads=N unsigned :default 2 :predicate greater(0)
+ Total number of threads
+option - --threadN=string void :handler CVC4::main::threadN :handler-include "main/options_handlers.h"
  configures thread N (0..#threads-1)
-option threadArgv std::vector<std::string>
-#:includes <vector> <string>
+option threadArgv std::vector<std::string> :include <vector> <string>
  Thread configuration (a string to be passed to parseOptions)
 option thread_id int :default -1
  Thread ID, for internal use in case of multi-threaded run
-- 
cgit v1.2.3