search

njit-jerse / specimin

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

Fix handling of boolean expressions #262

Closed kelloggm closed 5 months ago

kelloggm commented 5 months ago

TODO: also look into unary expressions and the == and != operators later.

TODO: tests for other operators?