search

tracer-x / TracerX

TracerX Symbolic Virtual Machine
https://tracer-x.github.io/
Other
31 stars 11 forks source link

Commented few print statements for better readability #382

Closed ArpitaDutta closed 2 years ago

ArpitaDutta commented 3 years ago

Removed few print statements for better readability.

rasoolmaghareh commented 3 years ago

Thanks @ArpitaDutta . Can you please add the condition for -debug-subsumption=4 to the code too. You can search for if (debugSubsumptionLevel >= 3) and see how it works.

ArpitaDutta commented 3 years ago

Sure @Rasool Maghareh @.***> I will do this.

On Fri, Sep 10, 2021 at 10:06 AM Rasool Maghareh @.***> wrote:

Thanks @ArpitaDutta https://github.com/ArpitaDutta . Can you please add the condition for -debug-subsumption=4 to the code too. You can search for if (debugSubsumptionLevel >= 3) and see how it works.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/tracer-x/TracerX/pull/382#issuecomment-916574157, or unsubscribe https://github.com/notifications/unsubscribe-auth/AD22LADLNUDNB6KP3MSBCOLUBFRZDANCNFSM5DYLH7OA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

rasoolmaghareh commented 2 years ago

The code works properly on local tests.