Skip to content

Split processOptions into two functions

Viktor Kuncak requested to merge github/fork/romac/options-refactor into master

Created by: romac

This is needed for https://github.com/epfl-lara/stainless/pull/466

Merge request reports