teco

teco copied to clipboard

Teco is pretty work. I'm trying to reproduce it. However, when I execute the following command, I meet some problems: ``` inv exp.gen-subset-preds --setup CSNm --model SingleEvaluator-teco-norr --from-set eval-any-stmt/test --to-set...

yz-qiang

Assert generation quick example

2

Hi @pengyunie, Thanks for sharing this repository and congratulations for your ICSE'23 paper. Any chance you could provide a quick example on how to generate assert statements for an assertless...

jose