[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