Verified Commit 0916941a authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Verifpal 0.15.1

parent 99205f65
Pipeline #536 passed with stages
in 1 minute and 52 seconds
Verifpal 0.15.0 fixes even more bugs in Verifpal analysis detected by Sasha Lapiha.
Verifpal 0.15.1 fixes an infinite recursion bug in Verifpal analysis.
......@@ -22,7 +22,7 @@ import (
"verifpal.com/cmd/vplogic"
)
var version = "0.15.0"
var version = "0.15.1"
var rootCmd = &cobra.Command{
Use: "verifpal",
......
......@@ -39,7 +39,7 @@ func verifyActiveStages(
var principalsGroup sync.WaitGroup
for _, valPrincipalState := range valPrincipalStates {
principalsGroup.Add(1)
go func(valPrincipalState PrincipalState, pg *sync.WaitGroup) {
func(valPrincipalState PrincipalState, pg *sync.WaitGroup) {
var combinationsGroup sync.WaitGroup
combinationsGroup.Add(1)
verifyActiveScan(
......
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