Hi All,
I'm getting a segmentation fault that I simply cannot understand. I run gdb and get the following message:
Program received signal SIGSEGV, Segmentation fault.
0x00000000004a91a5 in BDD::BandB (this=0x7ffffffe4e60, fixedVars=DWARF-2 expression error: DW_OP_reg operations must be used either alone or in conjuction with DW_OP_piece.
) at BDD.cpp:550
550 void BDD::BandB(set<int > fixedVars , bool valuesOfFixedVars[numberOfVariables] , int COSTS[numberOfVariables], int LB, int* UB, int Width){
I cannot understand what this means or how to go about fixing it. I'd appreciate any help at all.
THANKS!