Ecdar/j-Ecdar

The inconsistant location produced by the quotient has incorrect invariant

Closed this issue · 0 comments

magoorden commented

The inconsistant location should have the invariant x_new <= 0, but currently the produced invariant is true. Look at the example in #60.