add todos

NeuralNetworkVerification · Aug 22, 2024 · 436fc58 · 436fc58
1 parent f5da232
commit 436fc58
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/engine/DnCManager.cpp b/src/engine/DnCManager.cpp
@@ -329,6 +329,8 @@ void DnCManager::printResult()
     {
         std::cout << "sat\n" << std::endl;
 
+        // TODO: update the variable assignment using NLR if possible and double-check that all the
+        // constraints are indeed satisfied.
         extractSolution( *_baseQuery );
 
         printf( "Input assignment:\n" );

diff --git a/src/engine/Marabou.cpp b/src/engine/Marabou.cpp
@@ -243,7 +243,8 @@ void Marabou::solveQuery()
         }
     }
 
-
+    // TODO: update the variable assignment using NLR if possible and double-check that all the
+    // constraints are indeed satisfied.
     if ( _engine->getExitCode() == Engine::SAT )
         _engine->extractSolution( _inputQuery );
 }