fix generator

damianoazzolini · Dec 3, 2024 · c3d1e6a · c3d1e6a
1 parent 256dafe
commit c3d1e6a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/benchmark/map/generate_map_benchmarks.py b/benchmark/map/generate_map_benchmarks.py
@@ -156,7 +156,10 @@ def generate_second_type_programs(args : argparse.Namespace):
 
     for i in range(1,args.n):
         prefix = "" if random.random() > 0.5 else "n"
-        prefix_pf = "" if random.random() > 0.5 else "not"
+        if args.aspmc:
+            prefix_pf = "" if random.random() > 0.5 else "\+" # type: ignore
+        else:
+            prefix_pf = "" if random.random() > 0.5 else "not"
         if i % 2 == 0:
             if args.aspmc:
                 print(f"qr{i} :- qr{i-1}, {prefix_pf} a{i}, \+ nqr{i}.") # type: ignore