Redesign S2E's logging system

S2E / s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Other

93 stars 51 forks source link

Open vitalych opened 6 years ago

vitalych commented 6 years ago

Several problems with the current one:

Too verbose getWarningsStream() << "..." could be shortened to WARN("msg" << "bla");
Too slow. The stream is evaluated regardless of log settings.

Could have something like:

#define WARN(...)  if (level >= WARN_LEVEL) { getWarningsStream() << __VA_ARGS__; }

vitalych commented 5 years ago

Also, logging to console seems to slow down multi-core mode by a lot (e.g., see maze demo).