Hello, I cannot find the definition of "GMP_RND_MAX". The GMP version is 5.0.2. When I compiled another tool named APRON such an error was emitted. Hope you can help me. Best Wishes. Henry.