• Michael Beck's avatar
    - BugFix: fix_start_proj() erronously assumed the startblock has only · f05f9c29
    Michael Beck authored
      mode_X out edge. This is wrong in phase backend AND might be wrong if
      start block has a keep-alive (which should not happen normally)
    - fix_start_proj() speed up implementation
    - add comment that fix_start_proj() is only needed in a really rare case
    - add out edge verifier