#4 Sementation Fault at libbuddy.so bdd_setbddpair+0xa2

[powerofpi]

Using BDDPairing functionality with BuDDy appears to be broken. Functionality to set any pair of a BDDPairing cause a segmentation fault.

BDDPairing bp = buddyFactory.makePair(var, newBDD); // Segmentation Fault

BDDPairing bp = buddyFactory.makePair();
bp.set(oldVar, newVar); // Segmentation Fault

A fatal error has been detected by the Java Runtime Environment:

SIGSEGV (0xb) at pc=0x00007f0442700ad2, pid=5270, tid=139657071052544

JRE version: Java(TM) SE Runtime Environment (8.0_25-b17) (build 1.8.0_25-b17)

Java VM: Java HotSpot(TM) 64-Bit Server VM (25.25-b02 mixed mode linux-amd64 compressed oops)

Problematic frame:

C [libbuddy.so+0x17ad2] bdd_setbddpair+0xa2