From 44fb150915fee559658d2296a5ba987925d27f78 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Fri, 1 May 2026 22:26:33 +0300 Subject: add opt_group test --- tests/opt_group/opt_group.fwd | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 tests/opt_group/opt_group.fwd (limited to 'tests/opt_group/opt_group.fwd') diff --git a/tests/opt_group/opt_group.fwd b/tests/opt_group/opt_group.fwd new file mode 100644 index 0000000..e520c70 --- /dev/null +++ b/tests/opt_group/opt_group.fwd @@ -0,0 +1,14 @@ +do_something(() a | () b) +{ + a(); + + /* should fail, since either a or b should be called, but not both */ + b(); +} + +main() +{ + do_something() + => {} + => {} +} -- cgit v1.2.3