Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

mbed-os.lib

Committer:
mbed_official
Date:
2019-01-03
Revision:
86:f6d935d72b90
Parent:
85:b4c5dbbf74e3
Child:
90:37c3d70b5cb6

File content as of revision 86:f6d935d72b90:

https://github.com/ARMmbed/mbed-os/#c966348d3f9ca80843be7cdc9b748f06ea73ced0