On Monday, 13 July 2020 at 14:29:45 UTC, Panke wrote: > I don't want any contract checking outside of debug mode. contracts are actually independent compiler switches you can turn on and off separate from everything else. This is just talking about two layers of checks, don't read too much into the term "debug mode".