The filter Statement

The filter keyword has been removed. Filtering can now be done with the new edit syntax.

Example

group {
	uint32 small
	uint32 large

	large = 10000
	small = 10

	#
	#  Enforce it
	#
	large <= small

	# large now has value '10'

}

See the new edit syntax for more details.