Handcrafted examples of programs using arrays used in development of array analysis for Goblint
michael-schwarz / goblint-array-examples Goto Github PK
View Code? Open in Web Editor NEWHandcrafted examples of programs using arrays used in development of array analysis for Goblint