test.aadl 239 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
package BugTest
public
system A
end A;

system implementation A.impl
annex real_specification {**
    theorem test
    foreach s in system_set do
        requires (sub1);
        check (1 = 1);
    end test;
**};
end A.impl;

end BugTest;