I am getting missing class problems. I am trying to test out the string examples under /src/examples/string at jpf-symbc. There seems to be a missing class for TimingChannelListener. Most of the examples work if this is removed however, I do need the stats for the execution time of the program. In the examples there are 3 different type of listeners which are
in which I am confused on what I am missing out since I am not able to find the respective classes in the folders. I have attached the command output file for your reference. All 3 lines above return the same type of error (missing class).
Hi,
I am getting missing class problems. I am trying to test out the string examples under /src/examples/string at jpf-symbc. There seems to be a missing class for TimingChannelListener. Most of the examples work if this is removed however, I do need the stats for the execution time of the program. In the examples there are 3 different type of listeners which are
listener = gov.nasa.jpf.symbc.sequences.TimingChannelListener listener = sidechannel.TimingChannelListener listener=sidechannel.abc.TimingSideChannelListener
in which I am confused on what I am missing out since I am not able to find the respective classes in the folders. I have attached the command output file for your reference. All 3 lines above return the same type of error (missing class).
Thanks,
Arun
test.txt