Clone
buyingyi <buyingyi@gmail.com>
committed
on 28 Jan 15
Tracks the variables coming from the outer branch of loj to later decide whether they are still nullable
Change-Id: I65ef3ec64e231d4ee4b9cb1… Show more
Tracks the variables coming from the outer branch of loj to later decide whether they are still nullable

Change-Id: I65ef3ec64e231d4ee4b9cb18ac3292f126ee16f8

Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/209

Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>

Reviewed-by: Yingyi Bu <buyingyi@gmail.com>

Show less

master + 9 more