diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-06-27 16:34:41 +0200 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-06-28 14:21:26 +0200 |
| commit | c6286510d5f8c1b7f82f9cdb9153f402a921a49e (patch) | |
| tree | f136861fb519fd247cf3289d81dc4fb4fe2d9dff /common/util.c | |
| parent | 4a1430ac3c60b5ff1c00bf98c004351c67c26c23 (diff) | |
| download | seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.tar seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.tar.gz seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.tar.bz2 seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.tar.lz seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.tar.xz seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.tar.zst seitan-c6286510d5f8c1b7f82f9cdb9153f402a921a49e.zip | |
common: move cmp_type_str in util
Diffstat (limited to 'common/util.c')
| -rw-r--r-- | common/util.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/common/util.c b/common/util.c index f7fc288..21676b0 100644 --- a/common/util.c +++ b/common/util.c @@ -43,3 +43,7 @@ const char *context_spec_type_name[CONTEXT_SPEC_TYPE_MAX + 1] = { }; const char *bitwise_type_str[BITWISE_MAX + 1] = { "&", "|" }; + +const char *cmp_type_str[CMP_MAX + 1] = { + "EQ", "NE", "GT", "GE", "LT", "LE", +}; |