Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlcheck: Record translation time. · 82babb9d
    Alexandre Duret-Lutz authored
    * lib/gethrxtime.h, lib/xtime.h: Add extern "C".
    * src/bin/Makefile.am (ltlcheck_LDADD): Use LIB_GETHRXTIME.
    * src/bin/ltlcheck.cc: Use gethrxtime() to record translation time.
    82babb9d