Avoid native peer methods?

[Malte Isberner]

Hi,

is there any possibility to configure JPF to avoid invoking the native peer for certain methods? We would need this for jpf-jdart, where our test class invokes simple java.lang.Math methods (min, max, abs), and we actually require the information about a < b (or a < 0) being tested in these methods.

Thanks,

Malte

[Corina Pasareanu]

are you asking about spf?

--
 
---
You received this message because you are subscribed to the Google Groups "Java™ Pathfinder" group.
To unsubscribe from this group and stop receiving emails from it, send an email to java-pathfind...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Peter Mehlitz]

you can override peer and model classes from your extension. Just provide your own variants in your jpf-*-classes.jar / jpf-*.jar
In v7, peers are now instances, i.e. you can derive from jpf-core (or other) peer classes if you want to modify/add native methods.

-- Peter

[Corina Pasareanu]

in spf we generate the symbolic constraints associated with java.lang.Math functions

corina