SystemVerilog property with a real datatype input argument

SystemVerilog
3

In reply to ben@SystemVerilog.us:

Ben,

thanks for the fast response. However, I am getting an error in the property declaration line. I am getting the error the 3 “real” datatype arguments have the incorrect data type (below for exact language).

property tol_chk( local input real test1, test2, bit disable_chk)
		disable iff(disable_chk) test1 >test2 else `uvm_error("1","test")
	endproperty

xmvlog: *E,SVAFTN (): Formal argument does not have an allowed datatype [16.8.1 (IEEE 1800-2009)].
thanks again,
Paul