How can I change the STL property and the model to generate violation traces

decyphir / breach

Other

51 stars 19 forks source link

How can I change the STL property and the model to generate violation traces #7

Open AlouiSafa opened 4 years ago

AlouiSafa commented 4 years ago

Hello, I am working on the fault localization of Matlab/Simulink models and your toolbox is very important for my work, So I want to ask you how can I change the STL property for which I want to generate a violation trace. And if possible, how can I use this toolbox to generate a violation trace to another model.