verify_sym.c

#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include "tinytsumego2/dual_solver.h"

void verify_goban(stones_t visual_area) {
  state root = {0};
  root.visual_area = visual_area;
  root.logical_area = visual_area;
  print_state(&root);

  printf("Symmetric iteration\n");
  dual_graph sg = create_dual_graph(&root, SYMMETRIC_KEYSPACE);
  while(iterate_dual_graph(&sg, true));

  printf("Dual iteration\n");
  dual_graph dg = create_dual_graph(&root, COMPRESSED_KEYSPACE);
  while(iterate_dual_graph(&dg, true));

  for (size_t i = 0; i < dg.keyspace._.size; ++i) {
    state s = from_compressed_key(&(dg.keyspace.compressed), i);
    value vd = get_dual_graph_value(&dg, &s, NONE);
    value vs = get_dual_graph_value(&sg, &s, NONE);
    assert(vd.low == vs.low);
    assert(vd.high == vs.high);
  }
}

int main() {
  verify_goban(rectangle(3, 3));
  verify_goban(rectangle(3, 4));
  return EXIT_SUCCESS;
}