Commit 52f939f2 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Remove stack size increase

parent a4fac663
......@@ -7,7 +7,6 @@ package vplogic
import (
"fmt"
"os"
"runtime/debug"
"sync"
"time"
)
......@@ -15,7 +14,6 @@ import (
// Verify runs the main verification engine for Verifpal on a model loaded from a file.
// It returns a slice of verifyResults and a "results code".
func Verify(filePath string) ([]VerifyResult, string, error) {
debug.SetMaxStack(8589934592)
m, err := libpegParseModel(filePath, true)
if err != nil {
return []VerifyResult{}, "", err
......
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