package main

import (
  "fmt"
  dd "github.com/aprimadi/go-delta-debugging"
)

// A simple FSM that becomes faulty when it contains an event "3"
type SimpleFSM struct {
  events []dd.Event
}

// Reset the FSM state
func (f *SimpleFSM) Reset() {}

// Apply events to the FSM
func (f *SimpleFSM) Apply(events []dd.Event) {
  f.events = events
}

// Is the FSM in valid state?
func (f *SimpleFSM) Valid() bool {
  for _, n := range f.events {
    if n == 3 {
      return false
    }
  }
  return true
}

func main() {
  fsm := &SimpleFSM{}
  result := dd.DeltaDebug(fsm, []dd.Event{1, 2, 3, 4, 5, 6, 7, 8})
  fmt.Println(result) // Print: [3]
}