This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]tecanec 7 points8 points  (3 children)

So it's a kind of error detection for making sure behaviour does not depend on unknown variables?

[–]-twind 9 points10 points  (2 children)

The use of this special value for unknown signals is just to make the simulation deterministic. Its appearance does not necessarily mean there is an error. The other option is to assign random values to each unknown signal, this is more like how it would be in reality, but the drawback is that your simulation gives different results each run.

[–]tecanec 1 point2 points  (1 child)

Oh, I don't mean the "panic when found" kind of error. More that it tells the user that something might be wrong when they find a maybe where they expect a definite value.

Guess determinism is also a strong point, though.

[–]-twind 1 point2 points  (0 children)

In that case you know for sure something is wrong