decorator for CPLEX tests