diff options
| author | alan_avNOersa@lavSPAMabit.com <alan_avNOersa@lavSPAMabit.com> | 2024-04-16 06:56:50 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2024-04-16 07:32:10 +0700 |
| commit | 9ce3865175bf71642e8d7d44824dbeb74c683f9c (patch) | |
| tree | 4ae7b4ae8a50394520a03d28e6fb8872ed8f99c3 /ham/xdemorse | |
| parent | 924caec6860583e0803be650bc65a61878e01c8a (diff) | |
development/cbmc: Added (Bounded Model Checker for C and C++).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'ham/xdemorse')
0 files changed, 0 insertions, 0 deletions