bug in constant handling

Fault-lang · Mar 5, 2023 · 97a8008 · 97a8008
1 parent d2c6092
commit 97a8008
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/smt/generator.go b/smt/generator.go
@@ -1241,8 +1241,8 @@ func (g *Generator) constantRule(id string, c constant.Constant) string {
 	switch val := c.(type) {
 	case *constant.Float:
 		ty := g.variables.LookupType(id, val)
+		g.addVarToRound(id, 0)
 		id = g.variables.AdvanceSSA(id)
-		g.addVarToRound(id, int(g.variables.SSA[id]))
 		if g.isASolvable(id) {
 			g.declareVar(id, ty)
 		} else {

diff --git a/types/types.go b/types/types.go
@@ -924,6 +924,10 @@ func IsNumeric(t *ast.Type) bool {
 		return true
 	case "FLOAT":
 		return true
+	case "UNKNOWN":
+		return true
+	case "UNCERTAIN":
+		return true
 	}
 	return false
 }