diff --git a/benchexec/tablegenerator/test_integration/__init__.py b/benchexec/tablegenerator/test_integration/__init__.py
index <HASH>..<HASH> 100644
--- a/benchexec/tablegenerator/test_integration/__init__.py
+++ b/benchexec/tablegenerator/test_integration/__init__.py
@@ -148,7 +148,7 @@ class TableGeneratorIntegrationTests(unittest.TestCase):
             csv_file,
             csv_diff_file,
         ) = self.generate_tables_and_check_produced_files(
-            args, table_prefix, diff_prefix
+            args + ["--static-table"], table_prefix, diff_prefix
         )
 
         generated_csv = util.read_file(csv_file)
In table-generator's integration tests, continue to use old HTML tables.

These tests compare created tables against expected files,
and for the dynamically-rendered new tables this does not make as much
sense. We need to find a better way to test these.