Fix expected code coverage for tools

Ref. None
AdaCore · Apr 16, 2024 · e28fec1 · e28fec1
1 parent c70b30d
commit e28fec1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -332,7 +332,7 @@ test_property: $(RFLX)
 	$(PYTEST) tests/property
 
 test_tools: $(RFLX)
-	$(PYTEST) --cov=tools --cov-branch --cov-fail-under=60.0 --cov-report=term-missing:skip-covered tests/tools
+	$(PYTEST) --cov=tools --cov-branch --cov-fail-under=57.0 --cov-report=term-missing:skip-covered tests/tools
 
 test_ide: $(RFLX)
 	$(PYTEST) tests/ide