fix: engine.Println to take strings (#419)

* fix: engine.Println to take strings * feat: test.engine.Println do negative ints
Consensys · Dec 19, 2022 · 935ab13 · 935ab13
1 parent f2c263e
commit 935ab13
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/test/engine.go b/test/engine.go
@@ -405,8 +405,18 @@ func (e *engine) Println(a ...frontend.Variable) {
 	}
 
 	for i := 0; i < len(a); i++ {
-		v := e.toBigInt(a[i])
-		sbb.WriteString(v.String())
+		if s, ok := a[i].(string); ok {
+			sbb.WriteString(s)
+		} else {
+			v := e.toBigInt(a[i])
+			var vAsNeg big.Int
+			vAsNeg.Sub(v, e.q)
+			if vAsNeg.IsInt64() {
+				sbb.WriteString(strconv.FormatInt(vAsNeg.Int64(), 10))
+			} else {
+				sbb.WriteString(v.String())
+			}
+		}
 		sbb.WriteByte(' ')
 	}
 	fmt.Println(sbb.String())