Commits

Shlomi Fish committed dac9107

.

  • Participants
  • Parent commits 2027cdc

Comments (0)

Files changed (2)

black-hole-solitaire/all-in-a-row-c-solver/Tatzer

     p4b => [qw(-l fc_bench --arch=pentium4)],
     x64b => [qw(-l fc_bench --arch=barcelona)],
     p4bb => [qw(-l bench --arch=pentium4)],
-    x64bb => [qw(-l bench --arch=barcelona)],    
+    x64bb => [qw(-l bench --arch=barcelona)],
 );
 
 my @new_argv = @ARGV;
         {
             splice (@new_argv, $start_idx, $idx-$start_idx+1, @$cmd);
         }
-        
+
         $idx = $start_idx;
         redo CALC_NEW_ARGV;
     }
     },
     'r|release' => sub {
         my ($opt, $val) = @_;
-        if ($val) 
+        if ($val)
         {
             $build_type = "release";
-        } 
+        }
         elsif ($build_type eq "release")
         {
             $build_type = "debug";
     'static' => \$build_static_lib,
     'profile' => sub {
         my ($opt, $val) = @_;
-        if ($val) 
+        if ($val)
         {
             $build_type = "profile";
-        } 
+        }
         elsif ($build_type eq "profile")
         {
             $build_type = "debug";

black-hole-solitaire/all-in-a-row-verifier/TOTAL.bash

     deal_idx="$1"
     shift
 
+    echo "Solving deal $deal_idx"
+
     deal_fn="$deal_idx.all_in_a_row.board"
     sol_fn="$deal_idx.all_in_a_row.sol"
     make_pysol_freecell_board.py -t "$deal_idx" all_in_a_row > "$deal_fn"
     if all-in-a-row-solve "$deal_fn" > "$sol_fn" ; then
-        perl verify_all_in_a_row.pl "$deal_fn" "$sol_fn"
+        if ! perl verify_all_in_a_row.pl "$deal_fn" "$sol_fn" ; then
+            echo "Error in solution in deal No. $deal_idx"
+            exit -1
+        fi
     else
         echo "Unsolved";
     fi