Actions
Bug #7931
closedsolver - error: reference not found (java 1.8)
Start date:
01/31/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
java version "1.8.0_121"
C:\!microtesk\microtesk\trunk\microtesk\src\main\java\core\ru\ispras\microtesk\basis\solver\integer\IntegerFieldFormulaProblem.java:20: error: reference not found * {@link IntegerFormulaProblem} represents an integer problem. ^ C:\!microtesk\microtesk\trunk\microtesk\src\main\java\core\ru\ispras\microtesk\basis\solver\integer\IntegerFieldFormulaProblemSat4j.java:23: error: reference not found * {@link IntegerFormulaProblem} represents an integer problem. ^ C:\!microtesk\microtesk\trunk\microtesk\src\main\java\core\ru\ispras\microtesk\basis\solver\integer\IntegerFieldFormulaSolverSat4j.java:49: error: @param name not found * @param problem the problem to be solved.
Updated by Andrei Tatarnikov almost 7 years ago
- Status changed from New to Resolved
Updated by Alexander Kamkin about 6 years ago
- Status changed from Resolved to Closed
Actions