Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
See #55 (I found out that the 32-bit version of Julia can be run on 64-bit systems, so debugging was easy).
The problem is that
prop
has length 2 in the second call to the test functiontest_state_prop
and then only the first entry is initialized. The other entry contains a random number, which is usually a very small number close to 0, and apparently this can cause issues withtrunc
. So in this PR I just also initialize the second entry. I am not sure whether not initializing was on purpose.