formulog icon indicating copy to clipboard operation
formulog copied to clipboard

Published 20 hours ago • verified publisher icon HarvardPL

Convert user-relevant system properties to proper flags

Open aaronbembenek opened this issue 2 years ago • 0 comments

Right now, Formulog is parameterized by a mix of system properties (like -DdebugSmt) and proper flags (like --dump-idb). For the sake of consistency and usability, we should convert user-relevant system properties to flags.

aaronbembenek avatar Feb 11 '23 16:02 aaronbembenek