Ticket #10631 (new enhancement)

Opened 2 years ago

Last modified 2 years ago

Make parsing of Magma's GB logs work with more versions of Magma

Reported by: malb Owned by: was
Priority: minor Milestone: sage-feature
Component: interfaces Keywords: magma
Cc: wjp Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description

In #10571 a simple parser for Magma's GB logs was introduced. It works with current versions of Magma but not with e.g. Magma 2-13. This ticket is to make the parser more robust wrt. different Magma versions.

Change History

comment:1 Changed 2 years ago by wjp

  • Cc wjp added
Note: See TracTickets for help on using tickets.