formalang/tests/test_main.cpp

#include <gtest/gtest.h>

int main() {
  testing::InitGoogleTest();
  return RUN_ALL_TESTS();
}