aboutsummaryrefslogtreecommitdiff
path: root/ql/test/semantic_analysis/invalid/test030.ql
diff options
context:
space:
mode:
Diffstat (limited to 'ql/test/semantic_analysis/invalid/test030.ql')
-rw-r--r--ql/test/semantic_analysis/invalid/test030.ql7
1 files changed, 7 insertions, 0 deletions
diff --git a/ql/test/semantic_analysis/invalid/test030.ql b/ql/test/semantic_analysis/invalid/test030.ql
new file mode 100644
index 0000000..3de208c
--- /dev/null
+++ b/ql/test/semantic_analysis/invalid/test030.ql
@@ -0,0 +1,7 @@
+// Complex condition with incompatible types
+form testForm {
+ if ((15.5 >= 15) && ((3.0 * True) - 15 > -10 / 2)) {
+ "First Question"
+ someIdentifier : integer
+ }
+} \ No newline at end of file