---
tags : DeXar
---
# 23/11/22

- ## Progress
- [nauful](https://www.overleaf.com/project/5ebddee97cdba10001eaa9cf) <4 FSM-based wrapper generation>
- rick的程式
- 後面兩支程式都因為readline()所以卡住 > 還沒找到解決方法(big5, utf-8)

- ## To-Do
- [ ] [nauful](https://www.overleaf.com/project/5ebddee97cdba10001eaa9cf)<測naufal - high>
- [ ] [rick](https://github.com/harukip/wrapper-verification)
- [ ] 補上comment

- minutes