utilities.c

Go to the documentation of this file.

#include "utilities.h"
 
#include <string.h>
 
ABC_NAMESPACE_IMPL_START
 
bool kissat_has_suffix (const char *str, const char *suffix) {
  const char *p = str;
  while (*p)
    p++;
  const char *q = suffix;
  while (*q)
    q++;
  while (p > str && q > suffix)
    if (*--p != *--q)
      return false;
  return q == suffix;
}
 
ABC_NAMESPACE_IMPL_END