Verified Commit b6a81388 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Verifpal 0.18.0

parent fe765e21
Pipeline #676 passed with stages
in 4 minutes and 20 seconds
Verifpal 0.17.8 brings minor bug fixes and improvements.
Verifpal 0.18.0 removes some misguided "optimizations" to Verifpal's analysis that reduced analysis time but which also led to some missed attacks. As a result, analysis time is now significantly greater.
......@@ -22,7 +22,7 @@ import (
var version = "0.17.8"
var version = "0.18.0"
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