"git@repo.hca.bsc.es:rferrer/llvm-epi-0.8.git" did not exist on "bdae4b874319daa7080f803b9c5aca71f6a03b0c"
-
Anna Zaks authored
Remove dead members/parameters: ProgramState, respondsToCallback, autoTransition. Remove addTransition method since it's the same as generateNode. Maybe we should rename generateNode to genTransition (since a transition is always automatically generated)? llvm-svn: 142946
b473816b
Loading