Skip to content

Add an identifier-based lookup to constant_propagator_is_constantt [blocks: #3768]#3871

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:symbol_exprt-constant-propagator
Jan 21, 2019

Commits

Commits on Jan 21, 2019