Pre Merge pull request !288 from 张澍坤/master

examples/README.md

@@ -25,7 +25,7 @@ $ cd ../test
 $ wget "http://yann.lecun.com/exdb/mnist/t10k-images-idx3-ubyte.gz"
 $ wget "http://yann.lecun.com/exdb/mnist/t10k-labels-idx1-ubyte.gz"
 $ gzip t10k-images-idx3-ubyte.gz -d
-$ gzip t10k-images-idx3-ubyte.gz -d
+$ gzip t10k-labels-idx1-ubyte.gz -d
 ```
 
 ### 2. trian LeNet5 model
@@ -35,4 +35,4 @@ After training the network, you will obtain a group of ckpt files. Those ckpt fi
 $ cd examples/common/networks/lenet5
 $ python mnist_train.py
 
-```
+```

mindarmour/fuzz_testing/model_coverage_metrics.py

@@ -294,7 +294,7 @@ class SuperNeuronActivateCoverage(CoverageMetrics):
 class NeuronBoundsCoverage(SuperNeuronActivateCoverage):
     """
     Get the metric of 'neuron boundary coverage' :math:`NBC = (|UpperCornerNeuron| + |LowerCornerNeuron|)/(2*|N|)`,
-    where :math`|N|` is the number of neurons, NBC refers to the proportion of neurons whose neurons output value in
+    where :math:`|N|` is the number of neurons, NBC refers to the proportion of neurons whose neurons output value in
     the test dataset exceeds the upper and lower bounds of the corresponding neurons output value in the training
     dataset.