Merge master

This commit is contained in:
Pieter Vander Vennet 2021-07-18 18:44:25 +02:00
commit 88cddd2367
63 changed files with 3914 additions and 2536 deletions

View file

@ -10,7 +10,7 @@ export default class T {
test();
} catch (e) {
this.failures.push(name);
console.warn("Failed test: ", name, "because", e);
console.warn(`>>> Failed test in ${this.name}: ${name}because${e}`);
}
}
if (this.failures.length == 0) {