diff --git a/ComDetective.HowToRun b/ComDetective.HowToRun index 2c92f39eae..032a618b0b 100755 --- a/ComDetective.HowToRun +++ b/ComDetective.HowToRun @@ -16,7 +16,9 @@ ComDetectiverun -p -b -d ComDetectiverun <./your_executable> your_args +4. To run ComDetective with ADAMANT: +ComDetectiverun --enable-object-level <./your_executable> your_args Results =====