solve_order()'s after argument, when list is used, ends up in before_l list

[mlausinTT]

Hi,

I think there is an error in solve_order() when after argument is passed as a list, it is filling before_l instead of after_l

pyvsc/src/vsc/constraints.py

Line 415 in 7accbb3

before_l.append(a_e.fm)

[alwilson]

I didn't realize you could pass lists to solve_order()! Easy fix, but might be good to add an example to the docs and a testcase with it.

Example:

@vsc.randobj
class my_s(object):

    def __init__(self):
        self.a = vsc.rand_bit_t(1)
        self.b = vsc.rand_bit_t(16)

    @vsc.constraint
    def ab_c(self):
        vsc.solve_order(self.a, [self.b])
        with vsc.implies(self.a == 0): self.b < 5

obj = my_s()
obj.randomize(debug=True)

Debug snippet:

    constraint ab_c {
        solve a,b before 
        (a == 0) -> {
            (b < 5);
        }
    }