Update smtcomp/results.py

Co-authored-by: François Bobot <[email protected]>
SMT-COMP · Sep 11, 2024 · 28d2585 · 28d2585
1 parent f7ea074
commit 28d2585
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/smtcomp/results.py b/smtcomp/results.py
@@ -535,10 +535,10 @@ def aws_result(res: str) -> int:
     )
 
     results = lf.with_columns(
-        (pl.col("logic") * 0).alias("participation"),
-        (pl.col("logic") * 0).alias("memory_B"),
-        (pl.col("logic") * 0).alias("nb_answers"),
-        (pl.col("logic") * 0).alias("cputime_s"),
+        participation = pl.lit(0,dtype=pl.Int64),
+        memory_B = pl.lit(0,dtype=pl.Int64),
+        nb_answers = pl.lit(0,dtype=pl.Int64),
+        cputime_s = pl.lit(0,dtype=pl.Int64),
     )
 
     return results