runner.rb

require './amb.rb'

$reported = false

def report(a, b)
  puts "a: #{a}, b: #{b}"
  unless $reported
    puts "Press any key to continue..."
    gets
    $reported = true
  end
end

begin
  a = amb 1, 2, 3, 4, 5 # pick one of these numbers
  b = amb 1, 2, 3, 4, 5 # pick one of these numbers

  report a, b unless $reported

  # lets make assertions about a and b
  assert! a > 2
  assert! a < b
  assert! b.odd?

  # lets print a and b again
  report a, b
end