#667 NPE in POLoader.readPO()

3.0
closed-fixed
Thomas Muller
None
5
2014-02-14
2013-05-03
Laurent Voisin
No

When loading a proof obligation, method readPO() can throw a NullPointerException if it cannot retrieve the sequent goal from the database (i.e., when readGoal() returns null). An exception should be raised instead.

This might be related to some cases where a proof obligation cannot be loaded in the Prover UI.

Discussion

    • assigned_to: Nicolas Beauger
     
    • assigned_to: Nicolas Beauger --> Thomas Muller
     
  • Thomas Muller
    Thomas Muller
    2014-02-14

    • status: open --> closed-fixed
     
  • Thomas Muller
    Thomas Muller
    2014-02-14

    Fixed in revision [601c9c].

     

    Related

    Commit: [601c9c]