Opened 11 years ago

Last modified 11 years ago

#10631 new enhancement

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 Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

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 (1)

comment:1 Changed 11 years ago by wjp

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