search

gradual-verification / silicon-gv

Mozilla Public License 2.0
0 stars 3 forks source link

Default missing specifications to ? not true #55

Open jennalwise opened 1 year ago

jennalwise commented 1 year ago

Currently, silicon-gv defaults specification to 'true', but '?' is a better default for usability.