(pre-include "stdio.h" "inttypes.h" "assert.h" "time.h")
(include-sc "../../sph/imht-set")
(pre-define test-element-count 10000000)

(define (test-zero set) (uint8_t imht-set-t*)
  (assert (= 0 (imht-set-find set 0))) (imht-set-add set 0)
  (assert (not (= 0 (imht-set-find set 0)))) (imht-set-remove set 0)
  (assert (= 0 (imht-set-find set 0))))

(define (insert-values set) (uint8_t imht-set-t*)
  (define counter size-t test-element-count)
  (while counter (imht-set-add set counter) (set counter (- counter 1))))

(define (test-value-existence set) (uint8_t imht-set-t*)
  (define counter size-t test-element-count)
  (while counter (assert (not (= 0 (imht-set-find set counter)))) (set counter (- counter 1))))

(define (print-contents set) (void imht-set-t*)
  (define index size-t (- (struct-deref set size) 1))
  (while index (printf "%lu\n" (deref (struct-deref set content) index)) (set index (- index 1))))

(pre-define (get-time) (convert-type (time 0) uint64_t))
(pre-define (print-time a) (printf "%u\n" a))

(define (main) int
  (define set imht-set-t*) (imht-set-create test-element-count (address-of set))
  (test-zero set) (insert-values set)
  (test-value-existence set) (imht-set-destroy set) (printf "success\n") (return 0))