klee: Update key_name_entry table

2 files changed, 146 insertions, 149 deletions

diff --git a/src/nvim/keymap.c b/src/nvim/keymap.c
index 55ac835663..4f120e66f7 100644
--- a/src/nvim/keymap.c
+++ b/src/nvim/keymap.c
@@ -141,8 +141,7 @@ static char_u modifier_keys_table[] =
 static const struct key_name_entry {
   int key;              // Special key code or ascii value
   const char *name;           // Name of key
-} key_names_table[] =
-{
+} key_names_table[] = {
   { ' ',               "Space" },
   { TAB,               "Tab" },
   { K_TAB,             "Tab" },
diff --git a/test/symbolic/klee/nvim/keymap.c b/test/symbolic/klee/nvim/keymap.c
index c59d8d4d6e..ff5e46e75b 100644
--- a/test/symbolic/klee/nvim/keymap.c
+++ b/test/symbolic/klee/nvim/keymap.c
@@ -141,154 +141,152 @@ int handle_x_keys(const int key)
 }
 
 static const struct key_name_entry {
-  int key;  ///< Special key code or ASCII value.
-  const char *name;  ///< Name of the key
+  int key;              // Special key code or ascii value
+  const char *name;           // Name of key
 } key_names_table[] = {
-  {' ',               "Space"},
-  {TAB,               "Tab"},
-  {K_TAB,             "Tab"},
-  {NL,                "NL"},
-  {NL,                "NewLine"},     // Alternative name
-  {NL,                "LineFeed"},    // Alternative name
-  {NL,                "LF"},          // Alternative name
-  {CAR,               "CR"},
-  {CAR,               "Return"},      // Alternative name
-  {CAR,               "Enter"},       // Alternative name
-  {K_BS,              "BS"},
-  {K_BS,              "BackSpace"},   // Alternative name
-  {ESC,               "Esc"},
-  {CSI,               "CSI"},
-  {K_CSI,             "xCSI"},
-  {'|',               "Bar"},
-  {'\\',              "Bslash"},
-  {K_DEL,             "Del"},
-  {K_DEL,             "Delete"},      // Alternative name
-  {K_KDEL,            "kDel"},
-  {K_UP,              "Up"},
-  {K_DOWN,            "Down"},
-  {K_LEFT,            "Left"},
-  {K_RIGHT,           "Right"},
-  {K_XUP,             "xUp"},
-  {K_XDOWN,           "xDown"},
-  {K_XLEFT,           "xLeft"},
-  {K_XRIGHT,          "xRight"},
-
-  {K_F1,              "F1"},
-  {K_F2,              "F2"},
-  {K_F3,              "F3"},
-  {K_F4,              "F4"},
-  {K_F5,              "F5"},
-  {K_F6,              "F6"},
-  {K_F7,              "F7"},
-  {K_F8,              "F8"},
-  {K_F9,              "F9"},
-  {K_F10,             "F10"},
-
-  {K_F11,             "F11"},
-  {K_F12,             "F12"},
-  {K_F13,             "F13"},
-  {K_F14,             "F14"},
-  {K_F15,             "F15"},
-  {K_F16,             "F16"},
-  {K_F17,             "F17"},
-  {K_F18,             "F18"},
-  {K_F19,             "F19"},
-  {K_F20,             "F20"},
-
-  {K_F21,             "F21"},
-  {K_F22,             "F22"},
-  {K_F23,             "F23"},
-  {K_F24,             "F24"},
-  {K_F25,             "F25"},
-  {K_F26,             "F26"},
-  {K_F27,             "F27"},
-  {K_F28,             "F28"},
-  {K_F29,             "F29"},
-  {K_F30,             "F30"},
-
-  {K_F31,             "F31"},
-  {K_F32,             "F32"},
-  {K_F33,             "F33"},
-  {K_F34,             "F34"},
-  {K_F35,             "F35"},
-  {K_F36,             "F36"},
-  {K_F37,             "F37"},
-
-  {K_XF1,             "xF1"},
-  {K_XF2,             "xF2"},
-  {K_XF3,             "xF3"},
-  {K_XF4,             "xF4"},
-
-  {K_HELP,            "Help"},
-  {K_UNDO,            "Undo"},
-  {K_INS,             "Insert"},
-  {K_INS,             "Ins"},         // Alternative name
-  {K_KINS,            "kInsert"},
-  {K_HOME,            "Home"},
-  {K_KHOME,           "kHome"},
-  {K_XHOME,           "xHome"},
-  {K_ZHOME,           "zHome"},
-  {K_END,             "End"},
-  {K_KEND,            "kEnd"},
-  {K_XEND,            "xEnd"},
-  {K_ZEND,            "zEnd"},
-  {K_PAGEUP,          "PageUp"},
-  {K_PAGEDOWN,        "PageDown"},
-  {K_KPAGEUP,         "kPageUp"},
-  {K_KPAGEDOWN,       "kPageDown"},
-
-  {K_KPLUS,           "kPlus"},
-  {K_KMINUS,          "kMinus"},
-  {K_KDIVIDE,         "kDivide"},
-  {K_KMULTIPLY,       "kMultiply"},
-  {K_KENTER,          "kEnter"},
-  {K_KPOINT,          "kPoint"},
-
-  {K_K0,              "k0"},
-  {K_K1,              "k1"},
-  {K_K2,              "k2"},
-  {K_K3,              "k3"},
-  {K_K4,              "k4"},
-  {K_K5,              "k5"},
-  {K_K6,              "k6"},
-  {K_K7,              "k7"},
-  {K_K8,              "k8"},
-  {K_K9,              "k9"},
-
-  {'<',               "lt"},
-
-  {K_MOUSE,           "Mouse"},
-  {K_LEFTMOUSE,       "LeftMouse"},
-  {K_LEFTMOUSE_NM,    "LeftMouseNM"},
-  {K_LEFTDRAG,        "LeftDrag"},
-  {K_LEFTRELEASE,     "LeftRelease"},
-  {K_LEFTRELEASE_NM,  "LeftReleaseNM"},
-  {K_MIDDLEMOUSE,     "MiddleMouse"},
-  {K_MIDDLEDRAG,      "MiddleDrag"},
-  {K_MIDDLERELEASE,   "MiddleRelease"},
-  {K_RIGHTMOUSE,      "RightMouse"},
-  {K_RIGHTDRAG,       "RightDrag"},
-  {K_RIGHTRELEASE,    "RightRelease"},
-  {K_MOUSEDOWN,       "ScrollWheelUp"},
-  {K_MOUSEUP,         "ScrollWheelDown"},
-  {K_MOUSELEFT,       "ScrollWheelRight"},
-  {K_MOUSERIGHT,      "ScrollWheelLeft"},
-  {K_MOUSEDOWN,       "MouseDown"},  // OBSOLETE: Use ScrollWheelXXX instead
-  {K_MOUSEUP,         "MouseUp"},    // Same
-  {K_X1MOUSE,         "X1Mouse"},
-  {K_X1DRAG,          "X1Drag"},
-  {K_X1RELEASE,       "X1Release"},
-  {K_X2MOUSE,         "X2Mouse"},
-  {K_X2DRAG,          "X2Drag"},
-  {K_X2RELEASE,       "X2Release"},
-  {K_DROP,            "Drop"},
-  {K_ZERO,            "Nul"},
-  {K_SNR,             "SNR"},
-  {K_PLUG,            "Plug"},
-  {K_PASTE,           "Paste"},
-  {K_FOCUSGAINED,     "FocusGained"},
-  {K_FOCUSLOST,       "FocusLost"},
-  {0,                 NULL}
+  { ' ',               "Space" },
+  { TAB,               "Tab" },
+  { K_TAB,             "Tab" },
+  { NL,                "NL" },
+  { NL,                "NewLine" },     // Alternative name
+  { NL,                "LineFeed" },    // Alternative name
+  { NL,                "LF" },          // Alternative name
+  { CAR,               "CR" },
+  { CAR,               "Return" },      // Alternative name
+  { CAR,               "Enter" },       // Alternative name
+  { K_BS,              "BS" },
+  { K_BS,              "BackSpace" },   // Alternative name
+  { ESC,               "Esc" },
+  { CSI,               "CSI" },
+  { K_CSI,             "xCSI" },
+  { '|',               "Bar" },
+  { '\\',              "Bslash" },
+  { K_DEL,             "Del" },
+  { K_DEL,             "Delete" },      // Alternative name
+  { K_KDEL,            "kDel" },
+  { K_UP,              "Up" },
+  { K_DOWN,            "Down" },
+  { K_LEFT,            "Left" },
+  { K_RIGHT,           "Right" },
+  { K_XUP,             "xUp" },
+  { K_XDOWN,           "xDown" },
+  { K_XLEFT,           "xLeft" },
+  { K_XRIGHT,          "xRight" },
+
+  { K_F1,              "F1" },
+  { K_F2,              "F2" },
+  { K_F3,              "F3" },
+  { K_F4,              "F4" },
+  { K_F5,              "F5" },
+  { K_F6,              "F6" },
+  { K_F7,              "F7" },
+  { K_F8,              "F8" },
+  { K_F9,              "F9" },
+  { K_F10,             "F10" },
+
+  { K_F11,             "F11" },
+  { K_F12,             "F12" },
+  { K_F13,             "F13" },
+  { K_F14,             "F14" },
+  { K_F15,             "F15" },
+  { K_F16,             "F16" },
+  { K_F17,             "F17" },
+  { K_F18,             "F18" },
+  { K_F19,             "F19" },
+  { K_F20,             "F20" },
+
+  { K_F21,             "F21" },
+  { K_F22,             "F22" },
+  { K_F23,             "F23" },
+  { K_F24,             "F24" },
+  { K_F25,             "F25" },
+  { K_F26,             "F26" },
+  { K_F27,             "F27" },
+  { K_F28,             "F28" },
+  { K_F29,             "F29" },
+  { K_F30,             "F30" },
+
+  { K_F31,             "F31" },
+  { K_F32,             "F32" },
+  { K_F33,             "F33" },
+  { K_F34,             "F34" },
+  { K_F35,             "F35" },
+  { K_F36,             "F36" },
+  { K_F37,             "F37" },
+
+  { K_XF1,             "xF1" },
+  { K_XF2,             "xF2" },
+  { K_XF3,             "xF3" },
+  { K_XF4,             "xF4" },
+
+  { K_HELP,            "Help" },
+  { K_UNDO,            "Undo" },
+  { K_INS,             "Insert" },
+  { K_INS,             "Ins" },         // Alternative name
+  { K_KINS,            "kInsert" },
+  { K_HOME,            "Home" },
+  { K_KHOME,           "kHome" },
+  { K_XHOME,           "xHome" },
+  { K_ZHOME,           "zHome" },
+  { K_END,             "End" },
+  { K_KEND,            "kEnd" },
+  { K_XEND,            "xEnd" },
+  { K_ZEND,            "zEnd" },
+  { K_PAGEUP,          "PageUp" },
+  { K_PAGEDOWN,        "PageDown" },
+  { K_KPAGEUP,         "kPageUp" },
+  { K_KPAGEDOWN,       "kPageDown" },
+
+  { K_KPLUS,           "kPlus" },
+  { K_KMINUS,          "kMinus" },
+  { K_KDIVIDE,         "kDivide" },
+  { K_KMULTIPLY,       "kMultiply" },
+  { K_KENTER,          "kEnter" },
+  { K_KPOINT,          "kPoint" },
+
+  { K_K0,              "k0" },
+  { K_K1,              "k1" },
+  { K_K2,              "k2" },
+  { K_K3,              "k3" },
+  { K_K4,              "k4" },
+  { K_K5,              "k5" },
+  { K_K6,              "k6" },
+  { K_K7,              "k7" },
+  { K_K8,              "k8" },
+  { K_K9,              "k9" },
+
+  { '<',               "lt" },
+
+  { K_MOUSE,           "Mouse" },
+  { K_LEFTMOUSE,       "LeftMouse" },
+  { K_LEFTMOUSE_NM,    "LeftMouseNM" },
+  { K_LEFTDRAG,        "LeftDrag" },
+  { K_LEFTRELEASE,     "LeftRelease" },
+  { K_LEFTRELEASE_NM,  "LeftReleaseNM" },
+  { K_MIDDLEMOUSE,     "MiddleMouse" },
+  { K_MIDDLEDRAG,      "MiddleDrag" },
+  { K_MIDDLERELEASE,   "MiddleRelease" },
+  { K_RIGHTMOUSE,      "RightMouse" },
+  { K_RIGHTDRAG,       "RightDrag" },
+  { K_RIGHTRELEASE,    "RightRelease" },
+  { K_MOUSEDOWN,       "ScrollWheelUp" },
+  { K_MOUSEUP,         "ScrollWheelDown" },
+  { K_MOUSELEFT,       "ScrollWheelRight" },
+  { K_MOUSERIGHT,      "ScrollWheelLeft" },
+  { K_MOUSEDOWN,       "MouseDown" },   // OBSOLETE: Use
+  { K_MOUSEUP,         "MouseUp" },     // ScrollWheelXXX instead
+  { K_X1MOUSE,         "X1Mouse" },
+  { K_X1DRAG,          "X1Drag" },
+  { K_X1RELEASE,       "X1Release" },
+  { K_X2MOUSE,         "X2Mouse" },
+  { K_X2DRAG,          "X2Drag" },
+  { K_X2RELEASE,       "X2Release" },
+  { K_DROP,            "Drop" },
+  { K_ZERO,            "Nul" },
+  { K_SNR,             "SNR" },
+  { K_PLUG,            "Plug" },
+  { K_PASTE,           "Paste" },
+  { 0,                 NULL }
 };
 
 int get_special_key_code(const char_u *name)