search

proper-testing / proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang
http://proper-testing.github.io
GNU General Public License v3.0
882 stars 167 forks source link

Add 16-bit floats to the Erlang abstract code generator #260

Closed uabboli closed 3 years ago

uabboli commented 3 years ago

Also respect the erl_anno abstraction.

kostis commented 3 years ago

Thanks for the update!