test.aadl.out 611 Bytes
Newer Older
Jerome Hugues's avatar
Jerome Hugues committed
1 2 3
theorems.real:9:10 Backends: error : Property is false for instance 6 (a.impl)
theorems.real:1:01 Backends: error : requirements of sub1 are not fulfilled
test.aadl:8:05 Backends: error : requirements are not fulfilled for theorem test
4
test execution
5 6
Processing requirement : sub1
Processing requirement : sub2
7 8 9 10 11 12 13 14 15 16 17 18 19 20
-------------------------------------
Evaluating theorem sub2

 * Iterate for variable: a.impl
 => Result: FALSE

theorem sub2 is: FALSE

-------------------------------------
Evaluating theorem sub1

 * Iterate for variable: a.impl
 => Result: TRUE

21
theorem sub1 is: FALSE
22 23 24 25


theorem test is: FALSE