不编译test

hc

2025-02-14 bbb9540dc49f70f6b703d1c8d1b85fa5f602d86e

1
2
3
4
5
6
#ifndef SMT_H
#define SMT_H 1
 
int smt_on(void);
 
#endif