add stderrthreshold to init

This commit is contained in:
Laurent Perron
2023-02-17 13:13:13 +01:00
parent 9efd6b02ca
commit 1ecebe64d3
7 changed files with 19 additions and 4 deletions

View File

@@ -40,6 +40,7 @@ public final class InitTest {
public void testFlags() {
final CppFlags cppFlags = new CppFlags();
assertNotNull(cppFlags);
cppFlags.setStderrthreshold(0);
cppFlags.setLog_prefix(true);
cppFlags.setCp_model_dump_prefix("init");
cppFlags.setCp_model_dump_models(true);