If you look at prim_assert.sv, you'll see that we include different definitions for macros like `ASSERT, depending on which tool is in use. Since Formality seems to be a tool for equivalence checking, ...

gsaponaro mentioned this on May 30, 2014 pc104 canmotioncontrol compilation error, possibly related to icub-firmware-shared robotology/icub-main#27 ...