bugfix with unroll const

wsc1 · wsc1 · commit 1abd1029a531 · 2018-11-14T09:03:26.000+01:00
diff --git a/logic/unroll.go b/logic/unroll.go
@@ -59,11 +59,7 @@ func (u *Unroll) At(m z.Lit, d int) z.Lit {
 		goto Done
 	}
 	if v == 1 {
-		if m.IsPos() {
-			res = u.C.T
-		} else {
-			res = u.C.F
-		}
+		res = u.C.T
 		u.dmap[v] = append(u.dmap[v], res)
 		goto Done
 	}

Original file line number	Diff line number	Diff line change
`@@ -59,11 +59,7 @@ func (u *Unroll) At(m z.Lit, d int) z.Lit {`
`59`	`59`	`goto Done`
`60`	`60`	`}`
`61`	`61`	`if v == 1 {`
`62`		`- if m.IsPos() {`
`63`		`- res = u.C.T`
`64`		`- } else {`
`65`		`- res = u.C.F`
`66`		`- }`
	`62`	`+ res = u.C.T`
`67`	`63`	`u.dmap[v] = append(u.dmap[v], res)`
`68`	`64`	`goto Done`
`69`	`65`	`}`