Is it possible to set an array as null in the dtrace file

[jcav]

Hi, I'm trying to set the value of an array as null (see screenshot of the dtrace file below)

However, Daikon returns an error when I try to detect invariants when using this dtrace file (error message below). I was wondering if there is any way of setting the value of the array as null.

Error at line 109 in file C:\Users\jcav\Documents\GitHub\project\src\test\resources\operation\dtraceFile_null_array_test.dtrace: Error while parsing value null for variable return.available_markets[..] of type java.lang.String[]: Array values must be enlosed in square brackets

[Michael Ernst]

I'm sorry you are having trouble.

It is possible for an array to be null.  It is not possible for the array contents of a non-null array to be null (though one of the elements can be null).

Unfortunately, your message does not contain enough information to say more.

Section "Reporting problems" tells you what information is needed.

-Mike

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/317a0750-cfe1-4dae-8a13-12aa990217cdn%40googlegroups.com.