#ifndef SATD_TESTS_H_
#define SATD_TESTS_H_

void satd_tests(void);

#endif