WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Wrong BLD times #51

New issue
New issue
Open
Open
Wrong BLD times#51
@gregorbg

Description

@gregorbg
gregorbg
opened on May 17, 2016

When timing BLD events on version 0.3.0-beta3, the timer runs correctly but after stopping the solve only execution time is stored/displayed/used to calculate statistics when it should be memo time + execution time

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions