Project

General

Profile

Actions
Copy link

Task #7561

open

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

Added by Sergey Smolov over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
Solver
Target version:
0.4
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.

No data to display

Actions
Copy link

Also available in: Atom PDF