-
Sylvain Dailler authored
The warning can be disabled by a debug flag. The bench was changed so as to accept examples that **should** output warning but not fail (this category did not exist, it does now) and label_scope has been switched to it.
431ed6ca