# @TEST-EXEC: ${HILTIC} -j %INPUT >output
# @TEST-EXEC: btest-diff output

module Foo {

global auto s1 = "S1";
global auto s2 = "S2";
global auto t = True;
global auto f = False;

assert 1 == (True ? 1 : 2);
assert 2 == (False ? 1 : 2);
assert "S1" == (t ? s1 : s2);
assert "S2" == (f ? s1 : s2);

}