Questions about TIBRA

[jianghc2116]

Hello, I have successfully run the jgenprog repair tool, but I want to use the Tibra method. How should I run the program?
Second, I want to set the jgenprog method to expression granularity. What should I do? Directly use - mode expression or what I need to modify? thank you!

[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