Examples/test-suite/ruby/rename_scope_runme.rb


1
2
3
4
5
6
7
8
9
10

require 'rename_scope'

include Rename_scope

a = Natural_UP.new
b = Natural_BP.new

raise RuntimeError if a.rtest() != 1

raise RuntimeError if b.rtest() != 1