Skip to content
Snippets Groups Projects
Commit 6cb4213c authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Added ExprOps.canBeHomomorphic which returns a mapping from identifiers if the... 

Added ExprOps.canBeHomomorphic which returns a mapping from identifiers if the expressions are homomorphic.
Addded failing test of partial string synthesis by example and made it work at the same time.
parent 634d9478
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment