Verifpal 0.19.5

36bcbf08 · Nadim Kobeissi · 851a78c7 · 36bcbf08 · 36bcbf08 · 36bcbf08
Commit 36bcbf08 authored Dec 11, 2020 by Nadim Kobeissi 💾
--- a/assets/releasenotes.txt
+++ b/assets/releasenotes.txt
-Verifpal 0.19.4 includes bug fixes to analysis logic thanks to reports from "Mike" and Angèle Bossuat (Quarkslab).
+Verifpal 0.19.5 includes minor bug fixes to analysis logic thanks to reports from "Mike".
--- a/assets/version.txt
+++ b/assets/version.txt
-0.19.4
+0.19.5
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )

-var version = "0.19.4"
+var version = "0.19.5"

 var rootCmd = &cobra.Command{
 	Use:   "verifpal",