esbmc → transition-system Relation

File in src/esbmc	Includes file in src/transition-system
parseoptions / ts_strategy.cpp	ts_engines.h
parseoptions / ts_strategy.cpp	ts_extraction.h
parseoptions / ts_strategy.cpp	ts_slice.h