search

VeriFIT / angie

Next generation of static analyzers
Other
2 stars 1 forks source link

Create tests for Memory Graph representation #3

Open michkot opened 7 years ago

michkot commented 7 years ago

Pick a unit testing framework (probably gtest) and write test for created (S)MG representation #2.