Typo fix

gleachkr · gleachkr · commit acb104420b16 · 2024-05-02T11:30:24.000-04:00
diff --git a/tests/grididps.py b/tests/grididps.py
@@ -135,7 +135,7 @@ def concrete_post_processor(args):
                                           include_actions=True,
                                           include_side_effects=True,
                                           args=args,
-                                          output_file="cmp_gridips_consume.json",
+                                          output_file="cmp_grididps_consume.json",
                                           num_examples=2, 
                                           concrete_post_processor=concrete_post_processor)
 
@@ -145,6 +145,6 @@ def concrete_post_processor(args):
                                      include_actions=True,
                                      include_side_effects=True,
                                      args=args,
-                                     output_file="cmp_gridips_guard.json",
+                                     output_file="cmp_grididps_guard.json",
                                      num_examples=2, 
                                      concrete_post_processor=concrete_post_processor)
