36 lines
		
	
	
		
			697 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			36 lines
		
	
	
		
			697 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
---
 | 
						|
source: kcl-lib/src/simulation_tests.rs
 | 
						|
description: Result of unparsing boolean_logical_and.kcl
 | 
						|
---
 | 
						|
aa = true & false
 | 
						|
a = if aa {
 | 
						|
  1
 | 
						|
} else {
 | 
						|
  2
 | 
						|
}
 | 
						|
assert(a, isEqualTo = 2, error = "right branch of and is false makes the whole expression false")
 | 
						|
 | 
						|
bb = false & true
 | 
						|
b = if bb {
 | 
						|
  1
 | 
						|
} else {
 | 
						|
  2
 | 
						|
}
 | 
						|
assert(b, isEqualTo = 2, error = "left branch of and is false makes the whole expression false")
 | 
						|
 | 
						|
cc = true & true
 | 
						|
c = if cc {
 | 
						|
  1
 | 
						|
} else {
 | 
						|
  2
 | 
						|
}
 | 
						|
assert(c, isEqualTo = 1, error = "both branches of and are true makes the whole expression true")
 | 
						|
 | 
						|
dd = false & false
 | 
						|
d = if dd {
 | 
						|
  1
 | 
						|
} else {
 | 
						|
  2
 | 
						|
}
 | 
						|
assert(d, isEqualTo = 2, error = "both branches of and are false makes the whole expression false")
 |