a3t.sdk.properties

# NOTE: do not define a3t.sdk.dir here; being null indicates we are instrumenting the SDK
a3t.in.jars=libs/framework.jar
a3t.out.jar=a3t_sdk/instrumentedframework.jar
a3t.lib.jars=jars/a3t_symbolic.jar:jars/a3t_stubs.jar:jars/a3t_models.jar:libs/core.jar:libs/ext.jar:libs/junit.jar:libs/bouncycastle.jar
a3t.inputmeths.file=input_methods.txt
a3t.modelmeths.file=model_methods.txt
a3t.out.dir=a3t_sdk
a3t.rw.kind=id_field_write
a3t.whiteflds.file=fieldswhitelist.txt
a3t.blackflds.file=fieldsblacklist.txt
a3t.instrflds.all=false