Menu ▾ ▴

#1 Atelier B 4 for linux crashes with enumerated sets

v1.0_(example)
closed
nobody
Interface (example) (1)
5
2014-05-05
2010-02-10
Anonymous
No

When we run the interactive prover on a machine with enumerated sets, the whole GUI crashes.
See the set ANSWER in the attachment.

Discussion

  • Nobody/Anonymous

    Nobody/Anonymous - 2010-02-10

    Exemple machine that causes a crash

     
    Team.mch

  • Thierry Lecomte

    Thierry Lecomte - 2014-05-05
    • status: open --> closed
    • Group: --> v1.0_(example)
     

  • Thierry Lecomte

    Thierry Lecomte - 2014-05-05

    Solved in 4.1

     

Log in to post a comment.