search

jwaldmann / ceta-postproc

GNU Lesser General Public License v3.0
0 stars 0 forks source link

need to handle more than Termination and Nontermination #3

Closed jwaldmann closed 8 years ago

jwaldmann commented 10 years ago

in particular, statements about complexity. requires two changes:

and to match both.

jwaldmann commented 8 years ago

it seems this was fixed at commit af9074ea147747495e6cc4c7efbd12479455b9bb