search

gradual-verification / gvc0

Gradually Verified C0
6 stars 5 forks source link

Allow multiple files in `DefaultMode` #61

Open samestep opened 12 months ago

samestep commented 12 months ago

Similar to #60, it's nice to be able to run on multiple files in sequence, because having to do sbt run for every individual file adds a lot of time.