testcase "basic crash test" {
  failure
  require "pattern in output 1"
  exclude "pattern not in output 1"
  require "pattern in output 2"
  exclude "pattern not in output 2"
  args "arg1" "arg2" "arg3"
  timeout 10
}

concrete Test {
  @type execute () -> ()
}

define Test {
  execute () { }
}

unittest test {
  \ Test.execute()
}