In C++ we should avoid using macros: they are very pesky and prone to errors. We need to rewrite this library to have better interfaces... _Originally posted by @mikucionisaau in https://github.com/UPPAALModelChecker/UCDD/pull/31#discussion_r929831166_
In C++ we should avoid using macros: they are very pesky and prone to errors.
We need to rewrite this library to have better interfaces...
Originally posted by @mikucionisaau in #31 (comment)