aboutsummaryrefslogtreecommitdiff
path: root/ql/test/semantic_analysis/invalid/test030.ql
diff options
context:
space:
mode:
authorBicker <bickerkards@tuta.io>2019-05-22 17:45:37 +0200
committerBicker <bickerkards@tuta.io>2019-05-22 17:45:37 +0200
commit25314fd2aed81aa5281bc3d93dbcc7919368ebe1 (patch)
tree1995521ee652e419926de5fced0f2e3b655e70fb /ql/test/semantic_analysis/invalid/test030.ql
Initial commitHEADmaster
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