How can I get ProgramStateRef in oclint?

13 views
Skip to first unread message

Samuel Yang

unread,
Dec 31, 2014, 2:16:52 AM12/31/14
to oclin...@googlegroups.com

hello,

Do you guys know how to get the ProgramStateRef? I would like to write some custom rules which need to use it. thanks. 
Reply all
Reply to author
Forward
0 new messages