318f28affd
We were skipping over being fully consistent with all of the generator invariants when running the solver. This allowed us to miss some of the conditions that a generator might impose. Usually this caused us to be "solved" when in fact we had an invalid program.
6 lines
151 B
Plaintext
6 lines
151 B
Plaintext
-- main.mcl --
|
|
import "fmt"
|
|
test fmt.printf("%d%d", 42) {} # should not pass, missing second int
|
|
-- OUTPUT --
|
|
# err: errUnify: 2 unconsumed generators
|