Nikhil Loney comments

Repositories
Issues
Comments

Results 2 comments of


                                            Nikhil Loney

Inconsistent behavior while using negation in forall_t

Hi Soonho, I have attached the file and commented the rules that are producing this behaviour. Please do let me know if you need anything else. Thanks, Nikhil [car-turning-HA-2step.smt2.zip](https://github.com/dreal/dreal3/files/769105/car-turning-HA-2step.smt2.zip)

Inconsistent behavior while using negation in forall_t

Hi @soonho-tri, Thank you for the prompt response. I fixed the file based on the problems you found with it but I still seem to be getting the same behavior....