search

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.
MIT License
0 stars 5 forks source link

Share code for enums and classes in UnsolvedSymbolVisitor #256

Closed kelloggm closed 3 months ago