var fs = require('fs');
var path = require('path');
var mmom = require('../src/MMOM.js');
var Scoper = require('../src/Scoper.js');
var Verify = require('../src/Verify.js');
var time_1 = Date.now();
var db = mmom.Scanner.parseSync( path.basename(process.argv[2]), fs.readFileSync(process.argv[2],'utf8'));
var time_2 = Date.now();
process.stdout.write(`parse ${time_2 - time_1} ms\n`,'utf8');
db.scanErrors.forEach(function(e) {
    process.stdout.write(e.toString() + "\n", 'utf8');
});
time_1 = Date.now();
Scoper.install(db);
time_2 = Date.now();
process.stdout.write(`scope ${time_2 - time_1} ms\n`,'utf8');
db.plugins.scoper.errors.forEach(function(e) {
    process.stdout.write(e.toString() + "\n", 'utf8');
});
Verify.install(db);
db.segments.forEach(function (s,ix) {
    if (s.type === mmom.Segment.PROVABLE) {
        time_1 = Date.now();
        var err = Verify.install(db).verify(ix);
        time_2 = Date.now();
        process.stdout.write(`${s.label} ${err.length?'ERR':'OK'} ${time_2-time_1}ms\n`,'utf8');
        err.forEach(function (e) {
            process.stdout.write(e.toString() + "\n", 'utf8');
        });
    }
});

@@ -581,33 +581,32 @@
 time_2 - time_1%7D
- 
 ms%5Cn%60,'utf8');%0Ad
@@ -604,16 +604,16 @@
 utf8');%0A
+
 db.plugi
@@ -710,16 +710,53 @@
 ');%0A%7D);%0A
+time_1 = Date.now();%0Avar verifd = 0;%0A
 Verify.i
@@ -857,35 +857,24 @@
         
-time_1 = Date.now()
+verifd++
 ;%0A      
@@ -913,16 +913,22 @@
 erify(ix
+,false
 );%0A     
@@ -934,36 +934,23 @@
     
-time_2 = Date.now();%0A       
+if (err.length)
  pro
@@ -983,51 +983,11 @@
 el%7D 
-$%7Berr.length?'ERR':'OK'%7D $%7Btime_2-time_1%7Dms
+ERR
 %5Cn%60,
@@ -1111,12 +1111,108 @@
 ;%0A    %7D%0A
-
 %7D);%0A
+time_2 = Date.now();%0Aprocess.stdout.write(%60verify $%7Bverifd%7D $p $%7Btime_2 - time_1%7Dms%5Cn%60,'utf8');%0A

make verify less noisy