search

pietrobraione / jbse

A symbolic Java virtual machine for program analysis, verification and test generation
http://pietrobraione.github.io/jbse/
GNU General Public License v3.0
101 stars 29 forks source link

Do you support loop unrolling? #60

Closed sjoon2455 closed 2 years ago

sjoon2455 commented 2 years ago

I want to know if jsbe supports loop unrolling.

sjoon2455 commented 2 years ago

Solved it by using p.setDepthScope(5);