/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel2boogie/tests/comcom/dll/output.txt
ViewVC logotype

Contents of /branches/eth/eve/Src/framework/eiffel2boogie/tests/comcom/dll/output.txt

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94895 - (show annotations)
Fri Apr 18 18:32:47 2014 UTC (5 years, 5 months ago) by polikarn
File MIME type: text/plain
File size: 689 byte(s)
Added dll example to comcom directory.
1 ======================================
2 DLL_NODE (invariant admissibility)
3 Successfully verified.
4 ======================================
5 DLL_NODE.make (creator)
6 Successfully verified.
7 ======================================
8 DLL_NODE.insert_right
9 Successfully verified.
10 ======================================
11 DLL_NODE.remove
12 Successfully verified.
13 ======================================
14 DLL_NODE.set_left
15 Successfully verified.
16 ======================================
17 DLL_NODE.set_right
18 Successfully verified.
19 ======================================
20 DLL_NODE.not_left
21 Successfully verified.
22 ======================================
23 DLL_NODE.not_right
24 Successfully verified.

  ViewVC Help
Powered by ViewVC 1.1.23