An ROBDD & CDCL based SAT solver
-
Updated
Dec 11, 2021 - Go
Behavior-driven development (BDD) is a test-first, agile testing practice. Without focusing on internal implementation, BDD tests are business-facing scenarios that attempt to describe the behavior of a story, feature, or capability from a user’s perspective. Behaviour-driven development is a synthesis and refinement of practices stemming from test-driven development (TDD) and acceptance-test-driven development (ATDD).
An ROBDD & CDCL based SAT solver
Cucumber Clock steps for Golang
Using godog BDD testing to create acceptance-tests for jsPolicies
Slides for a 10-15 min talk on Ginkgo BDD Testing Framework for Edinburgh Golang Meetup
Implementing a BDD in Go
A simple lightweight gherkin parser
Gucumber with selenium
Consensus helps building and maintaining software by describing the expected behavior. It encourages participation from stakeholders, collaborators, and developers.
A Set Abstract Data Type implementing using Ginkgo and Gomega to drive the tests.
Created by Kent Beck, D.D. McCracken
Released 1957