Add clarification JavaDoc about needed options for unsatCoreOverAssumptions()

BaierD · BaierD · commit 55f8e08acdda · 2025-06-02T17:16:09.000+02:00
diff --git a/src/org/sosy_lab/java_smt/api/BasicProverEnvironment.java b/src/org/sosy_lab/java_smt/api/BasicProverEnvironment.java
@@ -124,7 +124,8 @@ default Evaluator getEvaluator() throws SolverException {
 
   /**
    * Returns an UNSAT core (if it exists, otherwise {@code Optional.empty()}), over the chosen
-   * assumptions. Does NOT require the {@link ProverOptions#GENERATE_UNSAT_CORE} option to work.
+   * assumptions. Does NOT require the {@link ProverOptions#GENERATE_UNSAT_CORE} option to work,
+   * but {@link ProverOptions#GENERATE_UNSAT_CORE_OVER_ASSUMPTIONS}.
    *
    * @param assumptions Selected assumptions
    * @return Empty optional if the constraints with assumptions are satisfiable, subset of

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,8 @@ default Evaluator getEvaluator() throws SolverException {`
`124`	`124`
`125`	`125`	`/**`
`126`	`126`	`* Returns an UNSAT core (if it exists, otherwise {@code Optional.empty()}), over the chosen`
`127`		`- * assumptions. Does NOT require the {@link ProverOptions#GENERATE_UNSAT_CORE} option to work.`
	`127`	`+ * assumptions. Does NOT require the {@link ProverOptions#GENERATE_UNSAT_CORE} option to work,`
	`128`	`+ * but {@link ProverOptions#GENERATE_UNSAT_CORE_OVER_ASSUMPTIONS}.`
`128`	`129`	`*`
`129`	`130`	`* @param assumptions Selected assumptions`
`130`	`131`	`* @return Empty optional if the constraints with assumptions are satisfiable, subset of`