param_set/filter: PARAM_SET instead of PARAM_ADD

[smatch.git] / smatch_data / db / call_implies.schema

CREATE TABLE call_implies (file varchar(128), function varchar(64), call_id integer, static boolean, type integer, parameter integer, key varchar(256), value varchar(256));