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