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 function test_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 with trunc. So in this PR I just also initialize the second entry. I am not sure whether not initializing was on purpose.
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.