From 2dbe379200d6870178bf5087322b24f94cddb448 Mon Sep 17 00:00:00 2001
From: John McMaster <johndmcmaster@gmail.com>
Date: Tue, 11 Sep 2018 19:47:31 -0700
Subject: [PATCH] timfuz: corner FIXME assert

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
---
 fuzzers/007-timing/solve_linprog.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/fuzzers/007-timing/solve_linprog.py b/fuzzers/007-timing/solve_linprog.py
index e8fa4ac1..037cafe2 100644
--- 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...')