search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Main: fail when no files provided in batch #3593

Closed mtzguido closed 3 weeks ago

mtzguido commented 3 weeks ago

Broken by the patch in https://github.com/FStarLang/FStar/commit/b7895589a5a3f00f7b2193758c680f0c2f59ca06