unsaturated

run_tests.sh
View Options

			#!/bin/bash

			git clone https://bitbucket.org/specmicp/specmicp
			cd specmicp
			cmake .
			make -j4
			ctest -j4