Skip to content
Snippets Groups Projects
user avatar
vincent authored
	* Now the operators really compute the hash if a known value
	  is passed to the operator. On the other hand, if a symbol
	  is passed, a symbol is returned.
c00c0a1e
History

symbolic_execution

A symbolic executor