Opened 4 years ago

Closed 4 years ago

#1743 closed defect (fixed)

simple-contracts: failure in tests

Reported by: Mario Domenech Goulart Owned by: juergen
Priority: minor Milestone: someday
Component: extensions Version: 5.2.0
Keywords: simple-contracts Cc:
Estimated difficulty:

Description

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

Change History (1)

comment:1 Changed 4 years ago by juergen

Resolution: → fixed
Status: assigned → closed
Note: See TracTickets for help on using tickets.