search

markaduol / UROP

Using symbolic execution to identify semantic inconsistencies between implementations of the same function declaration across different repository revisions.
0 stars 1 forks source link

Add target to initialize submodules #7

Closed andreamattavelli closed 7 years ago

markaduol commented 7 years ago

Done, target is 'submodule-init'

andreamattavelli commented 7 years ago

Great, thanks!