source: vis_dev/vis-2.1/examples/mult6x6/check_result @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis

File size: 240 bytes
Line 
1Residue Direct Verification successful.
2Residue Verification successful
3Residue Direct Verification failed at output node z<5> of the spec.
4Residue Verification failed !
5Residue Direct Verification successful.
6Residue Verification failed !
Note: See TracBrowser for help on using the repository browser.