trim traces w.r.t. class intervals

Reviewed By: williewillus Differential Revision: D32336953 fbshipit-source-id: fccda83bc7240524f3715a991f3a744ee45c8e22
facebook · Nov 12, 2021 · 35ac941 · 35ac941
1 parent f3ec7a8
commit 35ac941
Show file tree

Hide file tree

Showing 2 changed files with 166 additions and 46 deletions.
diff --git a/sapp/tests/fake_object_generator.py b/sapp/tests/fake_object_generator.py
@@ -87,6 +87,9 @@ def precondition(
         location=(4, 5, 6),
         leaves=None,
         reachability=FrameReachability.UNREACHABLE,
+        preserves_type_context=False,
+        type_interval_lower=5,
+        type_interval_upper=7,
     ):
         leaves = leaves or []
         filename_record = self.filename(filename)
@@ -110,9 +113,9 @@ def precondition(
             filename_id=filename_record.id,
             titos=[],
             run_id=self.run_id,
-            type_interval_lower=5,
-            type_interval_upper=7,
-            preserves_type_context=False,
+            type_interval_lower=type_interval_lower,
+            type_interval_upper=type_interval_upper,
+            preserves_type_context=preserves_type_context,
             reachability=reachability,
         )
         if self.graph:
@@ -132,6 +135,9 @@ def postcondition(
         filename="lib/server/posts/response.py",
         location=(4, 5, 6),
         leaves=None,
+        preserves_type_context=False,
+        type_interval_lower=5,
+        type_interval_upper=7,
     ):
         leaves = leaves or []
         filename_record = self.filename(filename)
@@ -155,9 +161,9 @@ def postcondition(
             filename_id=filename_record.id,
             titos=[],
             run_id=self.run_id,
-            type_interval_lower=5,
-            type_interval_upper=7,
-            preserves_type_context=False,
+            type_interval_lower=type_interval_lower,
+            type_interval_upper=type_interval_upper,
+            preserves_type_context=preserves_type_context,
             reachability=FrameReachability.UNREACHABLE,
         )
         if self.graph: