id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
272	Regular invariant not being added correctly	Stephen Siegel	zirkel	In singleLoopFromSource test, a model is constructed with 3 processes and a (non-collective) invariant.  The collective assertion for process 0 is getting added to process 1.  This will now throw a RuntimeException as I added a check that when a collective assertion is added to a location that the process to which that location belong also belongs to the assertion's process set.	defect	closed	major	1.1	front	1.1	fixed