Havoc should diverge at base type #9

Closed
dvanhorn opened this Issue Dec 8, 2012 · 0 comments

Projects

None yet

1 participant

@dvanhorn
Owner
dvanhorn commented Dec 8, 2012

Now that there's μ, the havoc metafunction should produce a diverging value at base type.

@dvanhorn dvanhorn was assigned Dec 8, 2012
@dvanhorn dvanhorn added a commit that closed this issue Dec 9, 2012
@dvanhorn Havoc diverges at base type. Fixes #9.
Required changing RHS of mu to be either a value or a variable.
93d86eb
@dvanhorn dvanhorn closed this in 93d86eb Dec 9, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment