Mr.Lee comments

Results 3 comments of


                                            Mr.Lee

Can provide examples of use?

Thanks! I want to see about the use of s2e struct.For example ,`s2e()->getExecutor()->getSymbolicSolution(*state, results)`

Is it convenient to provide an OSMonitor.cpp that contains this api?