Kohei Asano comments

Repositories
Issues
Comments

Results 2 comments of


                                            Kohei Asano

Release-built hoice sometimes crashes while learning on macOS Monterey

@AdrienChampion Thank you! I can reproduce this error with HoIce(commit hash: 90d348933) for the same input on my MacBookPro (2018 model with Intel Core i5) with the same version z3...

Release-built hoice sometimes crashes while learning on macOS Monterey

@AdrienChampion Thank you! I'm not in haste. So you don't need to be careful about the time 😃