-
Jonas Kaufmann authored
This enables other environments (in other code bases) to use a different definition or disable the checks. Came up in the context of Simics. Co-authored-by:Antoine Kaufmann <antoinek@mpi-sws.org>
c011a7af
This enables other environments (in other code bases) to use a different
definition or disable the checks. Came up in the context of Simics.
Co-authored-by: Antoine Kaufmann <antoinek@mpi-sws.org>