Questions about TIBRA

[jianghc2116]

Questions about TIBRA

[martinezmatias]

Hi @jianghc2116

I want to use the Tibra method. How should I run the program?

You can activate it using the command line parameter: -customengine fr.inria.astor.approaches.jgenprog.extensionTibraApproach

Second, I want to set the jgenprog method to expression granularity.

By default, it works at the level of statements. It could be possible to work at the level of method, but you rewrite all operators in order they work at that granularity.

Regards
Matias

[jianghc2116]

Hi @jianghc2116

I want to use the Tibra method. How should I run the program?

You can activate it using the command line parameter: -customengine fr.inria.astor.approaches.jgenprog.extensionTibraApproach

Second, I want to set the jgenprog method to expression granularity.

By default, it works at the level of statements. It could be possible to work at the level of method, but you rewrite all operators in order they work at that granularity.

Regards Matias

for question 2, am I going to rewrite all the methods here? /fr/inria/astor/approaches/jgenprog/operators