Argus-SAF
Argus-SAF copied to clipboard
Getting int value passed as parameter
How can I extract integers passed as parameter?
I was looking into the sample https://github.com/arguslab/Argus-SAF-playground/blob/master/src/main/scala/org/argus/play/random/RetriveStringFromSourceOrSink.scala
This one can extract String values passed as parameters. I am trying to do something similar but for the integer parameter. But in case of integer parameter val valueSet = idfg.ptaresult.pointsToSet(cn.getContext, intSlot)
returns zero-length set. Is this a bug or there are some other ways to do this?