Project

General

Profile

« Previous | Next » 

Revision 3ee26303

Added by LĂ©lio Brun 7 months ago

conditionnally print spec in machine code logs

View differences:

src/options.ml
21 21
let track_exceptions = ref true
22 22
let ansi = ref false
23 23
let check = ref false
24
let spec = ref "acsl"
24
let spec = ref "no"
25 25
let output = ref "C"
26 26
let dest_dir = ref "."
27 27
let verbose_level = ref 1

Also available in: Unified diff