chore: add further todo - replace Files methods with our integrated p…

…rocessRunner methods
ProvideQ · Jan 27, 2025 · 36a375a · 36a375a
1 parent 653f269
commit 36a375a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/GanakSolver.java b/src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/GanakSolver.java
@@ -75,6 +75,7 @@ public Mono<Solution<Integer>> solve(String input, SubRoutineResolver subRoutine
     }
 
     // create a temporary file for the input
+    // TODO: use ProcessRunner .writeInputFile method
     Path tempFilePath;
     try {
       tempFilePath = Files.createTempFile("cnf_input", ".cnf");