add make test

README.md

@@ -6,7 +6,7 @@
 
 > Kevin K.H. Cheung, Ambros Gleixner, and Daniel E. Steffy: [Verifying Integer Programming Results](http://nbn-resolving.de/urn:nbn:de:0297-zib-61044), ZIB-Report 16-58, November 2016, [`urn:nbn:de:0297-zib-61044`](http://nbn-resolving.de/urn:nbn:de:0297-zib-61044).
 
-This repository contains a detailed technical [specification of the certificate file format `.vipr`](http://rawgit.com/ambros-gleixner/VIPR/master/cert_spec_v1_0.html), [code](code/) to compress, check, and display certificate files, and [supplementary information](experiments/) for the computational experiments conducted for the article above.
+This repository contains a detailed technical [specification of the certificate file format](http://rawgit.com/ambros-gleixner/VIPR/master/cert_spec_v1_0.html), [software](code/) to check, display, and compress certificate files, and [supplementary information](experiments/) on the computational experiments conducted for the article above.
 
 
 ## Software

code/makefile

@@ -4,7 +4,11 @@ CFLAGS = -O1 -g -Wall -std=c++11 -Wshadow -W -Wmissing-declarations -Wpointer-ar
 all: viprchk vipr2html viprttn
 
 clean:
-	rm *.o
+	rm *.o viprchk vipr2html viprttn
+
+test: viprchk
+	./viprchk paper_eg3.vipr
+
 
 viprchk: viprchk.o 
 	$(COMP) $(CFLAGS) -o viprchk viprchk.o -lgmpxx -lgmp

code/viprchk.cpp

@@ -226,7 +226,7 @@ int main( int argc, char *argv[] )
                                             / (double)CLOCKS_PER_SEC;
 
                            cout << endl << "Completed in " << cpu_dur 
-                                << " seconds (CPU)" << endl;
+                                << " seconds (CPU time)." << endl;
                         }
 
    return rs;
@@ -257,7 +257,7 @@ bool processRTP()
       {
          rtpType = RtpType::INFEAS;
 
-         cout << endl << "Need to verify infeasibility. " << endl;
+         cout << "Need to verify infeasibility. " << endl;
       }
       else if ( rtpTypeStr != "range" )
       {
@@ -729,7 +729,7 @@ bool processDER()
 
    pf >> numDer;
 
-   cout << "numDer = " << numDer << endl;
+   cout << "Number of constraints to be derived: " << numDer << endl << endl;
 
    for( int i = 0; i < numDer; ++i )
    {