Fix benchmark mode

marcoeilers · Oct 24, 2024 · 63e6f5f · 63e6f5f
1 parent 3c3d89b
commit 63e6f5f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nagini_translation/main.py b/src/nagini_translation/main.py
@@ -428,7 +428,7 @@ def translate_and_verify(python_file, jvm, args, print=print, arp=False, base_di
             print("Run, Total, Start, End, Time".format())
             for i in range(args.benchmark):
                 start = time.time()
-                modules, prog = translate(python_file, jvm, selected=selected, sif=args.sif, arp=arp, base_dir=base_dir,
+                modules, prog = translate(python_file, jvm, args.int_bitops_size, selected=selected, sif=args.sif, arp=arp, base_dir=base_dir,
                                           ignore_global=args.ignore_global, float_encoding=args.float_encoding)
                 vresult = verify(modules, prog, python_file, jvm, viper_args, backend=backend, arp=arp)
                 end = time.time()