go-weave/amb: print stack trace on failure

aclements · Nov 6, 2017 · 0eeb2f1 · 0eeb2f1
1 parent e460ab2
commit 0eeb2f1
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/go-weave/amb/run.go b/go-weave/amb/run.go
@@ -7,6 +7,8 @@ package amb
 import (
 	"errors"
 	"fmt"
+	"os"
+	"runtime"
 )
 
 // A Strategy describes how to explore a space of ambiguous values.
@@ -87,6 +89,15 @@ func (s *Scheduler) run1(root func()) {
 		if err != nil {
 			// TODO: Report path.
 			fmt.Println("failure:", err)
+			var buf []byte
+			for i := 1 << 10; i < 1<<20; i *= 2 {
+				buf = make([]byte, i)
+				buf = buf[:runtime.Stack(buf, false)]
+				if len(buf) < i {
+					break
+				}
+			}
+			os.Stdout.Write(buf)
 		}
 	}()
 	root()