cbritopacheco

Build Rodin and run the right test executables. Use when compiling the library, running unit/manufactured/benchmark tests, or verifying a change.