/// This module is intended to store and handle configuration options
///
/// author: Aleksandar Milicevic (t-alekm@microsoft.com)

module Options

/// attempt to verify synthesized code
let _opt_verifySolutions = true