Summary

simple-contracts: failure in tests

Metadata

• Id: 71dc8854817b69b951a074d85ae060e795902a89
• Trac id: 1743
• Type: defect
• Reporter: mario
• Owner: juergen
• Cc:
• Status: closed
• Component: extensions
• Estimated difficulty:
• Resolution: fixed
• Priority: minor
• Milestone: someday
• Version: 5.2.0
• Changetime: 2021-04-02 15:35:15 UTC
• Created: 2021-04-01 19:29:05 UTC
• Keywords: simple-contracts

Description

See http://salmonella-linux-x86.call-cc.org/master-debugbuild/gcc/linux/x86/2021/03/31/salmonella-report/test/simple-contracts.html

Changes and comments

[2021-04-02 15:35:15 UTC] juergen changed status from assigned to closed

[2021-04-02 15:35:15 UTC] juergen set resolution to fixed