loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

tree.test.c (385B)

      1 #include <stdio.h>
      2 #include <stdbool.h>
      3 #include <assert.h>
      4 
      5 #include "symbol.h"
      6 #include "tree.h"
      7 
      8 bool
      9 test_get_after_set_is_id_on_node()
     10 {
     11 	symbol k = intern("key");
     12 	symbol h = intern("head");
     13 	tree *t = new_node(h);
     14 	set_subtree(t, k, (tree*) 0xabababab);
     15 	return get_subtree(t, k) == (tree*) 0xabababab;
     16 }
     17 
     18 
     19 int
     20 main()
     21 {
     22 	assert(test_get_after_set_is_id_on_node());
     23 	return 0;
     24 }