several documentation fixes

1 files changed, 19 insertions, 11 deletions

diff --git a/docs/README.MOpt b/docs/README.MOpt
index 5575189c..94e63959 100644
--- a/docs/README.MOpt
+++ b/docs/README.MOpt
@@ -17,7 +17,8 @@ We open source all the seed sets used in the paper
 
 ### 4. Experiment Results
 The experiment results can be found in 
-https://drive.google.com/drive/folders/184GOzkZGls1H2NuLuUfSp9gfqp1E2-lL?usp=sharing.  We only open source the crash files since the space is limited. 
+https://drive.google.com/drive/folders/184GOzkZGls1H2NuLuUfSp9gfqp1E2-lL?usp=sharing.
+We only open source the crash files since the space is limited. 
 
 ### 5. Technical Report
 MOpt_TechReport.pdf is the technical report of the paper 
@@ -26,18 +27,25 @@ MOpt_TechReport.pdf is the technical report of the paper
 ### 6. Parameter Introduction
 Most important, you must add the parameter `-L` (e.g., `-L 0`) to launch the
 MOpt scheme. 
-<br>`-L` controls the time to move on to the pacemaker fuzzing mode.
-<br>`-L t:` when MOpt-AFL finishes the mutation of one input, if it has not
-discovered any new unique crash or path for more than t min, MOpt-AFL will
+
+Option '-L' controls the time to move on to the pacemaker fuzzing mode.
+'-L t': when MOpt-AFL finishes the mutation of one input, if it has not
+discovered any new unique crash or path for more than t minutes, MOpt-AFL will
 enter the pacemaker fuzzing mode. 
-<br>Setting 0 will enter the pacemaker fuzzing mode at first, which is
+
+Setting 0 will enter the pacemaker fuzzing mode at first, which is
 recommended in a short time-scale evaluation. 
 
 Other important parameters can be found in afl-fuzz.c, for instance, 
-<br>`swarm_num:` the number of the PSO swarms used in the fuzzing process.
-<br>`period_pilot:` how many times MOpt-AFL will execute the target program in the pilot fuzzing module, then it will enter the core fuzzing module. 
-<br>`period_core:` how many times MOpt-AFL will execute the target program in the core fuzzing module, then it will enter the PSO updating module. 
-<br>`limit_time_bound:` control how many interesting test cases need to be found before MOpt-AFL quits the pacemaker fuzzing mode and reuses the deterministic stage. 
-0 < `limit_time_bound` < 1, MOpt-AFL-tmp.  `limit_time_bound` >= 1, MOpt-AFL-ever. 
 
-Having fun with MOpt in AFL!
+'swarm_num': the number of the PSO swarms used in the fuzzing process.
+'period_pilot': how many times MOpt-AFL will execute the target program
+	in the pilot fuzzing module, then it will enter the core fuzzing module.
+'period_core': how many times MOpt-AFL will execute the target program in the
+	core fuzzing module, then it will enter the PSO updating module.
+'limit_time_bound': control how many interesting test cases need to be found
+	before MOpt-AFL quits the pacemaker fuzzing mode and reuses the deterministic stage.
+	0 < 'limit_time_bound' < 1, MOpt-AFL-tmp.
+	'limit_time_bound' >= 1, MOpt-AFL-ever.
+
+Have fun with MOpt in AFL!