Report use of choose, @extern and ??? in the verification summary#1396
Merged
vkuncak merged 1 commit intoepfl-lara:mainfrom mario-bucev:extraction-summaryMar 31, 2023
+591-80
@extern and ??? in the verification summary#1396