Project

General

Profile

Task #7561

ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests

Added by Sergey Smolov almost 3 years ago.

Status:
New
Priority:
Normal
Category:
Solver
Target version:
Start date:
09/08/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

JUnit test case classes that implement ISampleConstraint interface should implement getExpectedVariables method. In fact, this method's returned value is ignored everwhere.
Probably we should either to made our tests more solver-specific (AFAIK, this problem comes from the fact that Z3 and CVC4 solvers return different values on same constraints), or change this method somehow.

Also available in: Atom PDF