search

davidfa71 / BDDSampler

A random uniform sampler from BDD files
Other
0 stars 0 forks source link

make fails due to missing include #1

Open h3ssto opened 2 days ago

h3ssto commented 2 days ago

After following the steps in INSTALL.txt and running make, the compilation fails while compiling synExp.cpp due to src/synExp.cpp:154:21: error: ‘numeric_limits’ is not a member of ‘std’

I fixed this, by including #include <limits> in synExp.hpp.

davidfa71 commented 1 day ago

Thanks a lot, Tobias. I’ll fix it. Anyway, I hope that you are on your way to finishing your Ph. D. If you ever want us to do some collaboration, you are very welcome. Regards.

David

From: Tobias Heß @.> Date: Sunday, 3 November 2024 at 15:47 To: davidfa71/BDDSampler @.> Cc: Subscribed @.***> Subject: [davidfa71/BDDSampler] make fails due to missing include (Issue #1)

After following the steps in INSTALL.txt and running make, the compilation fails while compiling synExp.cpp due to src/synExp.cpp:154:21: error: ‘numeric_limits’ is not a member of ‘std’

I fixed this, by including #include in synExp.hpp.

— Reply to this email directly, view it on GitHubhttps://github.com/davidfa71/BDDSampler/issues/1, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AMRDBDUSZBI7HXJF3Z6UVQLZ6YZRJAVCNFSM6AAAAABRCZTAVSVHI2DSMVQWIX3LMV43ASLTON2WKOZSGYZTCMRVGM3DINQ. You are receiving this because you are subscribed to this thread.Message ID: @.***>

AVISO LEGAL. Este mensaje puede contener información reservada y confidencial. Si usted no es el destinatario no está autorizado a copiar, reproducir o distribuir este mensaje ni su contenido. Si ha recibido este mensaje por error, le rogamos que lo notifique al remitente. Le informamos de que sus datos personales, que puedan constar en este mensaje, serán tratados en calidad de responsable de tratamiento por la UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA (UNED) c/ Bravo Murillo, 38, 28015-MADRID-, con la finalidad de mantener el contacto con usted. La base jurídica que legitima este tratamiento, será su consentimiento, el interés legítimo o la necesidad para gestionar una relación contractual o similar. En cualquier momento podrá ejercer sus derechos de acceso, rectificación, supresión, oposición, limitación al tratamiento o portabilidad de los datos, ante la UNED, Oficina de Protección de datoshttps://www.uned.es/dpj, o a través de la Sede electrónicahttps://sede.uned.es/ de la Universidad. Para más información visite nuestra Política de Privacidadhttps://descargas.uned.es/publico/pdf/Politica_privacidad_UNED.pdf.