utilities.c File Reference

#include "utilities.h"
#include <string.h>

Include dependency graph for utilities.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START bool	kissat_has_suffix (const char *str, const char *suffix)

Function Documentation

kissat_has_suffix()

ABC_NAMESPACE_IMPL_START bool kissat_has_suffix	(	const char *	str,
		const char *	suffix )

Definition at line 7 of file utilities.c.

                                                             {
  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;
}