Completed
Push — master ( 35a63e...5d0f9f )
by Maksim
12:18 queued 10:59
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.13
▶   ± 0
Head
Maksim Martianov  
Merge pull request #8 from maksimru/analysis-z3bE19
1 more commit
Base
Maksim Martianov  
switch to getId insteadOf getSymbol