[erlang-questions] Big band playing
Kostis Sagonas
kostis@REDACTED
Fri Dec 14 16:36:39 CET 2018
We have been playing with CutEr (https://github.com/aggelgian/cuter), a
Concolic unit testing tool for Erlang, and discovered the following bug
in the implementation of bitwise and (band/2) operator:
Erlang/OTP 21 [erts-10.2] [source-2bf2b70] [64-bit] [smp:8:8]
[ds:8:8:10] [async-threads:1] [hipe] [sharing-preserving]
Eshell V10.2 (abort with ^G)
1> (-1299341865233935136534120785510400) band (-1).
-1299341865233953583278194495062016
which is the wrong result, of course.
Most likely, it has existed forever.
Kostis
More information about the erlang-questions
mailing list