DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Minor fix.

Browse Source
This commit is contained in:
Peter Goodman 2018-01-18 14:24:08 -05:00
parent 2eaeb7480c
commit ee80baa0ea
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bin/deepstate/common.py
View File

@ -119,7 +119,7 @@ class DeepState(object):
parser.add_argument(
"--output_test_dir", type=str, required=False,
"Directory where tests will be saved.")
help="Directory where tests will be saved.")
parser.add_argument(
"binary", type=str, help="Path to the test binary to run.")

2
examples/Primes.cpp
View File

@ -35,7 +35,7 @@ TEST(PrimePolynomial, OnlyGeneratesPrimes) {
ASSUME_GT(z, 1);
ASSUME_LT(y, poly);
ASSUME_LT(z, poly);
ASSERT_NE(poly, y * z)
ASSERT(poly != y * z)
<< x << "^2 + " << x << " + 41 is not prime";
ASSERT(IsPrime(Pump(poly)))
<< x << "^2 + " << x << " + 41 is not prime";