Added more tool tests.

This commit is contained in:
Andrew Hamilton 2016-02-08 21:55:22 +00:00
parent 803ee80427
commit fb93897ac7
11 changed files with 282 additions and 31 deletions

View file

@ -0,0 +1 @@
Verification completed: 0 reported messages

View file

@ -0,0 +1,3 @@
Splint 3.1.2 --- 03 May 2009
Finished checking --- no warnings

View file

@ -0,0 +1,3 @@
Splint 3.1.2 --- 03 May 2009
Finished checking --- no warnings

View file

@ -0,0 +1,2 @@



View file

@ -0,0 +1,8 @@
#include <stdio.h>
int main()
{
 printf("Hello World\n");
 return 0;
}


View file

@ -0,0 +1,7 @@
#ifndef HELLO_H
#define HELLO_H
void hello();
#endif