timfuz: corner FIXME assert

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
2018-09-11 19:47:31 -07:00 · 2018-09-11 19:47:31 -07:00 · 2dbe379200
parent a55b766c44
commit 2dbe379200
1 changed files with 2 additions and 0 deletions
--- a/fuzzers/007-timing/solve_linprog.py
+++ b/fuzzers/007-timing/solve_linprog.py
@ -57,6 +57,8 @@ def run_corner(Anp, b, names, corner, verbose=False, opts={}, meta={}, outfn=Non
    -delay1 +   -delay2 +               -delay4     <= -timing1
                -delay2 +   -delay3                 <= -timing2
    '''
+    assert 'max' in corner, 'FIXME: support min corner math'
+
    rows = len(Anp)
    cols = len(Anp[0])
    print('Scaling to solution form...')