Fix the basic/concrete/infeasible_ensures.bpl driver test so that it passes under a Release build. This fixes issue #3
Fix the basic/concrete/infeasible_ensures.bpl driver test so that it
passes under a Release build. This fixes issue #3

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix