ae2fdaa fix smtstate test failure, add default SMT_VALUE=1 in smt.state

Authored and Committed by than 2 years ago
    fix smtstate test failure, add default SMT_VALUE=1 in smt.state
    
        
file modified
+9 -1