From 5890bf23b6bd51be855c6fbc42d2ad3528a6ed86 Mon Sep 17 00:00:00 2001 From: Douglas Goddard Date: Wed, 2 Nov 2016 15:52:56 -0400 Subject: [PATCH] Fixing some comments. --- xs128p.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xs128p.py b/xs128p.py index 0fcf83b..35b5188 100644 --- a/xs128p.py +++ b/xs128p.py @@ -2,7 +2,7 @@ import sys import math import struct import random -sys.path.append('/home/taxicat/prog/z3/build') +sys.path.append('/home/dgoddard/tools/z3/build') from z3 import * # xor_shift_128_plus algorithm @@ -64,7 +64,7 @@ def xs128p_backward(state0, state1): # Print 'last seen' random number # and winning numbers following that. # This was for debugging. We know that Math.random() -# is called in the browser twice for each page click +# is called in the browser zero times (updated) for each page click # in Chrome and once for each page click in Firefox. # Since we have to click once to enter the numbers # and once for Play, we indicate the winning numbers