use formal contract method instead of debug.assert for spec enforcement - Githubissues

zhouqingqing / qpmodel

A Relational Optimizer and Executor

MIT License

64 stars 18 forks source link

use formal contract method instead of debug.assert for spec enforcement #289

Closed zhouqingqing closed 3 years ago