aboutsummaryrefslogtreecommitdiff
path: root/ql/test/semantic_analysis/invalid/test030.ql
blob: 3de208cc3a95bae0ca864244be77277815396ea4 (plain)
1
2
3
4
5
6
7
// Complex condition with incompatible types
form testForm {
	if ((15.5 >= 15) && ((3.0 * True) - 15 > -10 / 2)) {
		"First Question"
		someIdentifier : integer
	}
}