Verified Commit 1e47afba authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Verifpal 0.17.5

parent 5dddaa17
Pipeline #616 passed with stages
in 4 minutes and 45 seconds
Verifpal 0.17.4 fixes a bug in Verifpal analysis logic reported by Bruno Blanchet.
Verifpal 0.17.5 fixes a bug in Verifpal analysis logic reported by Bruno Blanchet.
......@@ -22,7 +22,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var version = "0.17.4"
var version = "0.17.5"
var rootCmd = &cobra.Command{
Use: "verifpal",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment