SmartThings support

[jpf-core.git] / jpf.properties

diff --git a/jpf.properties b/jpf.properties
index 8c0270db389d12a0fa8b2f38e1f8ae983309ad6b..57b7670b2b000341c2d8612628bd0ba49419f74d 100644 (file)
--- a/jpf.properties
+++ b/jpf.properties
@@ -131,6 +131,7 @@ vm.backtracker.class = gov.nasa.jpf.vm.DefaultBacktracker
 vm.serializer.class = gov.nasa.jpf.vm.serialize.CFSerializer
 #vm.serializer.class = gov.nasa.jpf.vm.serialize.AdaptiveSerializer
 #vm.serializer.class = gov.nasa.jpf.vm.serialize.FilteringSerializer
 vm.serializer.class = gov.nasa.jpf.vm.serialize.CFSerializer
 #vm.serializer.class = gov.nasa.jpf.vm.serialize.AdaptiveSerializer
 #vm.serializer.class = gov.nasa.jpf.vm.serialize.FilteringSerializer

+filter.class = gov.nasa.jpf.vm.serialize.SmartThingsFilterConfiguration

 
 # the class that models static fields and classes
 vm.statics.class = gov.nasa.jpf.vm.OVStatics
 
 # the class that models static fields and classes
 vm.statics.class = gov.nasa.jpf.vm.OVStatics