sosy-lab/tbf

A framework for using test case generators to locate errors in C programs

语言：OCaml · GitHub 星标：9 · Fork：6

话题：klee · testing · testing-tools · verification

在 GitHub 上查看原仓库