Absorb testing submodule

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This absorbs the testing submodule, and inherits it's submodules directly as submodules of this repo.

Paths in the Makefile are adjusted as needed.

Absorbs the testing harness for Solidity code generation.
Actually runs the generated solidity tests because they are passing now (removes the || true part).
Puts a timeout on the testing phase of CI run.