[Toss-devel-svn] SF.net SVN: toss:[1291] trunk/Toss

[<luk...@us...>]

Revision: 1291
          http://toss.svn.sourceforge.net/toss/?rev=1291&view=rev
Author:   lukaszkaiser
Date:     2011-01-30 03:13:54 +0000 (Sun, 30 Jan 2011)

Log Message:
-----------
Increase debug for heuristic a bit, add -vv switch.

Modified Paths:
--------------
    trunk/Toss/Play/Game.ml
    trunk/Toss/Server/Server.ml

Modified: trunk/Toss/Play/Game.ml
===================================================================
--- trunk/Toss/Play/Game.ml	2011-01-30 02:54:00 UTC (rev 1290)
+++ trunk/Toss/Play/Game.ml	2011-01-30 03:13:54 UTC (rev 1291)
@@ -265,7 +265,7 @@
   Array.mapi (fun i node -> Array.map
     (fun payoff ->
       (* {{{ log entry *)
-      if !debug_level > (* 5 *) 0 then (
+      if !debug_level > (* 5 *) 1 then (
         Printf.printf
           "default_heuristic: Computing for loc %d of payoff %s...\n%!"
           i (Formula.sprint_real payoff);
@@ -279,7 +279,7 @@
         Heuristic.of_payoff ?struc ?fluent_preconds advance_ratio
           frels payoff in
       (* {{{ log entry *)
-      if !debug_level > (* 6 *) 0 then (
+      if !debug_level > (* 6 *) 1 then (
         Printf.printf "default_heuristic: %s\n%!"
           (Formula.sprint_real res)
       );

Modified: trunk/Toss/Server/Server.ml
===================================================================
--- trunk/Toss/Server/Server.ml	2011-01-30 02:54:00 UTC (rev 1290)
+++ trunk/Toss/Server/Server.ml	2011-01-30 03:13:54 UTC (rev 1291)
@@ -499,6 +499,7 @@
   let (server, port) = (ref "localhost", ref 8110) in
   let opts = [
     ("-v", Arg.Unit (fun () -> set_debug_level 1), " make Toss server verbose");
+    ("-vv", Arg.Unit (fun () -> set_debug_level 2), " make Toss server very verbose");
     ("-d", Arg.Int (fun i -> set_debug_level i), " Toss server debug log level");
     ("-s", Arg.String (fun s -> (server := s)), " server (default: localhost)");
     ("-gdl", Arg.String (fun s ->


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.