feat: transform null as undefined

Azzerty23 · Azzerty23 · commit 2504e8e5d450 · 2024-02-17T03:48:50.000+01:00
diff --git a/packages/sdk/src/z3-expression-transformer.ts b/packages/sdk/src/z3-expression-transformer.ts
@@ -293,7 +293,7 @@ export class Z3ExpressionTransformer {
     }
 
     private null() {
-        return 'null';
+        return 'undefined';
     }
 
     private array(expr: ArrayExpr) {

Original file line number	Diff line number	Diff line change
`@@ -293,7 +293,7 @@ export class Z3ExpressionTransformer {`
`293`	`293`	`}`
`294`	`294`
`295`	`295`	`private null() {`
`296`		`- return 'null';`
	`296`	`+ return 'undefined';`
`297`	`297`	`}`
`298`	`298`
`299`	`299`	`private array(expr: ArrayExpr) {`