Skip to content

Fix options parser for empty sequences

Viktor Kuncak requested to merge github/fork/mario-bucev/fix-opt-parser into main

Created by: mario-bucev

E.g. if give Stainless the following stainless.conf

debug = []

ensure we do not crash with a MatchError.

Merge request reports