id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 1743 simple-contracts: failure in tests Mario Domenech Goulart juergen See http://salmonella-linux-x86.call-cc.org/master-debugbuild/gcc/linux/x86/2021/03/31/salmonella-report/test/simple-contracts.html defect closed minor someday extensions 5.2.0 fixed simple-contracts