search

GuilhermeBn198 / Program-Slicing_PIC

exploring program slicing and documenting my discoveries
MIT License
2 stars 1 forks source link

creating a tutorial for frama-c CLI of slicing code #3

Closed GuilhermeBn198 closed 1 year ago

GuilhermeBn198 commented 1 year ago

no sucess at all with CLI tried every type of combination of commands in the documentation page with no sucess.

considering trying other slicing tools such as

GuilhermeBn198 commented 1 year ago

done