Jingxuan He

Closing due to inactivity.

Hi, It seems to me that this error is because klee cannot model some object symbolically. This error happens for Learch likely because Learch visits some states that other strategies...

Can you send me the complete log produced by klee?

From the log, it seems that klee with the Learch strategy cannot symbolically model some object on the first and the only path it explores. Not sure why it works...

The docker build error for Models/GGSNN-GMN/NeuralNetwork should be fixed by https://github.com/Cisco-Talos/binary_function_similarity/pull/35.