introduce built in asserts, working on TopNav, correcting some docs

2018-03-01 06:43:30 +01:00
parent cb2af8687e
commit ce6764e97d
8 changed files with 183 additions and 17 deletions
--- a/js/common.js
+++ b/js/common.js
@@ -1,6 +1,7 @@
 'use strict';

 // testing prerequisites
+global.assert = require('assert');
 global.jsc = require('jsverify');
 global.jsdom = require('jsdom-global');
 global.cleanup = global.jsdom();