Skip to content

Commit

Permalink
README: js-binding badge
Browse files Browse the repository at this point in the history
  • Loading branch information
@vhavlena
vhavlena committed Jan 5, 2025
1 parent 13f49d8 commit 16f26cd
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@

[![GitHub tag](https://img.shields.io/github/tag/VeriFIT/z3-noodler.svg)](https://github.com/VeriFIT/z3-noodler)
![Build](https://github.com/VeriFIT/z3-noodler/actions/workflows/build.yml/badge.svg)
![JS Binding](https://github.com/VeriFIT/z3-noodler/actions/workflows/js-binding.yml/badge.svg)

Z3-Noodler is an SMT solver for string constraints such as those that occur in symbolic execution and analysis of programs,
reasoning about configuration files of cloud services and smart contracts, etc.
Expand Down

0 comments on commit 16f26cd

Please sign in to comment.